Explore les définitions invariantes dans les ensembles, les groupes et les automorphismes, y compris les groupes p-divisibles et les groupes abeliens libres.
Couvre la détermination des espaces vectoriels, le calcul des noyaux et des images, la définition des bases et la discussion des sous-espaces et des espaces vectoriels.
