##  [Associated Prime](/associated-prime-0) 

 Definition

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

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

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

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

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

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

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

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

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.