Vtgyjfy

In matematica, e in particolare in algebra, un modulo è una struttura algebrica che generalizza il concetto di spazio vettoriale richiedendo che gli scalari non costituiscano un campo ma un anello: un modulo su un anello A è quindi un gruppo abeliano M su cui è definita un'operazione che associa ad ogni elemento di A e ad ogni elemento di M un nuovo elemento di M.

Nonostante la definizione molto simile, i moduli possono avere proprietà radicalmente diverse da quelle degli spazi vettoriali: ad esempio, non tutti i moduli possiedono una base, e quindi non è possibile definire una dimensione che li caratterizzi. Capire quali proprietà degli spazi vettoriali siano valide anche per i moduli - e sotto quali ipotesi sull'anello A - è parte integrante della teoria dei moduli.

La nozione di modulo è centrale nell'algebra commutativa e nell'algebra omologica, e forma la base della teoria delle rappresentazioni dei gruppi; è inoltre usata nella geometria algebrica e nella topologia algebrica.

Definizione |

Sia A un anello. Un A-modulo sinistro M è un gruppo abeliano (M,+){displaystyle (M,+)} su cui è definita un'operazione A×M↦M{displaystyle Atimes Mmapsto M} tale che

1. 
   a(v+w)=av+aw{displaystyle a(v+w)=av+aw} per ogni a∈A, v,w∈M{displaystyle ain A,~v,win M};


2. 
   (a+b)v=av+bv{displaystyle (a+b)v=av+bv} per ogni a,b∈A, v∈M{displaystyle a,bin A,~vin M};


3. 
   (ab)v=a(bv){displaystyle (ab)v=a(bv)} per ogni a,b∈A, v∈M{displaystyle a,bin A,~vin M}.

Analogamente, A-modulo destro è un M su cui è definita un'operazione M×A↦M{displaystyle Mtimes Amapsto M} su cui valgono analoghi assiomi, ma in cui a e b sono scritti a destra degli elementi di M; mentre stando soltanto alle prime due proprietà le due strutture differiscono solo per una diversa convenzione di scrittura (l'ordine dei fattori nell'operazione), nella terza si mostra una differenza reale fra loro, in quanto ab{displaystyle ab} non è, in generale, uguale a ba{displaystyle ba}. Se l'anello A è commutativo, allora i concetti di modulo destro e sinistro coincidono, nel senso che sono una variante di scrittura l'uno dell'altro (e perciò sono isomorfi).

Se M è contemporaneamente un A-modulo destro e sinistro, e se le due moltiplicazioni sono compatibili (ovvero se vale

(av)b=a(vb){displaystyle (av)b=a(vb)}

per ogni a,b∈A, v∈M{displaystyle a,bin A,~vin M}) allora M è detto bimodulo (o modulo bilatero); tale struttura può essere generalizzata nel caso in cui la moltiplicazione destra e sinistra avviene in due anelli diversi, ovvero se M è un A-modulo sinistro e un B-modulo destro e le due moltiplicazioni sono compatibili: in tal caso si parla di (A,B){displaystyle (A,B)}-bimodulo.

Se l'anello è unitario, si richiede generalmente che anche l'unità sia compatibile con la struttura di modulo, nel senso che

1v=v{displaystyle 1v=v} per ogni v∈M{displaystyle vin M}.

Qualora si voglia sottolineare questo assioma, si parla di modulo unitario; in generale, tuttavia, quando l'anello è unitario si assume automaticamente che anche il modulo lo sia.

Un modo alternativo di vedere la definizione è attraverso la nozione di azione: per un fissato elemento a∈A{displaystyle ain A}, l'applicazione μa:M⟶M{displaystyle mu _{a}:Mlongrightarrow M} tale che μa(v)=av{displaystyle mu _{a}(v)=av} è un omomorfismo di M in sé stesso, e di conseguenza (usando il secondo e il terzo assioma di modulo) l'applicazione che associa ad ogni a∈A{displaystyle ain A} la moltiplicazione μa{displaystyle mu _{a}} è un omomorfismo di anelli tra A e l'insieme End(M){displaystyle End(M)} degli endomorfismi di M. Questa osservazione costituisce il ponte tra la teoria dei moduli e la teoria delle rappresentazioni, che studia le azioni dei gruppi sugli spazi vettoriali, o equivalentemente le azioni di anello delle corrispondenti algebre di gruppo.

