Egy kváziciklikus p - csoport fix p prímszám esetén az egyetlen p - csoport , amelyben bármely elemből pontosan p -edik fokú gyök nyerhető ki . Általában Z ( p∞ ) -ként jelölik
A kváziciklusos p - csoportot Prufer p - csoportnak is nevezik , Heinz Prüfer német matematikus után .
Egy kváziciklusos p - csoport egy U(1) alcsoportként ábrázolható , amely p n fokú egységgyökökből áll , ahol n minden természetes számon áthalad:
Ezzel egyenértékűen egy kváziciklusos p -csoport a Q/Z részcsoportjaként tekinthető, amely olyan elemekből áll, amelyek sorrendje p hatványa :
A Prufer p -csoportot generátorok és relációk is megadhatják :
A kváziciklikus p - csoport az egyetlen végtelen p - csoport, amely lokálisan ciklikus (vagyis olyan, hogy elemeinek bármely véges részhalmaza ciklikus csoportot generál ). Könnyen belátható, hogy egy kváziciklusos csoport minden megfelelő alcsoportja ciklikus.
Egy kváziciklusos csoport osztható .
A lokálisan kompakt topológiai csoportok elméletében a diszkrét topológiával felszerelt kváziciklikus p -csoport Pontrjagin duálisa a p -adikus egészek kompakt csoportjával .
A kváziciklikus p - csoportok az összes lehetséges p prímhez az egyetlen végtelen csoportok, amelyek alcsoportjaik halmazát beágyazással lineárisan rendezik:
Ezen a zárványláncon a Prufer p -csoport véges alcsoportjainak közvetlen határaként jelenik meg.
-modulként a Prufer p -csoport artini , de nem noetheri (hasonlóan artini , de nem noetheri ). Mint ilyen, ez egy ellenpélda arra a lehetséges állításra, hogy bármely Artinian Noether-modul.