P-compact group
In mathematics, in particular algebraic topology, a p-compact group is a homotopical version of a compact Lie group, but with all the local structure concentrated at a single prime p. This concept was introduced in Dwyer & Wilkerson (1994), making precise earlier notions of a mod p finite loop space.