Simple non-abelian group: Difference between revisions
m (Simple non-Abelian group moved to Simple non-abelian group) |
|||
| Line 29: | Line 29: | ||
===Stronger properties=== | ===Stronger properties=== | ||
{| class="sortable" border="1" | |||
! Property !! Meaning !! Proof of implication !! Proof of strictness (reverse implication failure) !! Intermediate notions | |||
|- | |||
| [[Weaker than::infinite simple group]] || infinite and a [[simple group]] || the only simple abelian groups are the [[group of prime order|groups of prime order]], which are all finite. || there are finite simple non-abelian groups || | |||
|- | |||
| [[Weaker than::finite simple non-abelian group]] || finite, simple, and non-abelian || direct || there are infinite simple groups, which are hence non-abelian. || | |||
|} | |||
===Weaker properties=== | ===Weaker properties=== | ||
{| class="sortable" border="1" | |||
! Property !! Meaning !! Proof of implication !! Proof of strictness (reverse implication failure) !! Intermediate notions | |||
|- | |||
| [[Stronger than::perfect group]] || equals its own [[derived subgroup]] || [[simple and non-abelian implies perfect]] || [[SL(2,5)]] is an example of a perfect group that is not simple. || {{intermediate notions short|perfect group|simple non-abelian group}} | |||
|- | |||
| [[Stronger than::centerless group]] || its [[center]] is a [[trivial group]] || [[simple and non-abelian implies centerless]] || [[symmetric group:S3]] is a centerless group that is not simple. || {{intermediate notions short|centerless group|simple non-abelian group}} | |||
|- | |||
| [[Stronger than::quasisimple group]] || [[perfect group]] whose [[inner automorphism group]] is simple non-abelian. || [[simple and non-abelian implies quasisimple]] || [[SL(2,5)]], and more generally, any [[universal central extension]] of a simple non-abelian group that is not Schur-trivial, gives an example. || {{intermediate notions short|quasisimple group|simple non-abelian group}} | |||
|- | |||
| [[Stronger than::semisimple group]] || [[central product]] of quasisimple groups. || (via quasisimple) || (via quasisimple) || {{intermediate notions short|semisimple group|simple non-abelian group}} | |||
|- | |||
| [[Stronger than::almost simple group]] || can be embedded between a simple non-abelian group and its automorphism group || (by definition) || [[symmetric group:S5]] is an almost simple group that is not simple. More generally, the automorphism group of any simple non-abelian group that is not [[complete group|complete]]. || {{intermediate notions short|almost simple group|simple non-abelian group}} | |||
|- | |||
| [[Stronger than::capable group]] || can be expressed as the [[inner automorphism group]] of some group. || (via centerless) || (via centerless) || {{intermediate notions short|capable group|simple non-abelian group}} | |||
|} | |||
Revision as of 18:46, 12 January 2013
This page describes a group property obtained as a conjunction (AND) of two (or more) more fundamental group properties: simple group and non-Abelian group
View other group property conjunctions OR view all group properties
This article is about a standard (though not very rudimentary) definition in group theory. The article text may, however, contain more than just the basic definition
VIEW: Definitions built on this | Facts about this: (facts closely related to Simple non-abelian group, all facts related to Simple non-abelian group) |Survey articles about this | Survey articles about definitions built on this
VIEW RELATED: Analogues of this | Variations of this | Opposites of this |
View a complete list of semi-basic definitions on this wiki
This is a variation of simplicity|Find other variations of simplicity | Read a survey article on varying simplicity
This article is about a term related to the Classification of finite simple groups
Definition
Symbol-free definition
A group is said to be a simple non-Abelian group if:
- It is simple viz it has no proper nontrivial subgroups
- It is not Abelian viz it is not true that any two elements in the group commute.
Facts
Every subgroup-defining function gives trivial group or whole group
Since any subgroup-defining function (such as the center, the commutator subgroup, the Frattini subgroup, the Fitting subgroup etc.) returns a characteristic subgroup of the whole group, and since every characteristic subgroup is normal, any subgroup obtained via a subgroup-defining function must be either trivial or the whole group. This, combined with the fact that the group is non-Abelian, tells us the following:
- The center must be trivial -- in other words, the group is centerless
- The commutator subgroup must be the whole group -- in other words, the group is perfect
Relation with other properties
Stronger properties
| Property | Meaning | Proof of implication | Proof of strictness (reverse implication failure) | Intermediate notions |
|---|---|---|---|---|
| infinite simple group | infinite and a simple group | the only simple abelian groups are the groups of prime order, which are all finite. | there are finite simple non-abelian groups | |
| finite simple non-abelian group | finite, simple, and non-abelian | direct | there are infinite simple groups, which are hence non-abelian. |
Weaker properties
| Property | Meaning | Proof of implication | Proof of strictness (reverse implication failure) | Intermediate notions |
|---|---|---|---|---|
| perfect group | equals its own derived subgroup | simple and non-abelian implies perfect | SL(2,5) is an example of a perfect group that is not simple. | |FULL LIST, MORE INFO |
| centerless group | its center is a trivial group | simple and non-abelian implies centerless | symmetric group:S3 is a centerless group that is not simple. | |FULL LIST, MORE INFO |
| quasisimple group | perfect group whose inner automorphism group is simple non-abelian. | simple and non-abelian implies quasisimple | SL(2,5), and more generally, any universal central extension of a simple non-abelian group that is not Schur-trivial, gives an example. | |FULL LIST, MORE INFO |
| semisimple group | central product of quasisimple groups. | (via quasisimple) | (via quasisimple) | |FULL LIST, MORE INFO |
| almost simple group | can be embedded between a simple non-abelian group and its automorphism group | (by definition) | symmetric group:S5 is an almost simple group that is not simple. More generally, the automorphism group of any simple non-abelian group that is not complete. | |FULL LIST, MORE INFO |
| capable group | can be expressed as the inner automorphism group of some group. | (via centerless) | (via centerless) | |FULL LIST, MORE INFO |