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:
“Normality highly values its normal man. It educates children to lose themselves and to become absurd, and thus to be normal. Normal men have killed perhaps 100,000,000 of their fellow normal men in the last fifty years.”
—R.D. (Ronald David)
“I look on trade and every mechanical craft as education also. But let me discriminate what is precious herein. There is in each of these works an act of invention, an intellectual step, or short series of steps taken; that act or step is the spiritual act; all the rest is mere repetition of the same a thousand times.”
—Ralph Waldo Emerson (1803–1882)