Rings — Axioms, Subrings, Ideals — Mathematics

⚡ Key Takeaways

A ring is a set equipped with two operations — addition and multiplication — where addition forms an abelian group, multiplication is associative, and the two are linked by distributivity. Subrings are subsets closed under both operations; ideals are special subrings that absorb multiplication from the whole ring and are precisely the kernels of ring homomorphisms, enabling quotient constructions. Used everywhere in algebra, number theory, algebraic geometry, and coding theory. Formalized by Dedekind, Hilbert, Noether, and Fraenkel (1870s–1920s).

💡 The Core Insight

A ring fuses two algebraic structures on one set: an additive abelian group and a multiplicative monoid (or semigroup), glued by distributivity. This single bridge — that multiplication respects addition — is what makes the whole theory cohere. The consequence is that the right notion of substructure for quotients is not the subring but the ideal: a subgroup that is also a "multiplicative black hole," absorbing products with arbitrary ring elements. Ideals are exactly the kernels of homomorphisms, and the First Isomorphism Theorem makes them the engine of all quotient constructions.

DefinitionRing

A ring is a triple $(R, +, \cdot)$ where $R$ is a set with two binary operations satisfying:

Additive axioms — $(R,+)$ is an abelian group:

1

\quad (a+b)+c = a+(b+c) \quad \text{for all } a,b,c \in R

Derivation hint: associativity of addition; this is an axiom, not a theorem.

2

\quad a + b = b + a, \qquad a + 0 = a, \qquad a + (-a) = 0

Derivation hint: commutativity, additive identity $0$ , and additive inverses — the abelian group structure.

Multiplicative axiom — $(R,\cdot)$ is a semigroup:

3

\quad (a\cdot b)\cdot c = a\cdot(b\cdot c) \quad \text{for all } a,b,c \in R

Derivation hint: associativity of multiplication; postulated.

Bridge axioms — distributivity links the two:

4

\quad a\cdot(b+c) = a\cdot b + a\cdot c, \qquad (a+b)\cdot c = a\cdot c + b\cdot c

Derivation hint: left and right distributive laws; both required since multiplication need not commute. Here $0$ is the additive identity, $-a$ the additive inverse of $a$ . A ring is commutative if $a\cdot b = b\cdot a$ for all $a,b$ , and is a ring with identity (or unital) if there exists $1 \in R$ with $1 \cdot a = a \cdot 1 = a$ for all $a$ .

⚠️ Common mistake

Conventions differ. Many authors (Bourbaki, most modern texts) require a multiplicative identity $1$ in the definition of "ring," reserving rng (ring without identity, the "missing i") for the non-unital case. Others (older texts, some ring-theory specialists) do not. Throughout this article, "ring" allows the unital case as standard, and we note where $1$ is needed. Also: $1 = 0$ forces $R = \{0\}$ , the zero ring.

TheoremElementary Consequences of the Axioms

In any ring $R$ , for all $a, b \in R$ :

5

\quad a \cdot 0 = 0 \cdot a = 0

Derivation hint: $a\cdot 0 = a\cdot(0+0) = a\cdot 0 + a\cdot 0$ ; cancel in the additive group.

6

\quad a\cdot(-b) = (-a)\cdot b = -(a\cdot b)

Derivation hint: $a\cdot b + a\cdot(-b) = a\cdot(b + (-b)) = a\cdot 0 = 0$ , so $a\cdot(-b)$ is the additive inverse of $a\cdot b$ .

7

\quad (-a)\cdot(-b) = a\cdot b

Derivation hint: apply [6] twice — $(-a)(-b) = -(a(-b)) = -(-(ab)) = ab$ .

DefinitionSubring

A subset $S \subseteq R$ is a subring if $S$ is itself a ring under the restricted operations of $R$ . Concretely, $S$ is a subring iff it is nonempty and closed under subtraction and multiplication:

8

