Commutative rings are where multiplication finally swaps
A ring already adds like an abelian group and multiplies with distributivity. Call it commutative when ab equals ba. That single extra law unlocks ideals that are automatically two-sided and a whole ladder from integers up to fields.
Formally, a ring carries addition and multiplication: an abelian group under addition, a monoid under multiplication, and multiplication distributing over addition. When multiplication itself is commutative, the ring is commutative, and commutative algebra is the study of that case. Noncommutative algebra studies ring properties that do not need the swap. The integers with usual arithmetic are the crucial example; every field is a commutative ring by definition, so the rationals, reals, and complexes qualify. Polynomials in one variable over a commutative ring again form a commutative ring, as do suitable rings of differentiable or holomorphic functions.
Without field-like inverses everywhere, divisibility becomes richer. Units are elements with multiplicative inverses; zero divisors multiply with something nonzero to give zero; an integral domain has no nonzero zero divisors. Localization formally adds inverses for chosen elements, mimicking how integers become rationals. When multiplication swaps, every ideal is already two-sided, which simplifies the theory enormously compared with the noncommutative setting.
Modules play the role vector spaces play over fields: you can add module elements and scale them by ring elements. Unlike vector spaces, modules need not have bases; those that do are free, and submodules of free modules need not be free. Finitely generated modules—those with a finite spanning set—are central, analogous to finite-dimensional vector spaces. Noetherian rings can be characterized by the demand that every submodule of a finitely generated module is again finitely generated. A standard hierarchy nests commutative rings inside broader ring-like objects and climbs through domains, unique factorization domains, principal ideal domains, Euclidean domains, and fields. Commutativity is the fork where that climb becomes tractable.
Source: Commutative ring
