Definition 2

Tag 0D2T, permanent. Cite it as [Bourbaki, Tag 0D2T].

Commutative Algebra, chapter X, § 2. Modules et anneaux macaulayens

Let $A$ be a noetherian ring, $M$ a finitely generated A-module, and $S$ a finite subset of $A$ . One says that $S$ is strongly secant for $M$ if one has

\mathrm{Card}(S) \leq \mathrm{codim}(\mathrm{Supp}(M/SM), \mathrm{Supp}(M)) .

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Nothing.

Cites

Nothing.