Exercise 1877Algebra › Rings and fieldsM1Added 3 Nov 2026
Principal ideal domains
#PID#principal ideal#examples
Statement
Show that and are PIDs.
Hint
For , use Euclidean division to show that every ideal is generated by the element of minimal degree.
Show solutionHide solution
Solution
. Shown earlier: every ideal is for some .
. Let be a nonzero ideal. Let be a nonzero element of of minimal degree. For any , Euclidean division: with . Since and , by minimality . So . Hence .
Conclusion. Both are PIDs. Since every Euclidean domain is a PID, and and are Euclidean, this is consistent.