Esempi |

• Quando l'anello A è un campo, il modulo (bilatero grazie alla commutatività dei campi) risulta essere uno spazio vettoriale.

• Un gruppo abeliano può essere considerato come modulo sull'anello degli interi, cioè come Z{displaystyle mathbb {Z} }-modulo, in un modo unico: per ogni generico x del gruppo e per ogni n intero positivo basta definire nx{displaystyle nx} come la somma di n repliche dell'elemento x, definendo naturalmente 0x=0{displaystyle 0x=0} e (−n)x=−(nx){displaystyle (-n)x=-(nx)}. La teoria dei gruppi abeliani si può estendere in maniera naturale ai moduli sopra domini ad ideali principali.

• Un ideale sinistro di un anello A è naturalmente un A-modulo sinistro, e analogamente un ideale destro è un A-modulo destro.

• Se A è un generico anello e n è un numero naturale, allora il prodotto cartesiano An{displaystyle A^{n}}, dotato della moltiplicazione componente per componente, è un modulo (sia destro che sinistro) su A. In particolare quando n = 1, A stesso è un A-modulo, in cui la moltiplicazione per scalare è la moltiplicazione dell'anello.

• Se S è un insieme non vuoto, M è un A-modulo sinistro, e MS{displaystyle M^{S}} è la famiglia di tutte le funzioni f:S⟶M{displaystyle f:Slongrightarrow M}, allora MS{displaystyle M^{S}} può essere reso un A-modulo sinistro definendo l'addizione termine a termine ((f+g)(s)=f(s)+g(s){displaystyle (f+g)(s)=f(s)+g(s)}) e la moltiplicazione attraverso la distributività ((rf)(s)=r(f(s)){displaystyle (rf)(s)=r(f(s))}).

Sottomoduli, omomorfismi e quozienti |

Per i moduli, così come per le altre struttura algebriche come i gruppi e gli anelli, è possibile dare le definizioni di sottostruttura e di omomorfismo. Le definizioni sono date nel caso di A-moduli sinistri; definizioni simmetriche valgono anche nel caso di moduli destri.

Un sottogruppo N di M (come gruppo abeliano) che è stabile per moltiplicazione scalare (ovvero tale che av∈N{displaystyle avin N} per ogni v∈N{displaystyle vin N}) è detto sottomodulo di M; in altri termini, un sottomodulo di M è un sottoinsieme N che è esso stesso un A-modulo (con le stesse operazioni di M). L'intersezione N1∩N2{displaystyle N_{1}cap N_{2}} e la somma N1+N2={v+w|v∈N1, w∈N2}{displaystyle N_{1}+N_{2}={v+w|vin N_{1},~win N_{2}}} di sottomoduli di M sono ancora sottomoduli; tali operazioni possono essere estese a qualunque insieme (anche infinito) di sottomoduli.

Dato un modulo M e un suo sottomodulo N, il loro quoziente come moduli M/N{displaystyle M/N} coincide con il loro quoziente come gruppi abeliani; l'insieme M/N{displaystyle M/N} eredita, inoltre, una struttura di A-modulo. In particolare, poiché gli ideali (bilateri) I di A sono A-moduli, anche i quozienti (come anello) A/I{displaystyle A/I} sono A-moduli.

Un omomorfismo di moduli è un omomorfismo di gruppi abeliani f:M1⟶M2{displaystyle f:M_{1}longrightarrow M_{2}} che rispetta anche la struttura di modulo, nel senso che a⋅f(v)=f(av){displaystyle acdot f(v)=f(av)} per ogni a∈A{displaystyle ain A}, v∈M{displaystyle vin M}. L'insieme degli elementi di M1{displaystyle M_{1}} la cui immagine è 0 forma un sottomodulo, detto nucleo dell'omomorfismo; i teoremi di isomorfismo validi per i gruppi si trasferiscono immediatamente al caso dei moduli.

L'insieme degli omomorfismi tra due A-moduli M ed N è esso stesso un A-modulo, indicato con Hom(M,N){displaystyle Hom(M,N)} (oppure HomA(M,N){displaystyle Hom_{A}(M,N)} se è necessario chiarire quale sia l'anello base), definendo le operazioni come