\quad a, b \in S \implies a - b \in S \ \text{ and } \ a\cdot b \in S

Derivation hint: closure under subtraction makes $(S,+)$ a subgroup (subgroup criterion); multiplicative closure inherits associativity and distributivity automatically. If $R$ is unital, a unital subring additionally requires $1_R \in S$ . (Without this, $S$ may have a different identity, or none — see the example below.)

DefinitionIdeal

A subset $I \subseteq R$ is a two-sided ideal if it is an additive subgroup that absorbs multiplication on both sides:

9

\quad a, b \in I \implies a - b \in I; \qquad r \in R,\, a \in I \implies r\cdot a \in I \ \text{ and } \ a\cdot r \in I

Derivation hint: the absorption condition $RI \subseteq I$ and $IR \subseteq I$ is strictly stronger than mere closure under products of elements of $I$ . A left ideal requires only $r\cdot a \in I$ ; a right ideal only $a \cdot r \in I$ . In a commutative ring all three notions coincide, and we simply say ideal. Every ideal is a subring (often non-unital), but most subrings are not ideals.

🧠 Intuition

Think of an ideal as a set of "negligible" elements that stays negligible no matter what you multiply it by. In $\mathbb{Z}$ , the multiples of $5$ form the ideal $5\mathbb{Z}$ : multiply any multiple of $5$ by anything and you still get a multiple of $5$ . That absorption is exactly what lets you "set $5 = 0$ " consistently and build $\mathbb{Z}/5\mathbb{Z}$ . A subring like $\mathbb{Z} \subset \mathbb{Q}$ has no such absorbing property — multiplying the integer $1$ by $\tfrac{1}{2}$ escapes $\mathbb{Z}$ — which is why $\mathbb{Z}$ is not an ideal of $\mathbb{Q}$ and you cannot form " $\mathbb{Q}/\mathbb{Z}$ " as a ring.

ProofIdeals are exactly the kernels of ring homomorphisms

Let $\varphi: R \to S$ be a ring homomorphism (so $\varphi(a+b)=\varphi(a)+\varphi(b)$ , $\varphi(ab)=\varphi(a)\varphi(b)$ ). Define $\ker\varphi = \{a \in R : \varphi(a) = 0\}$ .

Step 1 — Kernel is an additive subgroup. If $a,b\in\ker\varphi$ then $\varphi(a-b)=\varphi(a)-\varphi(b)=0-0=0$ , so $a-b\in\ker\varphi$ . Thus $\ker\varphi$ is a subgroup of $(R,+)$ .

Step 2 — Kernel absorbs multiplication. For $r\in R$ , $a\in\ker\varphi$ :

10

\quad \varphi(r\cdot a) = \varphi(r)\varphi(a) = \varphi(r)\cdot 0 = 0

Derivation hint: homomorphism property plus [5]; symmetrically $\varphi(a\cdot r)=0$ . Hence $r\cdot a, a\cdot r \in \ker\varphi$ , so $\ker\varphi$ is a two-sided ideal.

Step 3 — Every ideal is a kernel. Conversely, given a two-sided ideal $I \subseteq R$ , form the quotient group $R/I$ with cosets $a + I$ . Define multiplication on cosets by

11

\quad (a+I)(b+I) := ab + I

Derivation hint: well-definedness needs the absorption axiom — if $a' = a + i$ , $b' = b + j$ with $i,j\in I$ , then $a'b' = ab + (ib + aj + ij)$ , and each of $ib, aj, ij \in I$ by [9]. This multiplication is associative and distributive (inherited from $R$ ), so $R/I$ is a ring. The quotient map $\pi: R \to R/I$ , $\pi(a) = a + I$ , is a surjective homomorphism with $\ker\pi = I$ . Therefore every ideal arises as a kernel. $\blacksquare$

∎

TheoremFirst Isomorphism Theorem for Rings

If $\varphi : R \to S$ is a ring homomorphism, then $\ker\varphi$ is an ideal of $R$ , $\operatorname{im}\varphi$ is a subring of $S$ , and

