title: Lunghezza di un modulo
text: # Lunghezza di un modulo
  
  In matematica, la lunghezza di un modulo è una quantità (un numero naturale oppure infinito) che misura la "grandezza" di un modulo, generalizzando la nozione di dimensione degli
  
  spazi vettoriali.
  
  ## Definizioni equivalenti
  
  Sia $M$ un modulo su un anello $A$. La lunghezza di una catena di sottomoduli è definita come il numero massimo di inclusioni strette: così la catena
  
      $N_{0}\subsetneq N_{1}\subsetneq \cdots \subsetneq N_{n}$
  
  ha lunghezza $n$. La lunghezza di $M$ su $A$, indicata come $\ell _{A}(M)$ (o $\ell (M)$ se non c'è rischio di confusione) è l'estremo superiore delle lunghezze delle catene di $A$-sottomoduli di $M$.
  
  ## Esempi
  
  Il modulo $\{0\}$ è l'unico modulo ad avere lunghezza 0, mentre i moduli semplici (ovvero i moduli senza sottomoduli propri) sono gli unici ad avere lunghezza 1. Se l'anello $A$ è un campo, allora le catene di sottomoduli non sono altro che le catene di sottospazi vettoriali; di conseguenza, la lunghezza di $M$ come $A$-modulo coincide con la dimensione di $M$ come spazio vettoriale.
  
  L'anello $\mathbb {Z}$ (o, più in generale, qualsiasi anello la cui dimensione di Krull è maggiore di 1) non ha lunghezza finita su sé stesso: ad esempio, nel caso di $\mathbb {Z}$, dato un intero $n$ arbitrario, la catena
  
      $2^{n}\mathbb {Z} \subsetneq 2^{n-1}\mathbb {Z} \subsetneq \cdots \subsetneq 2\mathbb {Z} \subsetneq \mathbb {Z}$
  
  ha lunghezza $n$.
  
  ## Moduli di lunghezza finita
  
  Un modulo $M$ è di lunghezza finita se e solo se i suoi sottomoduli verificano contemporaneamente la condizione della catena ascendente e la condizione della catena discendente, ovvero se e solo se è contemporaneamente un modulo noetheriano e un modulo artiniano; in particolare, un anello $A$ è di lunghezza finita su sé stesso se e solo se è artiniano, ovvero noetheriano e di dimensione 0. In tal caso, la lunghezza di $M$ è uguale alla lunghezza di una sua qualsiasi serie di composizione, ovvero di una catena di sottomoduli
  
      $N_{0}\subsetneq N_{1}\subsetneq \cdots \subsetneq N_{n}=M$
  
  tale che ogni quoziente $N_{i+1}/N_{i}$ sia un modulo semplice.
  
  Il teorema di Krull-Schmidt garantisce che ogni modulo di lunghezza finita può essere espresso come somma diretta (finita) di una famiglia di moduli indecomponibili.
  
  ## Successioni esatte
  
  Sia
  
      $0\longrightarrow L\longrightarrow M\longrightarrow N\longrightarrow 0$
  
  una successione esatta di $A$-moduli. Allora $\ell _{A}(M)=\ell _{A}(L)+\ell _{A}(N)$, e in particolare $M$ ha lunghezza finita se e solo se sia $L$ che $N$ hanno lunghezza finita. In particolare, i sottomoduli e i quozienti di un modulo di lunghezza finita sono di lunghezza finita, così come la somma diretta finita $\bigoplus _{i=1}^{n}M_{i}$ di moduli di lunghezza finita; in quest'ultimo caso, la lunghezza della somma è uguale alla somma della lunghezza degli $M_{i}$.
  
  Esiste inoltre un analogo della formula di Grassmann: se $N,P$ sono sottomoduli di $M$, allora
  
      $\ell _{A}(N+P)+\ell _{A}(N\cap P)=\ell _{A}(N)+\ell _{A}(P)$.
  