Монстр Тарського

Монстр Та́рського — нескінченна група, кожна нетривіальна підгрупа якої є циклічною групою фіксованого простого порядку. Названа на честь Альфреда Тарського.

Існування монстрів Тарського довів 1979 року Шаблон:Нп. Вони є джерелом контрприкладів у теорії груп, наприклад до задачі Бернсайда та гіпотези фон Неймана.

Визначення

Нехай $p$ — фіксоване просте число. Нескінченна група $G$ називається монстром Тарського для $p$ якщо всі власні підгрупи (тобто всі підгрупи, крім тривіальної $\{1\}$ і $G$) мають $p$ елементів.

Властивості

• Монстр Тарського скінченно породжений.
  • Більш того, він породжується будь-якими двома некомутувальними елементами.
• Монстр Тарського простий.
• За побудовою Ольшанського існує континуум неізоморфних монстрів Тарського для кожного простого числа $p>10^{75}$.

Див. також

• Монстр (група)

Посилання

• Шаблон:Стаття
• 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.
• Шаблон:Citation