Normal divider
Normal divisors are special subgroups considered in the mathematical branch of group theory , they are also called normal subgroups.
Their importance lies above all in the fact that they are exactly the kernels of group homomorphisms . These images between groups make it possible to isolate individual aspects of the structure of a group in order to be able to study them more easily in the pure form of the picture group .
The term "... divisor" refers to the fact that a group of factors and each of its normal divisors can be used to form a factor group. These factor groups are homomorphic images of , and each homomorphic image of is isomorphic to such a factor group .
In the 19th century, the French mathematician Évariste Galois was the first to recognize the importance of the concept of “normal divisors” for studying noncommutative groups . In his theory for solving algebraic equations, the socalled Galois theory , the existence of normal divisors of a group of permutations ( Galois group ) is decisive for the solvability of the equation by radicals .
Sentence and definition
Let it be a subgroup of the group and any element of . The left minor class of after the element of is the subset
 .
In the same way, the right minor class of after the element is declared as
 .
One can show that the following five statements are pairwise equivalent for a subgroup :
 Applies to everyone . (One also says: is invariant under the conjugation with .)
 For each and every one applies , that is .
 For each the left agrees with the right coset of agreement: .
 The set is a union of conjugation classes of the group .
 There is a group homomorphism from whose core is.
If a subgroup fulfills one of the properties mentioned above, then the subgroup is called normal or a normal subgroup, the terms normal subgroup and normal subgroup are synonymous. The notation means “ is the normal divisor of ”. Some authors also use this and reserve the name in case .
Examples
 Every subgroup of an Abelian group is the normal subgroup of the group and many statements about normal subgroups are trivial for Abelian groups.
 Every group has the socalled trivial normal divisors, namely the full group itself and the onesubgroup consisting only of the neutral element . All other normal factors are called nontrivial. There are groups that have no nontrivial normal divisors, these are called simple . Examples are the cyclic groups with a prime number or, as the smallest noncommutative example, the alternating group A _{5} . See “ Finite Simple Group ” for more examples. _{}
 The center and the commutator group of a group are always normal divisors.
 In the symmetrical group S _{3} , the threeelement subgroup is a normal divisor. The three twoelement subgroups are not normal divisors.
 In a topological group , the connected component of the neutral element is a closed normal divisor.
 The group of the inner automorphisms of a group is always a normal divisor in the full automorphism group .
Remarks
The normal part relation is not transitive , that is, from and generally does not follow . An example of this fact is the alternating group A _{4} , which has a normal divisor that is isomorphic to the Klein group of four . Every twoelement subgroup contained therein is a normal subgroup in , but not in . _{}
A subgroup is a normal subgroup in if and only if its normalizer is whole . A subgroup is always a normal subgroup in its normalizer.
All characteristic subgroups of a group are normal parts of the group because the conjugation of group elements is an automorphism . The converse is generally not true; for example, the twoelement subgroups of the small group of four are normal but not characteristic.
Archetypes of a normal divider under a group homomorphism are again normal divisors. Images of normal dividers are generally not normal, as shown in the inclusion picture of a subgroup that is not normal dividers. The images of a normal divisor under surjective group homomorphisms are normal divisors again.
A subgroup of index 2 is always a normal subgroup. More generally, if it is a subgroup and if the index of is equal to the smallest prime number which divides the order of , then is a normal divisor.
Normal divisors, group homomorphisms and factor groups
Factor group
The secondary classes of a normal divider form a group with the complex product , which is called the factor group from to .
The factor group therefore consists of the secondary classes of , that is , and the product of two secondary classes is defined as a complex product . For a normal divisor of and any elements of , the complex product of two secondary classes is again a secondary class, namely . : This follows from the equality of right and left cosets (s o..) .
For a subgroup that is not a normal subclass, the complex product of two left (or right) minor classes is generally not a left or right minor class.
Canonical homomorphism
If there is a normal divisor, then the figure is
 ,
which maps each group element to the secondary class , a group homomorphism from into the factor group . is surjective and the core is straight . One calls this group homomorphism the canonical homomorphism .
Cores as normal divisors
The core of any group homomorphism is always a normal divisor of the group shown. To clarify the definitions, the proof is set out here. Be

a group homomorphism and 

