PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Very high Entry average rating: No information on entry rating
core of a subgroup (Definition)

Let $H$ be a subgroup of a group $G$

The core (or normal interior, or normal core) of $H$ in $G$ is the intersection of all conjugates of $H$ in $G$

$$ \core{G}{H} = \bigcap_{x\in G}x^{-1}Hx. $$

It is not hard to show that $\core{G}{H}$ is the largest normal subgroup of $G$ contained in $H$ that is, $\core{G}{H}\normal G$ and if $N\normal G$ and $N\subseteq H$ then $N\subseteq\core{G}{H}$ For this reason, some authors denote the core by $H_G$ rather than $\core{G}{H}$ by analogy with the notation $H^G$ for the normal closure.

If $\core{G}{H}=\{1\}$ then $H$ is said to be core-free.

If $\core{G}{H}$ is of finite index in $H$ then $H$ is said to be normal-by-finite.

Let $\cal L$ be the set of left cosets of $H$ in $G$ By considering the action of $G$ on $\cal L$ it can be shown that the quotient $G/\core{G}{H}$ embeds in the symmetric group $\Sym({\cal L})$ A consequence of this is that if $H$ is of finite index in $G$ then $\core{G}{H}$ is also of finite index in $G$ and $[G:\core{G}{H}]$ divides $[G:H]!$ (the factorial of $[G:H]$ . In particular, if a simple group $S$ has a proper subgroup of finite index $n$ then $S$ must be of finite order dividing $n!$ as the core of the subgroup is trivial. It also follows that a group is virtually abelian if and only if it is abelian-by-finite, because the core of an abelian subgroup of finite index is a normal abelian subgroup of finite index (and the same argument applies if `abelian' is replaced by any other property that is inherited by subgroups).




"core of a subgroup" is owned by yark.
(view preamble | get metadata)

View style:

See Also: normal closure

Other names:  core, normal core, normal interior
Also defines:  core-free, corefree, normal-by-finite, core-free subgroup, corefree subgroup, normal-by-finite subgroup
Log in to rate this entry.
(view current ratings)

Cross-references: abelian, abelian-by-finite, virtually abelian, order, proper subgroup, simple group, factorial, consequence, symmetric group, action, left cosets, index, normal closure, analogy, contained, normal subgroup, conjugates, intersection, group, subgroup
There are 7 references to this entry.

This is version 7 of core of a subgroup, born on 2005-12-30, modified 2007-06-13.
Object id is 7547, canonical name is CoreOfASubgroup.
Accessed 8654 times total.

Classification:
AMS MSC20A05 (Group theory and generalizations :: Foundations :: Axiomatics and elementary properties)

Pending Errata and Addenda
None.
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add derivation | add example | add (any)