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.
Indice d'un sous-groupeEn mathématiques, et plus précisément en théorie des groupes, si H est un sous-groupe d'un groupe G, l'indice du sous-groupe H dans G est le nombre de copies distinctes de H que l'on obtient en multipliant à gauche par un élément de G, soit le nombre des xH quand x parcourt G (on peut choisir en fait indifféremment de multiplier à gauche ou à droite). Les classes xH formant une partition, et la multiplication à gauche dans un groupe par un élément donné étant bijective, le produit de l'indice du sous-groupe H dans G par l'ordre de H égale l'ordre de G, ce dont on déduit, pour un groupe fini, le théorème de Lagrange.
Théorie géométrique des groupesLa théorie géométrique des groupes est un domaine des mathématiques pour l'étude des groupes de type fini à travers les connexions entre les propriétés algébriques de ces groupes et les propriétés topologiques et géométriques des espaces sur lesquels ils opèrent. Les groupes sont vus comme des ensembles de symétries ou d'applications continues sur ces espaces. Une autre idée importante de la théorie géométrique des groupes est de considérer les groupes de type fini eux-mêmes comme des objets géométriques, généralement via le graphe de Cayley du groupe étudié.
Réseau (sous-groupe discret)En théorie des groupes le terme réseau désigne un sous-groupe d'un groupe topologique localement compact vérifiant les conditions suivantes : est discret dans , ce qui est équivalent à la condition qu'il existe un voisinage ouvert de l'identité de tel que ; est de covolume fini dans , c'est-à-dire qu'il existe sur l'espace quotient une mesure Borélienne de masse totale finie et invariante par (agissant par translations à droite). Un réseau est dit uniforme quand le quotient est compact. On dit alors que est un réseau de .
Groupe de LieEn mathématiques, un groupe de Lie est un groupe qui est aussi une variété différentielle. D'une part, un groupe est une structure algébrique munie d'une opération binaire, typiquement une multiplication et son inverse la division, ou alors une addition et son inverse la soustraction. D'autre part, une variété est un espace qui localement ressemble à un espace euclidien. Ici, on s'intéresse à un ensemble qui est à la fois un groupe et une variété : nous pouvons multiplier les éléments entre eux, calculer l'inverse d'un élément.