1
$\begingroup$

In EGA IV2, Def. 3.2.4, Grothendieck defines a quasicoherent sheaf over a locally Noetherian scheme to be "irredondant" if it has a unique associated point. Presumeably, a module over a Noetherian ring is irredondant if it has a unique associated prime. However, googling gives no relevant results for "irredundant sheaf" or "irredundant module" (which I can understand, since it is rather a peculiar name).

How is this term usually rendered into English? Ideally, answers should include at least one reference to a text or paper using this term.

$\endgroup$

1 Answer 1

1
$\begingroup$

Wikipedia calls a module over a commutative Noetherian ring with only one associated prime a coprimary module. I don't recall hearing this terminology elsewhere, but it is certainly common to call a submodule $N$ of $M$ a primary submodule if $M/N$ is coprimary.

$\endgroup$
2
  • $\begingroup$ Googling this gives enough relevant hits to make me think that it's probably the standard term (if there is one). $\endgroup$ Jul 12, 2010 at 18:04
  • $\begingroup$ I'm pretty sure that's what Eisenbud uses as well. $\endgroup$ Jul 12, 2010 at 18:36

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.