Moduli liberi, differenze con gli spazi vettoriali, i razionali non sono liberi né finitamente generati.
Se una sequenza esatta corta finisce in un libero allora spezza.
Un anello è PID se e solo se ogni sottomodulo di un modulo libero è libero, senza restrizione ai sottomoduli finitamente generati.