P-compact group

A **P-compact group** (or **p-compact group**) is a type of topological group that plays a significant role in algebraic topology and group theory. These groups generalize the notion of compact groups, which are topological groups that are compact as topological spaces, but allow for more general structures.