ProCGroups.Topologies.FullSubgroupTopology

2 sections | 2 files | 20 declarations

Wrapper for the ProCGroups.Topologies.FullSubgroupTopology folder.

QuotientFormation

1 files | 18 declarations | 13 Theorem | 4 Definition | 1 Structure

A quotient formation records which quotient subgroups belong to the chosen class and the closure properties needed for the pro-\(C\) topology.

1 files | 2 declarations | 1 Theorem | 1 Structure

A quotient variety is a quotient formation with the closure properties needed for varieties.