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 non-commutative groups . In his theory for solving algebraic equations, the so-called 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 .
- 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 so-called trivial normal divisors, namely the full group itself and the one-subgroup consisting only of the neutral element . All other normal factors are called non-trivial. There are groups that have no non-trivial normal divisors, these are called simple . Examples are the cyclic groups with a prime number or, as the smallest non-commutative example, the alternating group A 5 . See “ Finite Simple Group ” for more examples.
- In the symmetrical group S 3 , the three-element subgroup is a normal divisor. The three two-element subgroups are not normal divisors.
- The group of the inner automorphisms of a group is always a normal divisor in the full automorphism group .
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 two-element 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 two-element 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.
Normal divisors, group homomorphisms and factor groups
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.
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 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.
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 semi-direct 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) semi-direct 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 semi-direct 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).
- 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
- Thomas W. Hungerford: Algebra. Chapter 5: Normality, Quotient Groups, and Homomorphisms. Springer-Verlag, 1989, ISBN 0-387-90518-9 .
- OA Ivanova: Normal subgroup . In: Michiel Hazewinkel (Ed.): Encyclopaedia of Mathematics . Springer-Verlag , Berlin 2002, ISBN 978-1-55608-010-4 (English, online ).