its core (with as the neutral element of ). 
Then is for everyone and
thus and thus a normal divisor in according to definition 2.
Together with the considerations on canonical homomorphism, these considerations show that the normal divisors are precisely the kernels of group homomorphisms. In a group, congruence relations correspond exactly to the normal divisors. On this topic see also “ Homomorphism Theorem ”.
Normal divider and subgroup association
The normal divisors of a group form a system of sets that is even a shell system . This envelope system is a complete bandage , the normal divider bandage . Here this means specifically:
 The intersection of normal parts of is a normal part,
 For every subset of, there is a clearly determined smallest normal divisor that contains this set. (This operation here is the envelope operation). Special cases: The trivial normal subgroup , only the neutral element contains the group , itself is a normal subgroup. From this follows the completeness of the association.
As Dedekind's modular law shows, the normal divider lattice is a modular sublattice of the subgroup lattice. The latter is generally not modular, see " Modular group (M group) ".
Complementary normal divisors and inner direct product
In general there are no complementary objects in the normal divider lattice. However, if a normal subdivision has a complementary object , that is, applies to the normal subdivisions and , then the group can be represented as the (inner) direct product of these normal subdivisions:, that is, each group element has a unique representation as the product of elements and . Conversely, every factor of an (external) direct product is (isomorphic to a) normal divisor of the product group and the product of the other factors is isomorphic to a normal divisor that is complementary thereto.
A generalization of this statement: For two normal divisors that have a trivial intersection, i. H. , applies:
 Their elements commute with each other without one of the two normal divisors having to be commutative:
 Its supremum in the union of the normal divisors agrees with its complex product, which in turn is isomorphic to its (outer) direct product:
Both statements generally do not apply to subgroups that are not normal subgroups. For example, in the free group over two elements the two infinite cyclic subgroups intersect and in the one group. The group (external direct product) is not isomorphic to any subgroup . The complex product is not a subgroup of , since e.g. B. is, but .
Inner semidirect product
If there is only one normal subgroup and a not necessarily normal subgroup of the group and the two intersect in the one group , then the following applies:
 The complex product is a (not necessarily normal) subgroup of .
 Each element is as a product of elements and displayed clearly.
 Of course, the normal divisor of always normal is in . The subgroup is normal in if and only if the elements commute from and among each other (see above).
In the situation described ( ), the complex product is called the (inner) semidirect product of the subgroups and . The outer semidirect product consists, as stated in the article mentioned, of the Cartesian product of two groups (here and ) together with a homomorphism of into the group of automorphisms of . The outer semidirect product is then often written as. Of the technical details, we are only interested in the fact that the calculation rule (relation)
is introduced on the Cartesian product . The notation here means that the automorphism is applied to, it always applies here as in the following . This calculation rule makes it possible to bring all products to the standard shape (by sliding the elements through from to the right) . In our case of an inner product, this corresponds to the calculation rule
 ,
that is, operates on by conjugation, is the automorphism of the normal subdivision defined by this conjugation . In the sense of these considerations, the complex product (here an inner semidirect product) is isomorphic to the outer semidirect product .
Every direct product is also a special semidirect product, as described here is the (inner) direct product of and , if and only if one of the following, pairwise equivalent, conditions applies:
 (also is a normal part of the product).
 (Elements of the two factor groups can be interchanged in products without changing the value of the product).
 (Conjugation with elements from leaves pointwise fixed).
See also
 Series (group theory) , certain chains of normal dividers
 Solvable groups and nilpotent groups , groups with special series
 Fully invariant subgroup characteristic subgroup normal subgroup subnormal subgroup subgroup
literature
 Thomas W. Hungerford: Algebra. Chapter 5: Normality, Quotient Groups, and Homomorphisms. SpringerVerlag, 1989, ISBN 0387905189 .
 OA Ivanova: Normal subgroup . In: Michiel Hazewinkel (Ed.): Encyclopaedia of Mathematics . SpringerVerlag , Berlin 2002, ISBN 9781556080104 (English, online ).
Web links
 Normal divider on Mathepedia
 Eric W. Weisstein : Normal Subgroup . In: MathWorld (English).
 Robert Ash: Group Fundamentals. (PDF; 465 kB). In: Abstract Algebra. The Basic Graduate Year (English).