**Are you an EPFL student looking for a semester project?**

Work with us on data science and visualisation projects, and deploy your project as an app on top of GraphSearch.

Concept# Core (group theory)

Summary

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.

Official source

This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.

Related courses (1)

Related concepts (11)

Related lectures (47)

MATH-211: Group Theory

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

Torsion and Divisibility in Group Theory

Explores the relationship between p-torsion and p-divisibility in group theory, highlighting implications of p-divisibility in exact sequences of abelian groups.

Groupes résolubles: Quotients and Subgroups

Explores the concept of solvable groups and their subgroups' impact on solvability.

Solvable Groups: Part 1

Covers the concept of solvable groups and their decomposition into abelian pieces, exploring various properties and examples.

Profinite group

In mathematics, a profinite group is a topological group that is in a certain sense assembled from a system of finite groups. The idea of using a profinite group is to provide a "uniform", or "synoptic", view of an entire system of finite groups. Properties of the profinite group are generally speaking uniform properties of the system. For example, the profinite group is finitely generated (as a topological group) if and only if there exists such that every group in the system can be generated by elements.

Core (group theory)

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.

P-group

In mathematics, specifically group theory, given a prime number p, a p-group is a group in which the order of every element is a power of p. That is, for each element g of a p-group G, there exists a nonnegative integer n such that the product of pn copies of g, and not fewer, is equal to the identity element. The orders of different elements may be different powers of p. Abelian p-groups are also called p-primary or simply primary. A finite group is a p-group if and only if its order (the number of its elements) is a power of p.