nLab
simple group

Contents

Definition

Standard definition

A simple group is a group GG with exactly two quotient groups: the trivial quotient group {1}G/G\{1\} \cong G/G and the group GG/{1}G \cong G/\{1\} itself.

Equivalently, a simple group is a group possessing exactly two normal subgroups: the trivial subgroup {1}\{1\} and the group GG itself. One can also say that a normal subgroup is trivial iff it is not GG (compare the definition in constructive mathematics below).

Note that the trivial group does not itself count as simple, on the grounds that it has only one quotient group (or only one normal subgroup). It may be possible to find authors that use “at most” in place of “exactly”, thereby allowing the trivial group to be simple. (Compare too simple to be simple.)

In constructive algebra

In constructive mathematics, we consider a group GG equipped with a tight apartness \ne such that the group operations are strongly extensional. Then GG is simple if, given any normal antisubgroup AA of GG, AA owns every nonidentity element (every xx such that x1x \ne 1) iff AA is inhabited. In other words, AA is the \ne-complement of the identity subgroup {1}\{1\} iff AA is apart from the \ne-complement \emptyset of the improper subgroup GG in the sense that the symmetric difference of AA and \emptyset is inhabited. (Replacing ‘iff’ with ‘if’ here would allow the trival group to be simple.)

Examples

Finite simple groups

Simple groups are most commonly encountered in the theory of finite groups. Every finite group GG admits a composition series?, i.e., a finite filtration of subgroups

1=G 0G 1G n=G1 = G_0 \subseteq G_1 \subseteq \ldots \subseteq G_n = G

where each inclusion G iG i+1G_i \subseteq G_{i+1} is a normal subgroup and the quotient G i+1/G iG_{i+1}/G_i (called a composition factor) is simple. The condition of simplicity means that that the filtration cannot be further refined by addition of strict inclusions of normal subgroups. Furthermore, the Jordan-Hölder theorem? ensures that any two composition series have the same length and the same composition factors (up to permutation).

Thus finite simple groups are in some sense the primitive building blocks of finite groups generally. The massive program of classifying all finite simple groups was announced as completed by Daniel Gorenstein in 1983, although some doubts remained because there were some gaps in proofs. Most if not all the gaps are considered by experts in the area to have been filled, but there remain some notable skeptics, including for example Jean-Pierre Serre and John H. Conway (verification needed here). See classification of finite simple groups.

Infinite simple groups

There are simple groups of any cardinality κ\kappa; take for example the smallest normal subgroup of the automorphism group Aut(κ)Aut(\kappa) containing all 3-cycles (this is the infinite version of the alternating group?).

Revised on November 23, 2011 17:19:32 by Urs Schreiber (131.174.40.49)