Principal, prime, and maximal ideals with lattice diagrams
An ideal I of a ring R is a subset that is closed under addition and "absorbs" multiplication: for any r ∈ R and a ∈ I, both ra and ar belong to I. Ideals are to rings what normal subgroups are to groups -- they are exactly the kernels of ring homomorphisms and enable quotient constructions.
In this lesson, you will visualize ideals of Z on a number line, explore their lattice structure, and compute ideal arithmetic.
In the integers Z, every ideal has the form (n) = nZ = {…, -2n, -n, 0, n, 2n, …}, the set of all multiples of n. The ideal (0) is just { 0 }, and (1) = Z is the entire ring. Larger generators produce sparser ideals: (6) ⊂ (3) ⊂ (1). Watch how multiplication by any integer keeps you inside the ideal.
Ideals absorb multiplication: for any k in Z and a in (n), the product ka is still in (n).
Key insight: Z is a principal ideal domain (PID): every ideal is generated by a single element. This is not true for all rings -- in Z[x], the ideal (2, x) requires two generators.
The ideals of Z/nZ are in bijection with divisors of n, ordered by containment. Prime ideals correspond to prime divisors, and maximal ideals are the largest proper ideals. When you quotient by a prime ideal, you get an integral domain; when you quotient by a maximal ideal, you get a field.
Nodes are divisors of 12 (corresponding to ideals). Click a node to see quotient ring info.
Key insight: In a PID, every nonzero prime ideal is maximal. In Z, (p) is both prime and maximal for any prime p, and Z/(p) = Z/pZ is a field.
Ideals support three natural operations. The sum (a) + (b) = (gcd(a,b)) is the smallest ideal containing both. The product (a)(b) = (ab) consists of all finite sums of products. The intersection(a) ∩ (b) = (lcm(a,b)) is the largest ideal contained in both.
In Z, principal ideals satisfy: (a)+(b) = (gcd(a,b)), (a)(b) = (ab), and (a)∩(b) = (lcm(a,b)).
Key insight: The relationship gcd(a,b) · lcm(a,b) = ab translates to ideal arithmetic: (a)+(b) and (a)∩(b) relate to (a)(b) through this identity. Ideal operations unify number-theoretic facts.