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.
Last revised on August 16, 2017 at 13:25:39. See the history of this page for a list of all contributions to it.