Two questions about eq

1) The HS says that
(eq (cons 'a 'b) (cons 'a 'b))
always returns false but
(eq '(a . b) '(a . b))
might be true. Why is this ?

2) Under what (realistic) circumstances might
(eq 1 1) be false ?
.