Tarski-monstergrupp

Inom matematiken är en Tarski-monstergrupp, uppkallad efter Alfred Tarski, en oändlig grupp G så att varje äkta delgrupp H av G, annan än identitetgruppen, är en cyklisk grupp av ordning p där p är ett fixerat primtal p. A. Yu. Olshanskii bevisade 1979 att Tarski-monstergrupper existerar, och att det finns en Tarski p-grupp för varje primtal p > 10⁷⁵. Tarskigrupper kan användas som motexempel i många problem inom gruppteori, exempelvis i Burnsides problem och von Neumanns förmodan.

Definition

Låt $p$ vara ett fixerat primtal. En oändlig grupp $G$ säges vara en Tarski–monstergrupp för $p$ om varje icke trivial delgrupp (det vill säga annan delgrupp än 1 och G) har $p$ element.

Egenskaper

• $G$ är ändligt genererad. Den är genererad av två godtyckliga icke-kommuterande element.
• $G$ är enkel. Om $N⊴G$ och $U\le G$ är en godtycklig delgrupp skild från $N$ skulle delgruppen $NU$ ha $p^2$ element.
• Konstruktionen av Ol'shanskii visar att det finns kontinuum-mångaMall:Förtydliga icke-isomorfiska Tarski–monstergrupper för varje primtal $p>10^{75}$.

Källor

• Mall:Enwp
• A. Yu. Olshanskii, An infinite group with subgroups of prime orders, Math. USSR Izv. 16 (1981), 279–289; translation of Izvestia Akad. Nauk SSSR Ser. Matem. 44 (1980), 309–321.
• A. Yu. Olshanskii, Groups of bounded period with subgroups of prime order, Algebra and Logic 21 (1983), 369–418; translation of Algebra i Logika 21 (1982), 553–618.
• Mall:Citation