In group theory, a branch of mathematics, a core is any of certain special normal subgroups of a group. The two most common types are the normal core of a subgroup and the p-core of a group.
For a group G, the normal core or normal interior of a subgroup H is the largest normal subgroup of G that is contained in H (or equivalently, the intersection of the conjugates of H). More generally, the core of H with respect to a subset S ⊆ G is the intersection of the conjugates of H under S, i.e.
Under this more general definition, the normal core is the core with respect to S = G. The normal core of any normal subgroup is the subgroup itself.
Normal cores are important in the context of group actions on sets, where the normal core of the isotropy subgroup of any point acts as the identity on its entire orbit. Thus, in case the action is transitive, the normal core of any isotropy subgroup is precisely the kernel of the action.
A core-free subgroup is a subgroup whose normal core is the trivial subgroup. Equivalently, it is a subgroup that occurs as the isotropy subgroup of a transitive, faithful group action.
The solution for the hidden subgroup problem in the abelian case generalizes to finding the normal core in case of subgroups of arbitrary groups.
In this section G will denote a finite group, though some aspects generalize to locally finite groups and to profinite groups.
For a prime p, the p-core of a finite group is defined to be its largest normal p-subgroup. It is the normal core of every Sylow p-subgroup of the group. The p-core of G is often denoted , and in particular appears in one of the definitions of the Fitting subgroup of a finite group. Similarly, the p′-core is the largest normal subgroup of G whose order is coprime to p and is denoted . In the area of finite insoluble groups, including the classification of finite simple groups, the 2′-core is often called simply the core and denoted . This causes only a small amount of confusion, because one can usually distinguish between the core of a group and the core of a subgroup within a group.
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.
Après une introduction à la théorie des catégories, nous appliquerons la théorie générale au cas particulier des groupes, ce qui nous permettra de bien mettre en perspective des notions telles que quo
En théorie des groupes, un groupe profini est un groupe topologique obtenu comme limite projective de groupes finis discrets. La notion de groupe profini est particulièrement utile en théorie de Galois, pour pouvoir travailler avec des extensions infinies. Comme plus généralement en théorie des catégories, cette limite projective est uniquement définie à unique isomorphisme près. Elle peut être interprétée comme objet final d'une bonne catégorie.
En 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.
En 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.
Explore la relation entre p-torsion et p-divisibilité dans la théorie de groupe, mettant en évidence les implications de p-divisibilité dans les séquences exactes des groupes abeliens.
Couvre la présentation des groupes de S3, des sous-groupes normaux, des générateurs, des relations, des groupes de quotients et des homomorphismes injectifs.
The Cremona group is the group of birational transformations of the complex projective plane. In this paper we classify its subgroups that consist only of elliptic elements using elementary model theory. This yields in particular a description of the struc ...
Let G be the homeomorphism group of a dendrite. We study the normal subgroups of G. For instance, there are uncountably many nonisomorphic such groups G that are simple groups. Moreover, these groups can be chosen so that any isometric G-action on any metr ...
AMER MATHEMATICAL SOC2019
Let Y be a simply connected simple algebraic group over an algebraically closed field k of characteristic p and let X be a maximal closed connected simple subgroup of Y.
Excluding some small primes in specific cases, we classify the p-restrict ...