Kváziciklusos csoport

Az oldal jelenlegi verzióját még nem ellenőrizték tapasztalt közreműködők, és jelentősen eltérhet a 2019. február 19-én felülvizsgált verziótól ; az ellenőrzések 3 szerkesztést igényelnek .

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 .

Tulajdonságok

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.

Linkek