Distinguish additive and multiplicative structure

Try

In residues modulo six, addition gives an abelian group, and multiplication distributes over addition. Nevertheless two times three is zero even though neither factor is zero. Compare this with residues modulo five, where every nonzero residue has a multiplicative inverse. The difference is structural, not a matter of how many rows a table has.

Throughout this unit, a ring is commutative, has an identity, and ring maps preserve identity. The zero ring is permitted unless excluded, but integral domains and fields require 1≠0. Some texts use broader conventions; translate those before importing a theorem.

Predict

Predict whether an additive inverse helps solve ax=1. In any ring every element has an additive inverse, but only units have multiplicative inverses. Also predict whether a nonzero element can be a zero divisor and a unit simultaneously in a nonzero ring. Multiplying a zero-product equation by a proposed inverse should decide the question.

Experiment

Inspect multiplication in two residue rings. An entry showing a nonzero annihilator proves a zero divisor; an entry showing a product equal to one proves a unit.

Ring and element	Witness	Conclusion
Z/6Z, element 2	2·3=0	Nonzero zero divisor
Z/6Z, element 5	5·5=1	Unit
Z/5Z, element 2	2·3=1	Unit
Z/5Z, element 4	4·4=1	Unit

Complete the nonzero rows modulo five. Then explain why testing one nonzero zero product disproves the domain property, while finding inverses for only some elements does not prove a field. In a finite ring an exhaustive table can settle the instance, but the next argument covers all finite domains.

Understand

A ring has an abelian additive group, associative multiplication with identity, and distributive laws. Commutativity of multiplication is our standing convention. An integral domain is a nonzero ring with no product of two nonzero elements equal to zero. A field is a nonzero ring in which every nonzero element is a unit.

First derive 0a=0 rather than treating it as an extra axiom. Distributivity gives (0+0)a=0a+0a, while the left side is 0a. Add the additive inverse of 0a to both sides. The same reasoning establishes the usual sign identities, including (−a)b=−ab.

In a domain, ab=ac with a≠0 implies a(b−c)=0, so b=c. Conversely, if multiplication by every nonzero a is injective, a nonzero zero divisor would violate injectivity by sending b and zero to the same result. Thus multiplicative cancellation and the no-zero-divisors condition are equivalent under the nonzero-ring convention.

Every finite domain is a field. Fix nonzero a. The map x↦ax on the finite ring is injective by cancellation, hence surjective. Therefore some x maps to one, giving ax=1. This proof uses finiteness exactly at the injection-to-surjection step. The integers show why the infinite case differs: multiplication by two is injective on Z but does not reach one.

For residues modulo n with n≥2, a is a unit precisely when gcd(a,n)=1. A Bézout identity supplies an inverse in the coprime case. Conversely an inverse gives ab+kn=1, forcing the gcd to divide one. If n is composite, its proper factors give nonzero zero divisors; if n is prime, every nonzero residue is a unit.

Apply

Make separate columns for additive inverse, multiplicative inverse, and nonzero annihilator in a small residue ring. Do not mark an additive inverse as evidence of a unit. Explain why zero has an additive inverse but is not a unit in a nonzero ring.

Use the practice to prove a general cancellation statement and to identify a concrete failed hypothesis. Keep the ambient ring visible: two may be a unit in Q and in Z/5Z while not being a unit in Z.

Continue

Ideals next identify which additive subgroups support quotient multiplication. Absorbing multiplication by every ring element is the extra condition that distinguishes an ideal from an arbitrary subring.