Primo associato
In matematica e in particolare in algebra astratta, un primo associato di un modulo su un anello è un ideale primo di che è un annichilatore di un sottomodulo (primo) di L'insieme dei primi associati di è solitamente indicato con
In algebra commutativa, i primi associati sono legati alla decomposizione primaria di Lasker-Noether di ideali in anelli noetheriani commutativi. Nello specifico, data la decomposizione di un ideale come intersezione finita di ideali primari, i radicali di questi ideali primari sono ideali primi e questo insieme di ideali primi coincide con
Correlati al concetto di "primo associato" ci sono i concetti di primo isolato e primo immerso.
Definizioni
Un -modulo non nullo è detto modulo primo se per ogni sottomodulo non nullo di Per un modulo primo l'annichilatore è un ideale primo di
Un primo associato di un -modulo è un ideale della forma per qualche sottomodulo primo di In algebra commutativa la definizione usuale è differente ma equivalente: se è commutativo, un primo associato di è un ideale primo della forma per qualche elemento non nullo di o, equivalentemente, è isomorfo a un sottomodulo di
In un anello commutativo gli elementi minimali di (rispetto alla relazione d'inclusione di insiemi) sono detti primi isolati e gli altri primi associati (cioè quelli che contengono propriamente un primo associato) sono detti primi immersi.
Un sottomodulo di è detto primario se per ogni e si ha che e implicano per qualche intero positivo Un modulo è detto coprimario se il sottomodulo è primario, cioè se per qualche elemento non nullo si ha che implica per qualche intero positivo
Un modulo non nullo finitamente generato su un anello noetheriano commutativo è coprimario se e solo se ha un unico primo associato
Un sottomodulo di è detto -primario se Un ideale è un ideale -primario se e solo se Quindi questa nozione è una generalizzazione di quella di ideale primario.
Esempi
- Se gli ideali primi associati di sono gli ideali e
- Se allora i gruppi abeliani liberi non banali e i gruppi abeliani non banali di ordine una potenza di un primo sono coprimari.
Bibliografia
- (EN) Hideyuki Matsumura, Commutative algebra, 1970.
- (EN) David Eisenbud, Commutative algebra, Graduate Texts in Mathematics, vol. 150, Berlin, New York, Springer-Verlag, 1995, ISBN 978-0-387-94268-1, MR 1322960.
- (EN) Tsit-Yuen Lam, Lectures on modules and rings, Graduate Texts in Mathematics, vol. 189, Berlin, New York, Springer-Verlag, 1999, ISBN 978-0-387-98428-5, MR 1653294.
- (FR) Bourbaki, Algèbre commutative, 1961.
V · D · M | |||||
---|---|---|---|---|---|
Concetti generali | Anello · Campo · Dominio d'integrità · Anello locale · Ideale (Massimale · Primo · Radicale · Radicale di Jacobson) · Decomposizione primaria · Primo associato · Spettro · Dimensione di Krull · Profondità | ||||
Estensioni | Localizzazione (Campo dei quozienti) · Estensione intera · Chiusura integrale · Completamento · Anello dei polinomi · Anello delle serie formali | ||||
Anelli noetheriani |
| ||||
Valutazioni | Anello di valutazione · Anello a valutazione discreta · Dominio di Prüfer · Dominio di Bézout | ||||
Fattorizzazione | Dominio a fattorizzazione unica · Dominio ad ideali principali · Dominio euclideo · Dominio di Dedekind · Dominio di Krull | ||||
Teoria dei moduli | Modulo libero · Modulo proiettivo · Modulo iniettivo · Prodotto tensoriale · Modulo piatto · Lemma di Nakayama · Lunghezza | ||||
Argomenti correlati | Algebra omologica · Geometria algebrica · Teoria algebrica dei numeri · Teoria delle categorie |