En mathématiques, et plus particulièrement en théorie des groupes, on appelle p-groupe de Prüfer, ou encore groupe p-quasi-cyclique, pour un nombre premier p donné, tout groupe isomorphe au groupe multiplicatif C p ∞ = { exp ⁡ ∣ n ∈ Z, m ∈ N } {\displaystyle \mathbf {C} _{p^{\infty }}=\{\exp\mid n\in \mathbf {Z},m\in \mathbf {N} \}} formé par les racines complexes de l'unité dont les ordres sont des puissances de p. Wikipedia