PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: High Entry average rating: No information on entry rating
semisimple group (Definition)

In group theory the use of the phrase semi-simple group is used sparingly. Standard texts on group theory including [1,2] avoid the term altogether. Other texts provide precise definitions which are nevertheless not equivalent [3,4]. In general it is preferable to use other terms to describe the class of groups being considered as there is no uniform convention. However, below is a list of possible uses of for the phrase semi-simple group.

  1. A group is semi-simple if it has no non-trivial normal abelian subgroups [3, p. 89].
  2. A group $G$ is semi-simple if $G'=G$ and $G/Z(G)$ is a direct product of non-abelian simple groups [4, Def. 6.1].
  3. A product of simple groups may be called semi-simple. Depending on application, the simple groups may be further restricted to finite simple groups and may also exclude the abelian simple groups.
  4. A Lie group whose associated Lie algebra is a semi-simple Lie algebra may be called a semi-simple group and more specifically, a semi-simple Lie group.

Connections with algebra

The use of semi-simple in the study of algebras, representation theory, and modules is far more precise owing to the fact that the various possible definitions are generally equivalent.

For example. In a finite dimensional associative algebra $A$ , if $A$ it is a product of simple algebras then the Jacobson radical is trivial. In contrast, if $A$ has trivial Jacobson radical then it is a direct product of simple algebras. Thus $A$ may be called semi-simple if either: $A$ is a direct product of simple algebras or $A$ has trivial Jacobson radical.

The analogue fails for groups. For instance. If a group is defined as semi-simple by virtue of having no non-trivial normal abelian subgroups then $S_n$ is semi-simple for all $n>5$ . However, $S_n$ is not a product of simple groups.

Bibliography

1
Aschbacher, M. Finite group theory Cambridge studies in advanced mathematics 10, Cambridge University Press, Cambridge, (1986).
2
Gorenstein, D. Finite groups Chelsea Publishing Company, New York, (1980).
3
Robinson, D. J.S. A course in the theory of groups Ed. 2, GTM 80, Springer, New York, (1996).
4
Suzuki, M. Group Theory I,II, (English) Springer-verlag, Berlin (1982, 1986).




"semisimple group" is owned by Algeboy. [ full author list (2) | owner history (2) ]
(view preamble | get metadata)

View style:

See Also: socle

Also defines:  semi-simple group, semisimple group
Log in to rate this entry.
(view current ratings)

Cross-references: Jacobson radical, simple algebras, associative, finite dimensional, modules, representation, algebras, algebra, connections, semi-simple Lie algebra, Lie algebra, Lie group, finite, application, product, simple groups, non-Abelian, direct product, subgroups, abelian, normal, semi-simple, class, equivalent, definitions, term, theory, group
There are 3 references to this entry.

This is version 3 of semisimple group, born on 2002-12-17, modified 2007-09-25.
Object id is 3771, canonical name is SemisimpleGroup.
Accessed 4042 times total.

Classification:
AMS MSC20D05 (Group theory and generalizations :: Abstract finite groups :: Classification of simple and nonsolvable groups)

Pending Errata and Addenda
None.
[ View all 2 ]
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add derivation | add example | add (any)