- #1,961
- 11,805
- 2,051
here something i only know how to find in DF: a noetherian ring which is a one dimensional unique factorization domain, is in fact a principal ideal domain.
the converse is easy to prove, the direction stated above not so easy. It is not hard to prove a height one prime ideal in a ufd is principal. [take any element of it not zero. factor that element into irreducibles, i.e. primes. then by definition of a prime ideal, some one of those factors is in the ideal. that factor generates a prime ideal, which by hypothesis must equal the original ideal ,since height one means it equals any non zero prime ideal it contains. thus the opriginal ideal is principal.]
then the result is to prove that if all primes are principal, in fact all ideals are principal, which i guess is where the noetherian hypothesis is used. anyway, this is "proved" as a guided exercise, in D-F, and I recall needing to use the prime decomposition theory to prove this myself in grad school.
also D-F does a good job of laying out clearly what you need to check to know a group is a semi direct, or direct, product of two subgroups. It will say clearly: check that one subgroup is normal, and that..., then you know you have a semi direct product. this kind of thing is good pedagogy, as opposed to what i tend to look for, which is good deep mathematical insight. but after the fact, i admit to myself that their pedagogy also helps me when teaching and learning the topic.
Last edited: