Normal core
This article is about a standard (though not very rudimentary) definition in group theory. The article text may, however, contain more than just the basic definition
VIEW: Definitions built on this | Facts about this: (, ) |Survey articles about this | Survey articles about definitions built on this
VIEW RELATED: Analogues of this |
View a complete list of semi-basic definitions on this wiki
This article defines a subgroup operator related to the subgroup property normal subgroup. By subgroup operator is meant an operator that takes as input a subgroup of a group and outputs a subgroup of the same group.
Definition
QUICK PHRASES: largest normal subgroup inside, biggest normal subgroup inside, intersection of all conjugates
Symbol-free definition
The normal core of a subgroup of a group is defined in the following equivalent ways:
- (Normal subgroup definition) As the subgroup generated by all normal subgroups of the whole group lying inside the subgroup; in other words, the unique largest normal subgroup lying inside the given subgroup.
- (Conjugate-intersection definition) As the intersection of all conjugate subgroups of the given subgroup.
- (Group action definition) As the kernel of the action of the group on the coset space of the subgroup by left multiplication (see group acts on left coset space of subgroup by left multiplication).
Definition with symbols
The normal core of a subgroup 
in a group 
, denoted as 
, is defined in the following equivalent ways:
- (Normal subgroup definition) As the subgroup generated by all normal subgroups
of that lie inside i.e.:
- (Conjugate-intersection definition) As the intersection of all subgroups of the form
where 
varies over , i.e.:
- (Group action definition) As the kernel of the action of on the coset space
(see group acts on left coset space of subgroup by left multiplication):
Related notions
Other core operators in group theory
Other operators involving approximating by normal subgroups
- Normal closure is the smallest normal subgroup of the whole group containing a given subgroup.
- Normalizer is the largest subgroup containing a given subgroup in which that subgroup is normal.
Analogous operators in other structures
- Ideal core of a Lie subring: This is the analogous notion in Lie rings.
- Normal closure of a field extension: This is the precise corresponding notion under the correspondence given by the fundamental theorem of Galois theory. Note that normal core becomes normal closure because of the direction-reversing nature of the correspondence.
- Regular closure of a covering map: This is the precise corresponding notion under the correspondence between subgroups of the fundamental group and connected covers. Core becomes closure because of the direction-reversing nature of the correspondence.
Related subgroup properties
Image
The normal core is an operator that takes subgroups to subgroups. It is an idempotent operator and the fixed points are precisely the normal subgroups.
In other words, the normal core of any subgroup is a normal subgroup, and the normal core of a normal subgroup is itself.
Inverse image of trivial subgroup
If the normal core of a subgroup is trivial, the subgroup is said to be a core-free subgroup.
Quotient by normal core
Note that because normality satisfies the intermediate subgroup condition, the normal core of a subgroup is normal within the subgroup. That is, if is a subgroup of , is a normal subgroup of . Thus, we can talk of the quotient 
. The relation between properties of and properties of are studied in the theory of the quotient-by-core.
Computation
Further information: normal core-finding problem
The normal core of a subgroup in a group can be found computationally by invoking the membership testing problem as well as the group intersection problem. The part involving invocation of the membership testing problem can be thought of as a variant of the normality testing problem.
