Quasisimple group
This article needs additional citations for verification. (October 2009) |
In
such that , where denotes the center of E and [ , ] denotes the commutator.[1]
Equivalently, a group is quasisimple if it is equal to its commutator subgroup and its inner automorphism group Inn(G) (its quotient by its center) is simple (and it follows Inn(G) must be non-abelian simple, as inner automorphism groups are never non-trivial cyclic). All non-abelian simple groups are quasisimple.
The
The subgroup generated by the subnormal quasisimple subgroups is called the layer, and along with the minimal normal soluble subgroups generates a subgroup called the
The quasisimple groups are often studied alongside the simple groups and groups related to their automorphism groups, the almost simple groups. The representation theory of the quasisimple groups is nearly identical to the projective representation theory of the simple groups.
Examples
The covering groups of the alternating groups are quasisimple but not simple, for
See also
- Almost simple group
- Schur multiplier
- Semisimple group
References
- Aschbacher, Michael (2000). Finite Group Theory. Zbl 0997.20001.
External links
Notes
- I. Martin Isaacs, Finite group theory (2008), p. 272.