12

\quad R/\ker\varphi \;\cong\; \operatorname{im}\varphi

Derivation hint: the map $\bar\varphi(a + \ker\varphi) = \varphi(a)$ is well-defined (constant on cosets), bijective onto the image, and respects both operations.

Figure

The hierarchy of subsets: subgroup ⊃ subring ⊃ ideal, with the absorption condition shown

mathematician · Emmy Noether | 1882–1935

Though Dedekind introduced ideals (in number rings) and Hilbert proved his Basis Theorem, it was Emmy Noether who, in her 1921 paper Idealtheorie in Ringbereichen, founded abstract ring theory as we know it. She recast ideal theory in fully axiomatic terms, isolated the ascending chain condition (Noetherian rings), and proved that primary decomposition holds in any commutative ring satisfying it. Her structural, axiomatic viewpoint — "it is all in Noether" as her students said — replaced explicit computation with conceptual reasoning and shaped 20th-century algebra. The First Isomorphism Theorem and the centrality of ideals over subrings are her intellectual legacy.

🧠 Intuition

Three mental models clarify the axioms: 1. $\mathbb{Z}$ is the prototype. Everything about general rings is a calibrated departure from the integers: commutative? (matrices say no), has $1$ ? (even integers $2\mathbb{Z}$ say no), no zero divisors? ( $\mathbb{Z}/6\mathbb{Z}$ says no, since $2\cdot 3 = 0$ ). 2. Ideals = "things we declare zero." The quotient $R/I$ is the ring you get by forcing every element of $I$ to vanish. Absorption guarantees this declaration is consistent with multiplication. 3. Subring vs ideal = "self-contained vs sticky." A subring is a smaller ring sitting inside; an ideal is sticky — it grabs products with anything in the ambient ring. The integers inside the rationals are self-contained but not sticky, hence a subring but not an ideal.

ExampleIdeals of

\mathbb{Z}

and a quotient computation

Given: The ring $\mathbb{Z}$ . Find all its ideals, then compute $\mathbb{Z}/12\mathbb{Z}$ and identify zero divisors.

Step 1 — Classify ideals. Every ideal $I \subseteq \mathbb{Z}$ is an additive subgroup, and the subgroups of $(\mathbb{Z},+)$ are exactly $n\mathbb{Z}$ for $n \ge 0$ . Each $n\mathbb{Z}$ absorbs multiplication ( $m \cdot (nk) = n(mk) \in n\mathbb{Z}$ ), so:

13

\quad \{\text{ideals of }\mathbb{Z}\} = \{\, n\mathbb{Z} : n = 0,1,2,3,\dots \,\}

Derivation hint: subgroups of $\mathbb{Z}$ are cyclic; cyclic additive subgroups are automatically ideals because $\mathbb{Z}$ is commutative with the absorbing multiple structure.

Step 2 — Form the quotient. With $I = 12\mathbb{Z}$ :

14

\quad \mathbb{Z}/12\mathbb{Z} = \{\,\overline{0},\overline{1},\overline{2},\dots,\overline{11}\,\}, \quad |\mathbb{Z}/12\mathbb{Z}| = 12

Derivation hint: cosets $a + 12\mathbb{Z}$ are determined by $a \bmod 12$ .

Step 3 — Zero divisors. $\overline{a}\cdot\overline{b} = \overline{0}$ iff $12 \mid ab$ . E.g. $\overline{3}\cdot\overline{4} = \overline{12} = \overline{0}$ . The zero divisors are the classes $\overline{a}$ with $\gcd(a,12) > 1$ : $\{\overline{2},\overline{3},\overline{4},\overline{6},\overline{8},\overline{9},\overline{10}\}$ .

Boxed answer:

\boxed{\ \mathbb{Z}/12\mathbb{Z}\ \text{has 12 elements; zero divisors are the classes with }\gcd(a,12)>1.\ }

