Principal Ideal Domains

Abstract Algebra · Axiom Academy

LESSON Principal Ideal Domains Understanding why F[x] is a PID when F is a field, and its powerful consequences for unique factorization and field extensions 1. What is a Principal Ideal Domain? This means we can represent any ideal using just one generator, rather than needing multiple generators. This simple structure has powerful consequences. When F is a field, F[x] has a crucial property: the Division Algorithm . For any polynomials f(x), g(x) ∈ F[x] with g(x) ≠ 0, we can write: This makes F[x] a Euclidean domain , and every Euclidean domain is automatically a PID. The degree function serves as our "Euclidean norm." 3. Structure of Ideals in F[x] Proof Sketch: Take any nonzero ideal I. Choose p(x) ∈ I with minimal degree. By the division algorithm, every f(x) ∈ I can be written as f(x) = q(x)p(x) + r(x) with deg(r) < deg(p). But since f, p ∈ I, we have r ∈ I. By minimality of deg(p), we must have r = 0. Thus f ∈ ⟨p(x)⟩. 4. Unique Factorization in F[x] This is a consequence of F[x] being a PID. In general, every PID is a Unique Factorization Domain (UFD) . 5. Field Extensions via F[x]/⟨p(x)⟩ The most powerful application: when p(x) is irreducible in F[x], the quotient ring F[x]/⟨p(x)⟩ is a field extension of F. ⟨p(x)⟩ is a maximal ideal if and only if p(x) is irreducible F[x]/⟨p(x)⟩ is a field if and only if p(x) is irreducible This field contains a root of p(x)!

This is the written version of the interactive lesson above. See the full Abstract Algebra course.