For the domain, ideal and quotient examples below, use a commutative ring with identity 1 distinct from 0. A source problem may specify a general ring instead; do not assume its multiplication commutes unless stated or proved. A unit has a multiplicative inverse. A nonzero zero divisor multiplies some nonzero element to zero. An integral domain has no such zero divisors; cancellation of a nonzero factor then works. A field is a domain in which every nonzero element is a unit. Z is a domain but not a field; Z/6Z is neither.
An ideal I is an additive subgroup that absorbs multiplication by every ring element. This is stronger than being a subring. In Z, nZ is an ideal; quotient elements are integer residue classes modulo n. In a commutative ring, R/I is a field exactly when I is maximal, and it is a domain exactly when I is prime. The ideal must be proper in both statements.
A module allows scalars from a ring instead of requiring a field. Every abelian group is a Z-module by repeated addition, but it need not have a vector-space basis. In Z/6Z as a Z-module, 6 times the nonzero residue 1 is zero; this is torsion. For a vector space over a field, a nonzero scalar is invertible and cannot annihilate a nonzero vector.
A submodule is closed under addition and all permitted scalar actions. A linear map of modules preserves both. The kernel and image are submodules, and the quotient by the kernel is isomorphic to the image. Do not apply finite-dimensional rank-nullity to an arbitrary module without establishing an appropriate free-module setting; integer row operations and field row operations permit different divisions. In a general Boolean ring, every a satisfies a²=a. Do not assume commutativity to prove it: idempotence of a+a gives 4a=2a, hence 2a=0. Expanding (a+b)²=a+b gives ab+ba=0, and characteristic two makes −ba=ba; therefore ab=ba. Idempotence does not imply nilpotence: in F2, the nonzero element 1 satisfies 1^n=1 for every positive n.
