Math 2.0

Group theory and generalizations Definition

Supersolvable group

Builds on Normal subgroupQuotient groupCyclic group

Definition

Let GG be a group. The group GG is supersolvable when it has a chain of subgroups {e}=G0≤G1≤⋯≤Gn=G\{e\} = G_0 \le G_1 \le \cdots \le G_n = G with this property. Each GiG_i is a normal subgroup of GG and each quotient group Gi/Gi−1G_i/G_{i-1} is cyclic.

Remarks

Example: S3S_3 is supersolvable with the series {e}≤A3≤S3\{e\} \le A_3 \le S_3. Here A3A_3 and S3S_3 are normal in S3S_3, A3≅ℤ/3ℤA_3 \cong \Z/3\Z and S3/A3≅ℤ/2ℤS_3/A_3 \cong \Z/2\Z. Non-example: A4A_4 is not supersolvable. Its only normal subgroups are {e}\{e\}, the Klein four-group VV and A4A_4. So the first term of such a series that differs from {e}\{e\} is VV or A4A_4, and the factor at that step is VV or A4A_4, which is not cyclic. Every finitely generated nilpotent group is supersolvable, and every supersolvable group is polycyclic, hence solvable. Some authors write supersoluble.

Reading path

To understand this page from the ground up, read these 4 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Cyclic group concept
  2. Normal subgroup concept
  3. Quotient group concept
  4. Supersolvable group definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Supersolvable_group
About this page
Tag7TP5M906HB
URIm2://7TP5M906HB
Kinddefinition
WritingW0 stub
MSC20F16, 20D10
DefinesSupersolvable group
UsesNormal subgroup, Quotient group, Cyclic group
Changed2 November 2026

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.