An associated component corresponding to an associated prime that is not minimal with respect to inclusion; in other words, an associated piece of the scheme supported inside another component and thus embedded rather than minimal.

Principle

Associated primes catalogue the primary structure of a module or ideal; an embedded associated component is one coming from a nonminimal associated prime and records annihilators of elements or submodules that are supported inside larger components.

Demonstration

For the module R/I with I = (x^2, xy) in k[x,y], the associated primes include the minimal prime of the x‑axis and an embedded associated prime at (x,y) coming from the x‑torsion class; this embedded associated component corresponds to that nonminimal associated prime.

Misapplication

Assuming every associated component contributes an independent geometric irreducible piece of the reduced scheme — embedded associated components may have no counterpart in the reduced topological decomposition and instead reflect scheme‑theoretic annihilators.

Consequence

Recognising embedded associated components is essential for correct primary decomposition, for computing local cohomology and for understanding annihilators of elements; they affect multiplicity and depth data and inform resolutions.

Reversal

A minimal associated component corresponds to a minimal prime and gives a top-level irreducible support; removing embedded associated components simplifies the associated prime set to the minimal spectrum.

Boundary

This notion applies to associated primes and associated subschemes; it excludes minimal primes and topological irreducible components and does not refer to components that are merely set‑theoretically contained but not supported by associated primes.

Semantic Tension

There is tension between 'embedded associated component' and 'embedded component' in usage: the former emphasises the associated‑prime/annihilator origin, the latter often emphasises the geometric picture — they overlap but stress different algebraic data.

Synthesis

An embedded associated component is an associated subscheme coming from a nonminimal associated prime: it encodes element annihilators and torsion supported inside larger components and is crucial to an accurate primary decomposition and homological analysis.