finite ∞-group

A **finite ∞-group** is an ∞-group with finitely many non-trivial homotopy groups which are all finite. It is therefore a pointed connected truncated homotopy type with finite homotopy groups.

- Matan Prasma, Tomer Schlank,
*Sylow theorems for ∞-groups*, (arXiv:1602.04494)

Last revised on August 16, 2017 at 09:25:39. See the history of this page for a list of all contributions to it.