ProCGroups.FiniteStepSolvableQuotients.AbelianActions

2 sections | 2 files | 60 declarations

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

Faithful

1 files | 15 declarations | 12 Theorem | 3 Definition

An action has no nontrivial fixed points if every globally fixed element is trivial.

1 files | 45 declarations | 36 Theorem | 9 Definition

A group is torsion-free when every element of finite order is trivial.