Namespaces
Variants
Actions

Difference between revisions of "Simple group"

From Encyclopedia of Mathematics
Jump to: navigation, search
m (MR/ZBL numbers added)
(TeX)
Line 1: Line 1:
A group without normal subgroups different from the unit subgroup and the entire group (cf. [[Normal subgroup|Normal subgroup]]). The description of all finite simple groups is a central problem in the theory of finite groups (cf. [[Simple finite group|Simple finite group]]). In the theory of infinite groups the significance of simple groups is substantially less, as they are difficult to visualize. The group of all even permutations fixing all but a finite number of elements of a set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085220/s0852201.png" /> is simple if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085220/s0852202.png" /> has cardinality at least 5. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085220/s0852203.png" /> is infinite, this group is infinite too. There exist finitely-generated, and even finitely-presented, infinite simple groups. Every group can be imbedded in a simple group. The definition of a simple group given here differs somewhat from that given in the theory of Lie groups and algebraic groups (cf. [[Lie group, semi-simple|Lie group, semi-simple]]).
+
{{TEX|done}}
 +
A group without normal subgroups different from the unit subgroup and the entire group (cf. [[Normal subgroup|Normal subgroup]]). The description of all finite simple groups is a central problem in the theory of finite groups (cf. [[Simple finite group|Simple finite group]]). In the theory of infinite groups the significance of simple groups is substantially less, as they are difficult to visualize. The group of all even permutations fixing all but a finite number of elements of a set $M$ is simple if $M$ has cardinality at least 5. If $M$ is infinite, this group is infinite too. There exist finitely-generated, and even finitely-presented, infinite simple groups. Every group can be imbedded in a simple group. The definition of a simple group given here differs somewhat from that given in the theory of Lie groups and algebraic groups (cf. [[Lie group, semi-simple|Lie group, semi-simple]]).
  
  
  
 
====Comments====
 
====Comments====
In the theory of infinite groups two notions stronger than simplicity are used, viz. those of an absolutely simple group and a strictly simple group. One has the implications: absolutely simple <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085220/s0852204.png" /> strictly simple <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085220/s0852205.png" /> simple. There are examples of simple groups that are not absolutely simple and of simple groups that are not strictly simple.
+
In the theory of infinite groups two notions stronger than simplicity are used, viz. those of an absolutely simple group and a strictly simple group. One has the implications: absolutely simple $\Rightarrow$ strictly simple $\Rightarrow$ simple. There are examples of simple groups that are not absolutely simple and of simple groups that are not strictly simple.
  
 
A group is strictly simple if it has no non-trivial ascendent subgroup; it is absolutely simple if it has no non-trivial [[Serial subgroup|serial subgroup]]. Cf. [[#References|[a6]]] for more details.
 
A group is strictly simple if it has no non-trivial ascendent subgroup; it is absolutely simple if it has no non-trivial [[Serial subgroup|serial subgroup]]. Cf. [[#References|[a6]]] for more details.
  
An algebraic group over an algebraically closed field is simple if it has no closed non-trivial normal subgroup. It is quasi-simple, or almost simple, if it has no non-trivial infinite normal subgroup. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085220/s0852206.png" /> is almost simple, then the abstract group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085220/s0852207.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085220/s0852208.png" /> is the centre, is simple as an abstract group.
+
An algebraic group over an algebraically closed field is simple if it has no closed non-trivial normal subgroup. It is quasi-simple, or almost simple, if it has no non-trivial infinite normal subgroup. If $G$ is almost simple, then the abstract group $G/Z(G)$, where $Z(G)$ is the centre, is simple as an abstract group.
  
 
A Lie group is simple if it has no non-trivial Lie subgroup. For a connected Lie group this is the same as simplicity of its Lie algebra.
 
A Lie group is simple if it has no non-trivial Lie subgroup. For a connected Lie group this is the same as simplicity of its Lie algebra.

Revision as of 10:10, 27 August 2014

A group without normal subgroups different from the unit subgroup and the entire group (cf. Normal subgroup). The description of all finite simple groups is a central problem in the theory of finite groups (cf. Simple finite group). In the theory of infinite groups the significance of simple groups is substantially less, as they are difficult to visualize. The group of all even permutations fixing all but a finite number of elements of a set $M$ is simple if $M$ has cardinality at least 5. If $M$ is infinite, this group is infinite too. There exist finitely-generated, and even finitely-presented, infinite simple groups. Every group can be imbedded in a simple group. The definition of a simple group given here differs somewhat from that given in the theory of Lie groups and algebraic groups (cf. Lie group, semi-simple).


Comments

In the theory of infinite groups two notions stronger than simplicity are used, viz. those of an absolutely simple group and a strictly simple group. One has the implications: absolutely simple $\Rightarrow$ strictly simple $\Rightarrow$ simple. There are examples of simple groups that are not absolutely simple and of simple groups that are not strictly simple.

A group is strictly simple if it has no non-trivial ascendent subgroup; it is absolutely simple if it has no non-trivial serial subgroup. Cf. [a6] for more details.

An algebraic group over an algebraically closed field is simple if it has no closed non-trivial normal subgroup. It is quasi-simple, or almost simple, if it has no non-trivial infinite normal subgroup. If $G$ is almost simple, then the abstract group $G/Z(G)$, where $Z(G)$ is the centre, is simple as an abstract group.

A Lie group is simple if it has no non-trivial Lie subgroup. For a connected Lie group this is the same as simplicity of its Lie algebra.

A topological group is called simple if it has no proper closed normal subgroup.

Both for algebraic groups and topological groups one also finds in the literature the definition that such a group is simple if it has no non-trivial closed connected normal subgroup.

References

[a1] J.E. Humphreys, "Linear algebraic groups" , Springer (1975) pp. Sect. 35.1 MR0396773 Zbl 0325.20039
[a2] L.S. Pontryagin, "Topological groups" , Princeton Univ. Press (1939) (Translated from Russian) MR0201557 Zbl 0022.17104
[a3] G.W. Mackey, "Unitary group representations" , Benjamin/Cummings (1978) MR0515581 Zbl 0401.22001
[a4] H. Freudenthal, H. de Vries, "Linear Lie groups" , Acad. Press (1969) MR0260926 Zbl 0377.22001
[a5] M. Weinstein, "Examples of groups" , Polygonal (1977) pp. Examples 6.14; 6.15 MR0453847 Zbl 0359.20001
[a6] D.J.S. Robinson, "Finiteness condition and generalized soluble groups" , 1 , Springer (1972) pp. Chapt. 1 MR0332990 MR0332989
How to Cite This Entry:
Simple group. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Simple_group&oldid=21936
This article was adapted from an original article by A.L. Shmel'kin (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article