Focal subgroup theoremIn abstract algebra, the focal subgroup theorem describes the fusion of elements in a Sylow subgroup of a finite group. The focal subgroup theorem was introduced in and is the "first major application of the transfer" according to . The focal subgroup theorem relates the ideas of transfer and fusion such as described in . Various applications of these ideas include local criteria for p-nilpotence and various non-simplicity criteria focussing on showing that a finite group has a normal subgroup of index p.
Cœur d'un sous-groupeEn mathématiques, et plus précisément en théorie des groupes, l'intersection des conjugués, dans un groupe , d'un sous-groupe de est appelée le cœur de (dans ) et est notée cœurG(H) ou encore . Le cœur de dans est le plus grand sous-groupe normal de contenu dans . Si on désigne par / l'ensemble des classes à gauche de modulo (cet ensemble n'est pas forcément muni d'une structure de groupe, n'étant pas supposé normal dans ), on sait que opère à gauche sur / par : Le cœur de dans est le noyau de cette opération.
Théorème de Burnside (groupe résoluble)En mathématiques, le théorème de Burnside appartient à la théorie des groupes finis. Son énoncé est : Il est nommé en l'honneur de William Burnside, qui l'a démontré en 1904, à l'aide de la théorie des représentations d'un groupe fini. À une époque où que tout groupe fini ayant pour ordre une puissance de nombre premier est résoluble, Georg Frobenius démontre en 1895 que tout groupe d'ordre pq, où p et q sont des nombres premiers, est résoluble. Ce résultat est étendu trois ans plus tard par Camille Jordan aux groupes d'ordre pq.
Théorème de correspondanceEn mathématiques, et plus particulièrement en théorie des groupes, le théorème de correspondance (énoncé de façon plus ou moins complète selon les auteurs) dit que si G est un groupe et H un sous-groupe normal de G, alors K↦K/H définit une bijection f de l'ensemble des sous-groupes de G contenant H sur l'ensemble des sous-groupes de G/H; cette bijection applique les sous-groupes normaux de G contenant H sur les sous-groupes normaux de G/H ; si les ensembles de départ et d'arrivée de f sont ordonnés par incl
Groupe dicycliqueEn algèbre et plus précisément en théorie des groupes, le groupe dicyclique (pour tout entier n ≥ 2) est défini par la présentation Les groupes () sont les groupes quaternioniques (les groupes dicycliques nilpotents). En particulier, est le groupe des quaternions. est un groupe non abélien d'ordre 4n, extension par le sous-groupe cyclique engendré par (normal et d'ordre 2n) d'un groupe d'ordre 2. Il est donc résoluble. Contrairement au groupe diédral D, cette extension n'est pas un produit semi-direct.
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 .
