Exercise · ZW-UNIQUE-FACTORIZATION-DOMAIN-007 · ★★☆ Intermediate
Which ideal of \(\mathbb{Z}[x]\) shows that \(\mathbb{Z}[x]\) is not a principal ideal domain, even though it is a UFD?
Choose one option.
Show answer
- B. \((2,x)\)
Exercise · ZW-UNIQUE-FACTORIZATION-DOMAIN-007 · ★★☆ Intermediate
Choose one option.
A generator of \((2,x)\) would have to divide both 2 and \(x\), and the only common divisors are units; but then the ideal would be the whole ring, and \(1\notin(2,x)\). The other three have a single generator by construction.
An integral domain \(D\) in which every nonzero nonunit element \(a\) is a product of irreducibles \(p_i\), and this factorization is unique up to order and associates.
← ZW-UNIQUE-FACTORIZATION-DOMAIN-006 ZW-UNIQUE-FACTORIZATION-DOMAIN-008 →