• 
  (f+g)(v)=f(v)+g(v){displaystyle (f+g)(v)=f(v)+g(v)} e


• 
  (af)(v)=a(f(v)){displaystyle (af)(v)=a(f(v))}.

Per ogni A-modulo M si ha un isomorfismo canonico M≃Hom(A,M){displaystyle Msimeq Hom(A,M)}.

Un omomorfismo di A-moduli ϕ:M1⟶M2{displaystyle phi :M_{1}longrightarrow M_{2}} induce, per ogni A-modulo, gli omomorfismi

ϕ∗:Hom(M2,N)⟶Hom(M1,N){displaystyle phi ^{*}:Hom(M_{2},N)longrightarrow Hom(M_{1},N)}, in cui ϕ∗(f)=f∘ϕ{displaystyle phi ^{*}(f)=fcirc phi } e

ϕ∗:Hom(N,M1)⟶Hom(N,M2){displaystyle phi _{*}:Hom(N,M_{1})longrightarrow Hom(N,M_{2})}, in cui ϕ∗(g)=ϕ∘g{displaystyle phi _{*}(g)=phi circ g}.

Nei termini della teoria delle categorie, questo esprime il fatto che, ad N fissato, l'applicazione M↦Hom(M,N){displaystyle Mmapsto Hom(M,N)} è un funtore controvariante dalla categoria degli A-moduli a quella dei gruppi abeliani, mentre l'applicazione M↦Hom(N,M){displaystyle Mmapsto Hom(N,M)} è un funtore covariante.

Generatori, indipendenza lineare e basi |

