Théorèmes de SylowEn théorie des groupes finis, les théorèmes de Sylow forment une réciproque partielle du théorème de Lagrange, d'après lequel, si H est sous-groupe d'un groupe fini G, alors l'ordre de H divise l'ordre de G. Ces théorèmes garantissent, pour certains diviseurs de l'ordre de G, l'existence de sous-groupes d'ordre égal à ces diviseurs, et donnent une information sur le nombre de ces sous-groupes. Ces théorèmes portent le nom du mathématicien norvégien Ludwig Sylow, qui les démontra en 1872.
Sous-groupe de HallEn théorie des groupes (une branche des mathématiques), les sous-groupes de Hall d'un groupe fini sont les sous-groupes dont l'ordre et l'indice sont premiers entre eux. Ils portent le nom du mathématicien Philip Hall. Soit un groupe fini. Un sous-groupe de est appelé un sous-groupe de Hall de si son ordre est premier avec son indice dans . Autrement dit, un sous-groupe de est dit sous-groupe de Hall si est premier avec . Cela revient encore à dire que pour tout diviseur premier p de , la puissance à laquelle p figure dans est la même que celle à laquelle il figure dans .
Groupe abélienEn mathématiques, plus précisément en algèbre, un groupe abélien (du nom de Niels Abel), ou groupe commutatif, est un groupe dont la loi de composition interne est commutative. Vu autrement, un groupe commutatif peut aussi être défini comme un module sur l'anneau commutatif des entiers relatifs ; l'étude des groupes abéliens apparaît alors comme un cas particulier de la théorie des modules. On sait classifier de façon simple et explicite les groupes abéliens de type fini à isomorphisme près, et en particulier décrire les groupes abéliens finis.
P-groupeEn mathématiques, et plus précisément en algèbre, un p-groupe, pour un nombre premier p donné, est un groupe (fini ou infini) dont tout élément a pour ordre une puissance de p. Les p-sous-groupes de Sylow d'un groupe fini sont un exemple important de p-groupes. Tout sous-groupe et tout quotient d'un p-groupe est un p-groupe. Réciproquement, si H est un p-sous-groupe normal d'un groupe G et si le quotient G/H est un p-groupe, alors G est un p-groupe. On peut tirer du point précédent qu'un produit semi-direct de deux p-groupes est un p-groupe.
Groupe abélien de type finiEn mathématiques, un groupe abélien de type fini est un groupe abélien qui possède une partie génératrice finie. Autrement dit : c'est un module de type fini sur l'anneau Z des entiers relatifs. Par conséquent, les produits finis, les quotients, mais aussi les sous-groupes des groupes abéliens de type fini sont eux-mêmes de type fini. Un théorème de structure des groupes abéliens de type fini permet d'expliciter la liste complète de ces groupes à isomorphisme près ; il montre notamment que tout groupe abélien de type fini est un produit fini de groupes monogènes.