Is the ideal maximal in ?
I find that , which is irreducible in
Does this mean that the ideal is maximal?
I guess the question is equivalent to the question is Euclidean doman, but I don't know is it.
Is there a rule when is Euclidean domain, depending on ?