Es sei G eine Gruppe und X die Menge aller Untergruppen voe...

Es sei $G$ eine Gruppe und $X$ die Menge aller Untergruppen voe $G$. Man zeige: (i) $G \times X \longrightarrow X,(g, H) \longleftrightarrow g H g^{-1}$, definiert eine Aktion von $G$ auf $X$. (ii) Die Buhn eines Elementes $H \in X$ besteht grnau dann nur aus $H$, wenn $H$ ein Normalteiler in $C$ ist. (iii) Ist die Ordnung von $G$ Potenz einer Primzahl $p$, so unterscheides sich die Anzahl der Untergruppen in $G$ von der Anzahl der Normalteiler in $G$ um ein Vielfaches von $p$.

Es sei $G$ eine Gruppe und $X$ die Menge aller Untergruppen voe $G$. Man zeige:
(i) $G \times X \longrightarrow X,(g, H) \longleftrightarrow g H g^{-1}$, definiert eine Aktion von $G$ auf $X$.
(ii) Die Buhn eines Elementes $H \in X$ besteht grnau dann nur aus $H$, wenn $H$ ein Normalteiler in $C$ ist.
(iii) Ist die Ordnung von $G$ Potenz einer Primzahl $p$, so unterscheides sich die Anzahl der Untergruppen in $G$ von der Anzahl der Normalteiler in $G$ um ein Vielfaches von $p$.

Key Concepts

Group Action

A group action is a mapping that describes how the elements of a group correspond to transformations of a set. It formalizes the intuitive idea of symmetry by requiring that the identity of the group acts as the identity transformation and that the group operation is compatible with the action on the set. This concept is fundamental in understanding orbits, stabilizers, and the overall structure of how groups interact with different mathematical objects.

Conjugation Action

Conjugation is a specific example of a group action where each element of a group 'acts' on a subgroup by mapping it to its conjugate, expressed as gHg?¹. This action not only showcases the intrinsic symmetries within the group but also is crucial in understanding the classifications of subgroups, particularly through the concept of normal subgroups.

Orbit

In the context of group actions, the orbit of an element is the collection of all images of that element under the action by every group element. When considering the conjugation action on subgroups, the orbit of a subgroup consists of all its conjugates, and the structure of these orbits reveals significant symmetry properties and invariance within the group.

Normal Subgroup

A subgroup is termed normal if it is invariant under conjugation by any element of the group, meaning that gHg?¹ = H for all g in the group. This invariance implies that the orbit of a normal subgroup under the conjugation action is a singleton. Normal subgroups play a central role in group theory as they serve as kernels of group homomorphisms and are essential in forming quotient groups.

p-Group

A p-group is a group whose order (the number of its elements) is a power of a prime number p. The special properties of p-groups, such as the presence of nontrivial centers and specific counting arguments in subgroup structures, often lead to congruence relations and combinatorial properties that are pivotal in many areas of group theory.

Transcript

Please give Ace some feedback