Couvre les lemmas utiles pour les groupes p, y compris les propriétés de divisibilité et l'existence d'éléments spécifiques dans les groupes abeliens finis.
Explore la décomposition de l'espace de poids et prouve qu'un groupe algébrique linéaire connecté avec tous les éléments semi-simples doit être un tore.
