The classification of p -compact groups from Andersen & Grodal (2009) states that there is a 1-1 correspondence between connected p -compact groups, up to homotopy equivalence, and root data over the p -adic integers, up to isomorphism. This is analogous to the classical classification of connected compact Lie groups, with the p -adic integers replacing the rational integers.