Par analogie avec la structure d’un $\R$-espace vectoriel, on appelle $\Z$-module une structure algébrique qui vérifie les mêmes axiomes que ceux des espaces vectoriels.

Plus précisément, soit $E$ un ensemble. On suppose que $E$ est muni d’une opération interne d’addition notée $+$ et d’une multiplication externe implicite : un nombre entier multiplié par un élément de $E$ donne un élément de $E$.

On suppose en plus que $E$ vérifie les huit axiomes suivants :

L’ensemble $E$ est alors muni d’une structure de $\Z$-module. De même, les concepts de familles libres, liées et de bases sont les mêmes que ceux des espaces vectoriels.

Explicitez une différence

Les mêmes axiomes que ceux des espaces vectoriels ont été utilisés, en remplaçant le corps $\R$ par l’anneau $\Z.$

Il est rappelé qu’un espace vectoriel engendré par une famille finie de vecteurs admet automatiquement une base finie. Vous allez constater que cet énoncé ne s’applique pas pour les modules en général. Voici un exemple ci-dessous.

Considérez l’ensemble $E=\Z/3\Z.$ Il est muni d’une structure de $\Z$-module. Il est fini, donc il est engendré par la famille finie constituée de ses trois éléments.

En raisonnant comme avec les espaces vectoriels, on s’attendrait à ce que ce $\Z$-module possède une base de $3$ vecteurs ou moins. Or, cela n’est pas le cas, puisque tout famille finie de ce $\Z$-module est liée. En effet, $\forall x\in E, 3x = 0.$