Definizione di torsione di un modulo. Annullatore di un modulo e di un elemento. Libero implica libero da torsione.
Su PID, un modulo finitamente generato e privo di torsione è libero.
Un modulo finitamente generato su PID si spezza come somma diretta del sottomodulo di torsione e di un modulo libero.
Definizione di prodotto tensore e proprietà universale.