Hi

1) Assume some ideal of strictly contains you ideal, i.e. there is an element in . Can you prove that the unity belongs to .

2) That's wrong. Take an integral domain which is not a field. Then is a prime ideal which is not maximal. A less extreme case: is a prime ideal but not maximal (why?).

Were there other hypotheses or was it maximal implies prime (which is true)?