Simple group

From Example Problems
Jump to navigation Jump to search

In mathematics, a simple group is a group which is not the trivial group and whose only normal subgroups are the trivial group and the group itself.

Despite the name, simple groups are far from "simple". The finite simple groups are important because in a certain sense they are the "basic building blocks" of all finite groups, somewhat similar to the way prime numbers are the basic building blocks of the integers. This is expressed by the Jordan-Hölder theorem. In a huge collaborative effort, the classification of finite simple groups was accomplished in 1982.

The only abelian simple groups are the cyclic groups of prime order. For these groups the term "simple" is appropriate. The smallest nonabelian simple group is the alternating group A5 of order 60, and every simple group of order 60 is isomorphic to A5. The second smallest nonabelian simple group is the projective special linear group PSL(2,7) of order 168, and it's possible to prove that every simple group of order 168 is isomorphic to PSL(2,7).

The famous theorem of Feit and Thompson states that every group of odd order is solvable. Therefore every finite simple group has even order unless it is cyclic of prime order.

Simple groups of infinite order also exist: simple Lie groups and the infinite Thompson groups T and V are examples of these.

See also

Template:Algebra-stub

ko:단순군 he:חבורה פשוטה