Normal core: Difference between revisions

Revision as of 22:39, 22 July 2008

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: (facts closely related to Normal core, all facts related to Normal core) |Survey articles about this | Survey articles about definitions built on this
VIEW RELATED: Analogues of this | Variations of this | Opposites of this |
View a complete list of semi-basic definitions on this wiki

This article defines a subgroup operator related to the subgroup property normality. 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 group
(Group action definition) As the kernel of the action of the group on the coset space of the subgroup.

Definition with symbols

The normal core of a subgroup $H$ in a group $G$ , denoted as $H_{G}$ , is defined in the following equivalent ways:

(Normal subgroup definition) As the subgroup generated by all normal subgroups $N$ of $G$ that lie inside $H$ i.e.:

$H_{G} : = ⟨ N : N ◃ G, N \leq H ⟩$

(Conjugate-intersection definition) As the intersection of all subgroups of the form $g H g^{- 1}$ where $g$ varies over $G$ , i.e.:

$H_{G} : = ⋂_{g \in G} g H g^{- 1}$

(Group action definition) As the kernel of the action of $G$ on the coset space $G / H$ :

$H_{G} = k e r (G \to S y m (G / H))$

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 $H$ is a subgroup of $G$ , $H_{G}$ is a normal subgroup of $H$ . Thus, we can talk of the quotient $H / H_{G}$ . The relation between properties of $H$ and properties of $H / H_{G}$ 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.

@@ Line 4: / Line 4: @@
 ==Definition==
-{{quick phrase|largest normal subgroup inside, biggest normal subgroup inside}}
+{{quick phrase|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:
-* As the subgroup generated by all [[defining ingredient::normal subgroup]]s of the whole group lying inside the subgroup; in other words, the unique largest normal subgroup lying inside the given subgroup
+* (''Normal subgroup definition'') As the subgroup generated by all [[defining ingredient::normal subgroup]]s of the whole group lying inside the subgroup; in other words, the unique largest normal subgroup lying inside the given subgroup
-* As the intersection of all [[defining ingredient::conjugate subgroups]] of the given group
+* (''Conjugate-intersection definition'') As the intersection of all [[defining ingredient::conjugate subgroups]] of the given group
-* As the kernel of the action of the group on the [[coset space]] of the subgroup.
+* (''Group action definition'') As the kernel of the action of the group on the [[coset space]] of the subgroup.
 ===Definition with symbols===
@@ Line 17: / Line 17: @@
 The normal core of a subgroup <math>H</math> in a group <math>G</math>, denoted as <math>H_G</math>, is defined in the following equivalent ways:
-* As the subgroup generated by all normal subgroups <math>N</math> of <math>G</math> that lie inside <math>H</math> i.e.:
+* (''Normal subgroup definition'') As the subgroup generated by all normal subgroups <math>N</math> of <math>G</math> that lie inside <math>H</math> i.e.:
 <math>H_G := \langle N : N \triangleleft G, N \le H \rangle</math>
-* As the intersection of all subgroups of the form <math>gHg^{-1}</math> where <math>g</math> varies over <math>G</math>, i.e.:
+* (''Conjugate-intersection definition'') As the intersection of all subgroups of the form <math>gHg^{-1}</math> where <math>g</math> varies over <math>G</math>, i.e.:
 <math>H_G := \bigcap_{g \in G} gHg^{-1}</math>
-* As the kernel of the action of <math>G</math> on the coset space <math>G/H</math>:
+* (''Group action definition'') As the kernel of the action of <math>G</math> on the coset space <math>G/H</math>:
 <math>H_G = \operatorname{ker} (G \to Sym(G/H))</math>