ProCGroups.NormalSubgroups

4 sections | 7 files | 12 declarations

This module develops finite quotient, subgroup, free pro-\(C\), generation, and cardinal-invariant constructions for profinite and pro-\(C\) groups.

Framework

1 files | 3 declarations | 3 Definition

A group is noncommutative when its abstract commutator subgroup is nontrivial.

1 files | 1 declarations | 1 Theorem

A maximal normal subgroup gives a simple quotient.

1 files | 1 declarations | 1 Structure

Input data recording a closed normal closure that is free of the expected stabilized rank.

4 files | 7 declarations | 7 Theorem

Wrapper for the `ProCGroups.NormalSubgroups.SimpleQuotients` folder.