.mw-parser-output .vedi-anche{border:1px solid #CCC;font-size:95%;margin-bottom:.5em}.mw-parser-output .vedi-anche td:first-child{padding:0 .5em}.mw-parser-output .vedi-anche td:last-child{width:100%}

Lo stesso argomento in dettaglio: Modulo libero.

Una delle maggiori differenze tra la teoria degli spazi vettoriali e quella dei moduli consiste nel fatto che non tutti i moduli hanno una base.

È sempre possibile trovare, dato un modulo M, un insieme di elementi che lo genera: un esempio è l'intero M. Se M può essere generato da un numero finito di elementi, è detto finitamente generato; ad esempio, l'anello A è un A-modulo finitamente generato, perché l'elemento 1 lo genera. Da questo segue anche che, in generale, un sottomodulo di un modulo finitamente generato non è necessariamente finitamente generato: un esempio sono gli ideali non finitamente generati di un anello A non noetheriano. Un concetto più forte è quello di modulo finitamente presentato, ovvero un modulo che può essere scritto come quoziente An/N{displaystyle A^{n}/N}, dove N è un sottomodulo finitamente generato di An{displaystyle A^{n}}.

Tuttavia, non sempre è possibile trovare un insieme di generatori linearmente indipendente, ed anzi esistono moduli non nulli in cui nessun elemento è linearmente indipendente: ad esempio, se A è un anello e I un suo ideale, allora nessun elemento di A/I{displaystyle A/I} è linearmente indipendente, in quanto iv=0{displaystyle iv=0} per ogni i∈I⊆A{displaystyle iin Isubseteq A} e per ogni v∈A/I{displaystyle vin A/I}.

Nel caso in cui una base (ovvero un insieme di generatori linearmente indipendente) esista, il modulo è detto libero; quando questo avviene, il modulo è isomorfo alla somma diretta di un numero di copie uguale alla cardinalità della sua base e, se questo è finito e uguale ad n, al modulo An{displaystyle A^{n}}. In generale, questo numero n non è unico: possono cioè esserci casi in cui i moduli An{displaystyle A^{n}} ed Am{displaystyle A^{m}} sono isomorfi, sebbene n ed m siano diversi. Questo non può avvenire se A è commutativo oppure se è noetheriano; in tal caso, n viene detto rango del modulo libero.^[1][2]

Nel caso degli spazi vettoriali (ovvero quando A è un campo), tutti i moduli hanno una base, ovvero tutti i moduli sono liberi; in virtù dell'esempio precedente, segue anche che se tutti gli A-moduli sono liberi, allora A è un corpo. In questo caso, il rango coincide con la dimensione dello spazio vettoriale.

Decomponibilità |

Un modulo che è privo di sottomoduli non banali (cioè {0}{displaystyle {0}} e il modulo stesso) è detto semplice mentre, nel caso in cui possa essere scritto come somma diretta di moduli semplici, è detto semisemplice. Mentre tutti gli spazi vettoriali sono semisemplici (possono sempre essere scritti come somma diretta di sottospazi di dimensione 1), così come tutti i moduli liberi, in generale esistono moduli che posseggono sottomoduli non banali, ma non possono essere scritti come somma diretta di due suoi sottomoduli: essi sono detti indecomponibili. Tutti i moduli semplici sono indecomponibili, ma non viceversa: ad esempio, se p{displaystyle p} è un numero primo, lo Z{displaystyle mathbb {Z} }-modulo Z/p2Z{displaystyle mathbb {Z} /p^{2}mathbb {Z} } non è semplice, in quanto contiene il sottomodulo pZ/p2Z={0,p,2p,…,(p−1)p}{displaystyle pmathbb {Z} /p^{2}mathbb {Z} ={0,p,2p,ldots ,(p-1)p}}, che è il suo unico sottomodulo non banale; di conseguenza, Z/p2Z{displaystyle mathbb {Z} /p^{2}mathbb {Z} } è indecomponibile ma non semplice.

Se tutti gli A{displaystyle A}-moduli sono semisemplici, A{displaystyle A} stesso è detto (anello) semisemplice; una condizione sufficiente perché questo avvenga è che A{displaystyle A} sia semisemplice come A{displaystyle A}-modulo. Un caso di grande importanza per la teoria delle rappresentazioni è il teorema di Maschke: se G{displaystyle G} è un gruppo finito e k{displaystyle k} è un campo algebricamente chiuso, allora l'algebra di gruppo k[G]{displaystyle k[G]} è semisemplice se e solo se la caratteristica di k{displaystyle k} non divide l'ordine di G{displaystyle G}.

È possibile anche affrontare il problema di stabilire una decomposizione "canonica" dei moduli su un anello non semisemplice, anche se in tal caso non tutti gli addendi possono essere semplici; un caso generale è dato dalla decomposizione in sottomoduli indecomponibili, che è possibile se la lunghezza del modulo è finita (teorema di Krull-Schmidt). Nel caso dei domini ad ideali principali (PID), si ottiene per i moduli finitamente generati una classificazione analoga a quella dei gruppi abeliani finitamente generati: se A{displaystyle A} è un PID e M{displaystyle M} un A{displaystyle A}-modulo finitamente generato, allora

M≃Ak⊕A/(q1)⊕A/(q2)⊕⋯⊕A/(qn),{displaystyle Msimeq A^{k}oplus A/(q_{1})oplus A/(q_{2})oplus cdots oplus A/(q_{n}),}

dove i qi{displaystyle q_{i}} sono potenze di elementi primi di A{displaystyle A}. Una conseguenza di questa classificazione è l'esistenza della forma canonica di Jordan per applicazioni lineari su uno spazio vettoriale su un campo algebricamente chiuso.

Note |

Bibliografia |

• (EN) Michael Atiyah e Ian G. Macdonald, Introduction to Commutative Algebra, Westview Press, 1969, ISBN 0-201-40751-5.

.mw-parser-output .navbox{border:1px solid #aaa;clear:both;margin:auto;padding:2px;width:100%}.mw-parser-output .navbox th{padding-left:1em;padding-right:1em;text-align:center}.mw-parser-output .navbox>tbody>tr:first-child>th{background:#ccf;font-size:90%;width:100%}.mw-parser-output .navbox_navbar{float:left;margin:0;padding:0 10px 0 0;text-align:left;width:6em}.mw-parser-output .navbox_title{font-size:110%}.mw-parser-output .navbox_abovebelow{background:#ddf;font-size:90%;font-weight:normal}.mw-parser-output .navbox_group{background:#ddf;font-size:90%;padding:0 10px;white-space:nowrap}.mw-parser-output .navbox_list{font-size:90%;width:100%}.mw-parser-output .navbox_odd{background:#fdfdfd}.mw-parser-output .navbox_even{background:#f7f7f7}.mw-parser-output .navbox_center{text-align:center}.mw-parser-output .navbox .navbox_image{padding-left:7px;vertical-align:middle;width:0}.mw-parser-output .navbox+.navbox{margin-top:-1px}.mw-parser-output .navbox .mw-collapsible-toggle{font-weight:normal;text-align:right;width:7em}.mw-parser-output .subnavbox{margin:-3px;width:100%}.mw-parser-output .subnavbox_group{background:#ddf;padding:0 10px}

V · D · M Algebra
Numeri	Naturali · Interi · Razionali · Irrazionali · Algebrici · Trascendenti · Reali · Complessi
Principi fondamentali	Principio d'induzione · Principio del buon ordinamento · Relazione di equivalenza · Relazione d'ordine
Elementi di Calcolo combinatorio	Fattoriale · Permutazione · Disposizione · Combinazione · Dismutazione · Principio di inclusione-esclusione
Concetti fondamentali di Teoria dei numeri	Primi Numero primo · Teorema dell'infinità dei numeri primi · Crivello di Eratostene · Crivello di Atkin · Test di primalità · Teorema fondamentale dell'aritmetica Divisori Interi coprimi · Identità di Bézout · MCD · mcm · Algoritmo di Euclide · Criteri di divisibilità · Divisore Aritmetica modulare Teorema cinese del resto · Piccolo teorema di Fermat · Teorema di Eulero · Funzione φ di Eulero · Teorema di Wilson · Reciprocità quadratica
Algebra elementare	Equazione · Disequazione · Polinomio · Triangolo di Tartaglia · Teorema binomiale · Teorema del resto · Lemma di Gauss · Teorema delle radici razionali · Criterio di Eisenstein · Criterio di Cartesio
Teoria dei gruppi	Gruppi Gruppo (finito · ciclico · abeliano) · Gruppo primario · Gruppo quoziente · Gruppo nilpotente · Gruppo risolubile · Gruppo simmetrico · Gruppo diedrale · Gruppo semplice · Gruppo sporadico · Gruppo mostro · Gruppo di Klein · Gruppo dei quaternioni · Gruppo generale lineare · Gruppo ortogonale · Gruppo unitario · Gruppo unitario speciale · Gruppo residualmente finito · Gruppo spaziale · Prodotto diretto · Prodotto semidiretto Teoremi Teorema di isomorfismo · Teorema di Lagrange · Teorema di Cauchy · Teoremi di Sylow · Teorema di Cayley · Teorema di struttura dei gruppi abeliani finiti · Lemma della farfalla · Classificazione dei gruppi semplici finiti Sottoinsiemi Sottogruppo · Sottogruppo normale · Sottogruppo caratteristico · Sottogruppo di Frattini · Sottogruppo di torsione · Classe laterale · Classe di coniugio · Serie di composizione Omomorfismo · Isomorfismo · Automorfismo interno · Automorfismo esterno · Permutazione · Presentazione di un gruppo · Azione di gruppo
Teoria degli anelli	Anello (artiniano · noetheriano) · Caratteristica · Ideale (primo · massimale) · Dominio (a fattorizzazione unica · a ideali principali · euclideo) · Matrice · Anello semplice · Teorema di Artin-Wedderburn · Modulo · Dominio di Dedekind · Estensione di anelli · Teorema della base di Hilbert
Teoria dei campi	Campo · Polinomio irriducibile · Polinomio ciclotomico · Teorema fondamentale dell'algebra · Campo finito · Automorfismo · Endomorfismo di Frobenius Estensioni Campo di spezzamento · Estensione di campi · Estensione algebrica · Estensione separabile · Chiusura algebrica · Campo di numeri · Estensione normale · Estensione di Galois · Estensione abeliana · Estensione ciclotomica · Teoria di Kummer Teoria di Galois Gruppo di Galois · Teoria di Galois · Teorema fondamentale della teoria di Galois · Teorema di Abel-Ruffini · Costruzioni con riga e compasso
Altre strutture algebriche	Magma · Semigruppo · Corpo · Spazio vettoriale · Algebra su campo · Algebra di Lie · Algebra differenziale · Algebra di Clifford · Gruppo topologico · Gruppo ordinato · Quasi-anello

V · D · M Algebra commutativa
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	Classi Anello artiniano · Anello regolare · Anello di Gorenstein · Anello di Cohen-Macaulay · Anello eccellente Teoremi Teorema dell'ideale principale · Teorema della base di Hilbert · Teorema degli zeri di Hilbert · Lemma di normalizzazione di Noether
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

Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica