Supersolvable group

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 Supersolvable group, all facts related to Supersolvable 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 defines a group property that is pivotal (i.e., important) among existing group properties
View a list of pivotal group properties | View a complete list of group properties [SHOW MORE]

VIEW RELATED: Group property implications | Group property non-implications | Group metaproperty satisfactions | Group metaproperty dissatisfactions | Group property satisfactions |Group property dissatisfactions<random> @@@
RANDOM GROUP PROPERTY: <random>Simple group: A nontrivial group having no proper nontrivial normal subgroup.@@@Noetherian group: A group where every subgroup is finitely generated.@@@Complete group: A group for which the natural homomorphism to its automorphism group is an isomorphism, i.e., a centerless group for which every automorphism is inner.@@@SQ-universal group: A group for which every finitely generated group can be realized as a subquotient.@@@T-group: A group where any subnormal subgroup is normal, i.e., where normality is transitive. In general, normality is not transitive.@@@Locally finite group: A group in which every finitely generated subgroup is finite.@@@Group satisfying normalizer condition: A group with no proper self-normalizing subgroup.</random></random>

This is a variation of solvability|Find other variations of solvability |

The version of this for finite groups is at: finite supersolvable group

Definition

Symbol-free definition

A group is said to be supersolvable if it has a normal series (wherein all the members are normal in the whole group) of finite length, starting from the trivial group and ending at the whole group, such that all the successive quotients are cyclic.

Definition with symbols

A group $G$ is said to be supersolvable if there exists a normal series:

$1=H_{0}\leq H_{1}\leq H_{2}\leq \ldots \leq H_{n}=G$

where each $H_{i}\triangleleft G$ and further, each $H_{i+1}/H_{i}$ is cyclic.

Relation with other properties

Stronger properties

Property	Meaning	Proof of implication	Proof of strictness (reverse implication failure)	Intermediate notions
Finite abelian group				|FULL LIST, MORE INFO
Finitely generated abelian group				|FULL LIST, MORE INFO
Finite nilpotent group				|FULL LIST, MORE INFO
Finitely generated nilpotent group				|FULL LIST, MORE INFO
Finite supersolvable group				|FULL LIST, MORE INFO

Weaker properties

Property	Meaning	Proof of implication	Proof of strictness (reverse implication failure)	Intermediate notions
Polycyclic group	has a subnormal series with cyclic quotients			|FULL LIST, MORE INFO
Solvable group				|FULL LIST, MORE INFO
Finitely generated solvable group				|FULL LIST, MORE INFO
Group with nilpotent commutator subgroup: For full proof, refer: Supersolvable implies nilpotent commutator subgroup

Examples

VIEW: groups satisfying this property | groups dissatisfying this property
VIEW: Related group property satisfactions | Related group property dissatisfactions

Facts

For a complete list of facts about supersolvable groups:

Special:SearchByProperty/Fact-20about/Supersolvable-20group

Commutator subgroup is nilpotent

It turns out that for any supersolvable group, the commutator subgroup is nilpotent.

Normal abelian subgroup properly containing the center

In a supersolvable group, there is an abelian normal subgroup properly containing the center. This fact turns out to be crucially important for proving that every supersolvable group is a monomial-representation group.

Every representation is monomial

It turns out that every representation of a supersolvable group is monomial. In other words, every irreducible representation of a supersolvable group can be induced from a one-dimensional representation of some subgroup.

Metaproperties

Subgroups

This group property is subgroup-closed, viz., any subgroup of a group satisfying the property also satisfies the property
View a complete list of subgroup-closed group properties

Any subgroup of a supersolvable group is supersolvable. The normal series for the subgroup can be obtained simply by intersecting the normal series of the group, with the subgroup.

Quotients

This group property is quotient-closed, viz., any quotient of a group satisfying the property also has the property
View a complete list of quotient-closed group properties

Any quotient of a supersolvable group is supersolvable. The normal series for the quotient is obtained by taking the image of the normal series for the original group via the quotient map.

Any direct product of supersolvable groups is supersolvable. In fact, more generally, any central product of supersolvable groups is supersolvable.

Study of the notion

Mathematical subject classification

Under the Mathematical subject classification, the study of this notion comes under the class: 20F16

External links

Definition links

• Wikipedia page
• Planetmath page