ExampleA subring that is not an ideal, and an ideal in a polynomial ring

Given: (a) Show $\mathbb{Z} \subset \mathbb{Q}$ is a subring but not an ideal. (b) In $R = \mathbb{R}[x]$ , describe the ideal $I = (x^2 - 1)$ and the quotient $R/I$ .

Part (a). $\mathbb{Z}$ is closed under subtraction and multiplication, so it is a subring of $\mathbb{Q}$ . But take $r = \tfrac{1}{2} \in \mathbb{Q}$ and $a = 1 \in \mathbb{Z}$ :

15

\quad r \cdot a = \tfrac{1}{2}\cdot 1 = \tfrac{1}{2} \notin \mathbb{Z}

Derivation hint: absorption fails — a single product escapes the subset — so $\mathbb{Z}$ cannot be an ideal of $\mathbb{Q}$ .

Part (b). The principal ideal is $I = (x^2-1) = \{ f(x)(x^2-1) : f \in \mathbb{R}[x] \}$ . In the quotient we impose $x^2 - 1 = 0$ , i.e. $x^2 = 1$ . Every polynomial reduces modulo $x^2 - 1$ to a remainder of degree $< 2$ :

16

\quad R/I \cong \{\, a + bx + I : a,b \in \mathbb{R}\,\}, \quad x^2 = 1 \ \text{in the quotient}

Derivation hint: division algorithm in $\mathbb{R}[x]$ gives unique remainder $a+bx$ ; the quotient is a 2-dimensional $\mathbb{R}$ -algebra. Since $x^2 - 1 = (x-1)(x+1)$ with coprime factors, the Chinese Remainder Theorem gives:

17

\quad \mathbb{R}[x]/(x^2-1) \;\cong\; \mathbb{R}[x]/(x-1) \times \mathbb{R}[x]/(x+1) \;\cong\; \mathbb{R} \times \mathbb{R}

Derivation hint: $(x-1)$ and $(x+1)$ are comaximal since $\tfrac12(x+1) - \tfrac12(x-1) = 1$ ; apply CRT for rings.

Boxed answer:

\boxed{\ \mathbb{Z}\text{ is a subring (not ideal) of }\mathbb{Q};\quad \mathbb{R}[x]/(x^2-1)\cong\mathbb{R}\times\mathbb{R}.\ }

⚠️ Common mistake

Pitfall 1: "Every subring is an ideal." False. Ideals require absorption by the whole ring, a far stronger condition. $\mathbb{Z}\subset\mathbb{Q}$ is the standard counterexample.

Pitfall 2: "An ideal contains $1$ ." If a (proper) ideal $I$ contains $1$ , then $r = r\cdot 1 \in I$ for all $r$ , forcing $I = R$ . So a proper ideal never contains the identity — indeed never contains any unit.

Pitfall 3: " $ab = 0 \Rightarrow a = 0$ or $b = 0$ ." This is the cancellation/integral-domain property, NOT a ring axiom. Rings can have zero divisors (see $\mathbb{Z}/12\mathbb{Z}$ ).

Pitfall 4: "Multiplication must be commutative / have an identity." Neither is a ring axiom. $M_n(\mathbb{R})$ is noncommutative; $2\mathbb{Z}$ has no identity.

CounterexampleA non-principal ideal

In $\mathbb{Z}$ every ideal is principal (generated by one element). But in $R = \mathbb{Z}[x]$ the ideal $I = (2, x) = \{2f(x) + x g(x) : f,g \in \mathbb{Z}[x]\}$ — the polynomials with even constant term — is not principal. If $I = (d)$ for some $d$ , then $d \mid 2$ and $d \mid x$ . From $d\mid 2$ , $d \in \{\pm1,\pm2\}$ ; from $d \mid x$ , $d$ must be a unit, so $d = \pm 1$ and $I = R$ . But $1 \notin I$ (its constant term is odd). Contradiction. Thus $\mathbb{Z}[x]$ is not a principal ideal domain, showing principality is a special, not generic, feature.

