Subrings and Ideals: Definitions, Examples and Key Theorems

A subring is a subset S of a ring R that is itself a ring under the same operations: it contains 0 and is closed under subtraction and multiplication. An ideal is a stronger subring I that "absorbs" multiplication by any ring element: r·a and a·r stay in I for every r ∈ R, a ∈ I.

Ideals are exactly the subsets you can quotient by — the ring analogue of normal subgroups. Every ideal I gives the quotient ring R/I, and prime and maximal ideals are how algebra studies factorization and the geometry of polynomial rings.

Key Concepts

• Subring test: nonempty S ⊆ R is a subring iff a − b ∈ S and ab ∈ S for all a, b ∈ S.
• Ideal: additive subgroup I with rI ⊆ I and Ir ⊆ I for all r ∈ R (one-sided suffices in commutative rings).
• Every ideal is a subring; not conversely.
• Principal ideal: (a) = {ra : r ∈ R}. In ℤ every ideal is principal: exactly the sets nℤ.
• Prime ideal: ab ∈ P ⟹ a ∈ P or b ∈ P. Maximal ideal: no ideal strictly between it and R.

How It Works

To test whether a subset S of a ring R is a subring or an ideal, follow these steps:

1. Nonempty: confirm 0 ∈ S (otherwise stop).
2. Subtraction-closed: for all a, b ∈ S, check a − b ∈ S. This makes S an additive subgroup.
3. Multiplication-closed: for all a, b ∈ S, check ab ∈ S. Passing steps 1–3 makes S a subring.
4. Absorption (ideal test): for all r ∈ R and a ∈ S, check ra ∈ S and ar ∈ S. Passing this too makes S an ideal.

The critical leap is step 4: the multiplier r ranges over the whole ring R, not just S. That is why ideals are rarer and more powerful than subrings.

Worked Example

In ℤ_6 = {0, …, 5} (mod 6), test S = {0, 2, 4}. 0 ∈ S; differences: 2 − 4 = 4, 4 − 2 = 2 (mod 6) — subtraction-closed; products: 2·2 = 4, 2·4 = 2, 4·4 = 4 — multiplication-closed. So S is a subring. Ideal test: 5·2 = 10 = 4 ∈ S; 3·4 = 12 = 0 ∈ S — every r·a with a ∈ S is even, hence in S. So S is an ideal. Contrast ℤ inside ℚ: a subring, but (1/2)·1 = 1/2 ∉ ℤ, so absorption fails — not an ideal.

Common Misconceptions

• "Subring and ideal are the same." Every ideal is a subring, but ℤ ⊂ ℚ is a subring, not an ideal — absorption by arbitrary ring elements is the extra demand.
• "An ideal must contain 1." An ideal containing 1 (or any unit) is the whole ring; proper ideals never contain units.
• "The union of two ideals is an ideal." Almost never: 2ℤ ∪ 3ℤ contains 2 and 3 but not 5. The sum of ideals, however, is an ideal.

Real-World Applications

• Modular arithmetic: quotienting ℤ by the ideal nℤ gives ℤ/nℤ, the ring behind RSA.
• Algebraic geometry: ideals of polynomial rings correspond to geometric shapes (varieties).
• Factorization: prime ideals generalize prime numbers to rings like ℤ[√−5].

Subrings inherit the operations; ideals additionally absorb multiplication from the whole ring — and that absorption property is exactly what makes quotients and kernels work.