An associated prime of an R-module M is a prime ideal p that equals the annihilator of some element m ∈ M, i.e., p = Ann_R(m). Equivalently, p is the annihilator of a cyclic submodule R·m and appears as a prime occurring in primary decompositions and the set Ass_R(M).

Principle

Reveal element-level algebraic obstructions: associated primes are exact algebraic witnesses of elements whose annihilation is controlled by a prime, thus encoding primary components and embedded pieces of module structure.

Demonstration

For M = Z/12Z, elements of orders 2 and 3 produce annihilators 6/2? Concretely, an element of order 2 has annihilator (2) and an element of order 3 has annihilator (3), so Ass_Z(M) = { (2), (3) }. For R/I, associated primes include primes minimal over I and possibly embedded primes coming from primary components.

Misapplication

Assuming associated primes coincide with minimal primes of the support in all cases; associated primes include embedded primes and may be strictly larger than the set of minimal primes over the annihilator or support, especially in nonreduced or nonpure situations.

Consequence

Associated primes control the structure of modules: they detect embedded components, figure in primary decomposition (each primary component has an associated prime), and are finite for finitely generated modules over Noetherian rings, giving discrete algebraic invariants.

Reversal

Contrast with primes in the support that are not associated: such primes show where the module is nonzero but there is no single element whose annihilator is that prime; this highlights the gap between geometric presence and explicit algebraic witness.

Boundary

Defined for modules over commutative rings; in non-Noetherian settings Ass(M) can be infinite or behave poorly, and for noncommutative rings one must distinguish left/right versions. The zero module has empty associated set, while nonzero finitely generated modules over Noetherian rings have at least one associated prime.

Semantic Tension

Associated primes vs minimal primes vs support: minimal primes over the annihilator are among associated primes, but associated primes include embedded primes that complicate the geometric picture; deciding which set to use depends on whether one needs element-level witnesses or topological loci.

Synthesis

An associated prime is a prime ideal arising as the annihilator of an element of a module; it is an algebraic certificate of a primary component, central to primary decomposition and to understanding how element-level torsion pieces assemble into the module's global and local structure.