CounterexampleA "subring" with a different identity

Inside $R = \mathbb{Z}\times\mathbb{Z}$ (componentwise operations, identity $(1,1)$ ), the subset $S = \mathbb{Z}\times\{0\}$ is closed under subtraction and multiplication, hence a subring. Yet its multiplicative identity is $(1,0) \ne (1,1) = 1_R$ . So a subring may possess an identity different from the ambient ring's — a reason many texts demand $1_S = 1_R$ for "unital subring."

connection

Ring theory sits at a crossroads:

Groups — Axioms and Subgroups: the additive structure of a ring is an abelian group, and ideals play the role for rings that normal subgroups play for groups (both are exactly the kernels enabling quotients).
Fields and Field Extensions: a field is a commutative ring with $1$ where every nonzero element is a unit; equivalently, a ring whose only ideals are $0$ and itself.
Quotient Rings and Isomorphism Theorems: built directly from ideals via the construction in [11]–[12].
Maximal and Prime Ideals: $R/I$ is a field iff $I$ is maximal; $R/I$ is an integral domain iff $I$ is prime — translating ring-theoretic properties into ideal-theoretic ones.
Modules over a Ring: ideals are precisely the submodules of $R$ viewed as a module over itself.

🔬 Where this appears

⏳ History

- 1847 — Ernst Kummer introduces "ideal complex numbers" to rescue unique factorization in cyclotomic integers while studying Fermat's Last Theorem.

- 1871 — Richard Dedekind replaces Kummer's ideal numbers with actual sets (ideals) in his supplements to Dirichlet's lectures, defining ideals in rings of algebraic integers.

- 1882 — Dedekind and Weber develop ideal theory for algebraic function fields, foreshadowing algebraic geometry.

- 1888 — David Hilbert proves the Basis Theorem: every ideal in

k[x_1,\dots,x_n]

is finitely generated (Noetherian property avant la lettre).

- 1897 — Hilbert's Zahlbericht systematizes algebraic number theory in ideal-theoretic language.

- 1914 — Abraham Fraenkel gives an early axiomatic definition of (a class of) rings; the German term Ring (from Hilbert) becomes standard.

- 1921 — Emmy Noether's Idealtheorie in Ringbereichen founds abstract commutative ring theory; ascending chain condition and primary decomposition.

- 1927 — Emil Artin and Noether develop the structure theory of rings with chain conditions (Artinian rings, Wedderburn–Artin).

- 1930 — van der Waerden's Moderne Algebra, distilling Noether's and Artin's lectures, canonizes the modern axiomatic treatment for generations of students.

open-problem

Several deep questions surround even the basic theory:

Köthe's Conjecture (1930, open). If a ring has no nonzero nil one-sided ideal, does it have no nonzero nil two-sided ideal? Equivalently, is the sum of two nil left ideals always nil? Unresolved for nearly a century — one of the oldest open problems in noncommutative ring theory.

Invariant Basis Number subtleties. For general (noncommutative) rings $R$ , free modules can satisfy $R^m \cong R^n$ with $m \ne n$ ; characterizing such "non-IBN" rings remains an active study.

Computational hardness. Ideal membership in $k[x_1,\dots,x_n]$ is decidable (Gröbner bases) but EXPSPACE-complete in general; practical computation is the bottleneck of computational algebraic geometry.

Definitional drift. The "ring vs rng" convention is genuinely unsettled across the literature; results like "every ring embeds in a unital ring" (the Dorroh extension) exist precisely to manage the non-unital case, a reminder that the axioms one chooses have real downstream consequences.

Rings — Axioms, Subrings, Ideals

Formal Statement

Why It Holds / Derivation

Building Intuition

Worked Examples

Common Misconceptions

Connections

Real-World Applications

Historical Development

Subtleties & Limits

See Also