Normal Series
Most of the notions developed in group theory are designed to tackle non-abelian groups. There are several notions designed to measure how far a group is from being abelian. The commutator subgroup (or derived group) is the subgroup generated by commutators, whereas the center is the subgroup of elements that commute with every other group element.
Given a group G and a normal subgroup N of G, denoted N ⊲ G, there is an exact sequence:
- 1 → N → G → H → 1,
where 1 denotes the trivial group and H is the quotient G/N. This permits the decomposition of G into two smaller pieces. The other way round, given two groups N and H, a group G fitting into an exact sequence as above is called an extension of H by N. Given H and N there are many different group extensions G, which leads to the extension problem. There is always at least one extension, called the trivial extension, namely the direct sum 'G = N ⊕ H, but usually there are more. For example, the Klein four-group is a non-trivial extension of Z2 by Z2. This is a first glimpse of homological algebra and Ext functors.
Many properties for groups, for example being a finite group or a p-group (i.e. the order of every element is a power of p) are stable under extensions and sub- and quotient groups, i.e. if N and H have the property, then so does G and vice versa. This kind of information is therefore preserved while breaking it into pieces by means of exact sequences. If this process has come to an end, i.e. if a group G does not have any (non-trivial) normal subgroups, G is called simple. The name is misleading because a simple group can in fact be very complex. An example is the monster group, whose order is about 1054. The finite simple groups are known and classified.
Repeatedly taking normal subgroups (if they exist) leads to normal series:
- 1 = G0 ⊲ G1 ⊲ ... ⊲ Gn = G,
i.e. any Gi is a normal subgroup of the next one Gi+1. A group is solvable (or soluble) if it has a normal series all of whose quotients are abelian. Imposing further commutativity constraints on the quotients Gi+1 / Gi, one obtains central series which lead to nilpotent groups. They are an approximation of abelian groups in the sense that
, g3] ..., gn]=1
for all choices of group elements gi.
There may be distinct normal series for a group G. If it is impossible to refine a given series by inserting further normal subgroups, it is called composition series. By the Jordan–Hölder theorem any two composition series of a given group are equivalent.
Read more about this topic: Glossary Of Group Theory
Famous quotes containing the words normal and/or series:
“The normal present connects the past and the future through limitation. Contiguity results, crystallization by means of solidification. There also exists, however, a spiritual present that identifies past and future through dissolution, and this mixture is the element, the atmosphere of the poet.”
—Novalis [Friedrich Von Hardenberg] (17721801)
“The professional celebrity, male and female, is the crowning result of the star system of a society that makes a fetish of competition. In America, this system is carried to the point where a man who can knock a small white ball into a series of holes in the ground with more efficiency than anyone else thereby gains social access to the President of the United States.”
—C. Wright Mills (19161962)