A p - compact group is a pointed space BG, which is local with respect to mod p homology, and such the pointed loop space G = ΩBG has finite mod p homology. One sometimes also refer to the p -compact group by G, but then one needs to keep in mind that the loop space structure is part of the data (which then allows one to recover BG).