A commutative ring is a ring where the multiplication operation is commutative, meaning the order of factors does not change the product. This fundamental algebraic structure is central to number theory and algebraic geometry, simplifying many proofs and definitions.