College Algebra Exam Review 298

College Algebra Exam Review 298 - a If b is a proper factor...

This preview shows page 1. Sign up to view the full content.

308 6. RINGS A characteriziation of UFDs We are going to characterize unique factorization domains by two properties. One property, the so–called ascending chain condition for prin- cipal ideals, implies the existence of irreducible factorizations. The other property, that irreducible elements are prime, ensures the essential unique- ness of irreducible factorizations. Deﬁnition 6.6.12. We say that a ring R satisﬁes the ascending chain con- dition for principal ideals if, whenever a 1 R ± a 2 R ± ²²² is an inﬁnite increasing sequence of principal ideals, then there exists an n such that a m R D a n R for all m ³ n . Equivalently, any strictly increasing sequence of principal ideals is of ﬁnite length. Lemma 6.6.13. A unique factorization domain satisﬁes the ascending chain condition for principal ideals. Proof. For any nonzero, nonunit element a 2 R , let m.a/ denote the num- ber of irreducible factors appearing in any irreducible factorization of
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: a . If b is a proper factor of a , then m.b/ < m.a/ , by Lemma 6.6.1 . Now if a 1 R ´ ¤ a 2 R ´ ¤ ²²² is a strictly increasing sequence of principal ideals, then for each i , a i C 1 is a proper factor of a i , and, therefore, m.a i C 1 / < m.a i / . If follows that the sequence is ﬁnite. n Lemma 6.6.14. If an integral domain R satisﬁes the ascending chain con-dition for principal ideals, then every nonzero, nonunit element of R has at least one factorization by irreducibles. Proof. This is exactly what is shown in the proof of Lemma 6.5.17 . n Lemma 6.6.15. If every irreducible element in an integral domain R is prime, then an element of R can have at most one factorization by irre-ducibles, up to permutation of the irreducible factors, and replacing irre-ducible factors by associates....
View Full Document

{[ snackBarMessage ]}

Ask a homework question - tutors are online