Simple non-abelian group
This page describes a group property obtained as a conjunction (AND) of two (or more) more fundamental group properties: {{{1}}}Property "Conjunction involving" (as page type) with input value "{{{1}}}" contains invalid characters or is incomplete and therefore can cause unexpected results during a query or annotation process. and {{{2}}}Property "Conjunction involving" (as page type) with input value "{{{2}}}" contains invalid characters or is incomplete and therefore can cause unexpected results during a query or annotation process.
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 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