AAR6
From Exampleproblems
Show that
is a maximal ideal of
.
If it could be shown that
then since
is a field,
would be maximal.
Define
by
.
Check that
is an epimorphism and its kernel is
.
Second method:
is a principal ideal domain. An ideal of a PID
is maximal iff
is irreducible in
.
Since
is irreducible,
is maximal.
