ProCGroups.ProC.MaximalQuotients

3 sections | 3 files | 17 declarations

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

Definitions

1 files | 1 declarations | 1 Structure

Maximal pro-\(C\) quotient groups via their universal property.

1 files | 5 declarations | 1 Theorem | 1 Definition | 3 Structure

Bundled closed normal kernels whose quotient is pro-\(C\).

1 files | 11 declarations | 10 Theorem | 1 Definition

Any normal subgroup with pro-\(C\) quotient contains the residual core.