Normaalsubgroepen

Normaalsubgroepen, also known as invariant subgroups, are a fundamental concept in group theory. A subgroup H of a group G is called a normaalsubgroep if for every element g in G and every element h in H, the element ghg⁻¹ is also in H. This condition can be expressed more succinctly as gH = Hg for all g in G, meaning the left coset of H by g is equal to the right coset of H by g.

The notion of a normaalsubgroep is crucial because it allows for the construction of quotient groups. If H is a normaalsubgroep of G, then the set of left (or right) cosets of H in G forms a group under the operation of coset multiplication. This quotient group, denoted G/H, plays a vital role in understanding the structure of G.

Every group G has at least two normaalsubgroepen: the trivial subgroup {e}, containing only the identity element, and the group G itself. Groups that have no other normaalsubgroepen besides these two are called simple groups. The classification of finite simple groups is a major achievement in mathematics.

Normaal subgroups are also linked to group homomorphisms. A subgroup H of G is a normaalsubgroep if and only if it is the kernel of some homomorphism from G to another group. This connection highlights their importance in mapping group structures.