Ring axioms, commutativity, zero divisors, and key examples
A ring is a set equipped with two operations -- addition and multiplication -- satisfying a list of axioms. Rings generalize the integers: you can add, subtract, and multiply, but not necessarily divide. Some rings are commutative, some have a multiplicative identity, and some have zero divisors (nonzero elements whose product is zero).
In this lesson, you will check ring axioms for different algebraic structures, explore arithmetic tables for Z/nZ, and compare the properties of key examples.
Not every algebraic structure is a ring. Select different examples and see which axioms they satisfy. The even integers 2Z form a ring without unity. The 2×2 matrices over Z/2Z form a non-commutative ring. Understanding what can fail sharpens the definition.
Addition
Multiplication
Ring Axiom Checklist
Key insight: A ring must be an abelian group under addition and a monoid (or semigroup) under multiplication, with distributivity linking the two operations. Dropping any axiom gives a different algebraic structure.
The integers modulo n form the most important family of rings. When n is prime, Z/nZ is a field -- every nonzero element has a multiplicative inverse. When n is composite, zero divisors appear: nonzero elements whose product is zero. Toggle between addition and multiplication to see both structures.
Adjust n to explore different modular arithmetic tables. Red-bordered cells show zero-divisor products.
Key insight: Z/nZ is a field if and only if n is prime. The zero divisors of Z/nZ are exactly the elements that share a common factor with n. The units (invertible elements) are those coprime to n.
Rings come in many flavors. The integers Z are the prototypical commutative ring with unity. The rationals Q go further and form a field. The Gaussian integers Z[i] live in the complex plane. The polynomial ring Z[x] contains infinite objects. Compare their properties side by side.
Click a card to expand details. Scroll horizontally to see all examples. Fields are always integral domains, and integral domains are always commutative rings with unity.
Key insight: The hierarchy matters: every field is an integral domain, every integral domain is a commutative ring with unity, but the converses fail. Z/6Z has unity and is commutative, but it is not a domain (2 × 3 = 0).