Modulo (algebra): differenze tra le versioni

Versione delle 10:24, 29 giu 2025

Versione attuale delle 21:51, 18 ago 2025

Riga 22:

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 di gruppo|azione]]: per un fissato elemento <math>a\in A</math>, l'applicazione <math>\mu_a:M\longrightarrow M</math> tale che <math>\mu_a(v)=av</math> è un [[omomorfismo di gruppi|omomorfismo]] di ''M'' in sé stesso, e di conseguenza (usando il secondo e il terzo assioma di modulo) l'applicazione che associa ad ogni <math>a\in A</math> la moltiplicazione <math>\mu_a</math> è un [[omomorfismo di anelli]] tra ''A'' e l'insieme <math>End(M)</math> degli endomorfismi di ''M''. Questa osservazione costituisce il ponte tra la teoria dei moduli e la [[Rappresentazione dei gruppi|teoria delle rappresentazioni]], che studia le azioni dei gruppi sugli spazi vettoriali, o equivalentemente le azioni di anello delle corrispondenti [[algebra di gruppo|algebre di gruppo]].

== Esempi ==

Riga 58:

Tuttavia, non sempre è possibile trovare un insieme di generatori [[indipendenza lineare|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 <math>A/I</math> è linearmente indipendente, in quanto <math>iv=0</math> per ogni <math>i\in I\subseteq A</math> e per ogni <math>v\in A/I</math>.

Nel caso in cui una base (ovvero un [[insieme di generatori]] linearmente indipendente) esista, il modulo è detto [[modulo libero|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 <math>A^n</math>. In generale, questo numero ''n'' non è unico: possono cioè esserci casi in cui i moduli <math>A^n</math> ed <math>A^m</math> sono isomorfi, sebbene ''n'' ed ''m'' siano diversi. Questo non può avvenire se ''A'' è commutativo oppure se è [[anello noetheriano|noetheriano]]; in tal caso, ''n'' viene detto ''rango'' del modulo libero.<ref>{{SpringerEOM|title=Rank of a module|author=V.E. Govorov}}</ref><ref>{{cita libro|autore=Paul Moritz Cohn|titolo=Introduction to ring theory|lingua=en|editore=Springer|anno=2000|isbn=1-85233-206-9|pp=169-171}}</ref>

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 (matematica)|corpo]]. In questo caso, il rango coincide con la [[dimensione di Hamel|dimensione]] dello spazio vettoriale.