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

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

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

Визначення

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

Властивості

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

Див. також

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

Посилання

• А. Ю. Ольшанский. Бесконечная группа с~подгруппами простых порядков // Изв. АН СССР. Сер. матем.. — 1980. — Т. 44, № 2. — С. 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.
• Ol'shanskiĭ, A. Yu. (1991), Geometry of defining relations in groups, Mathematics and its Applications (Soviet Series), т. 70, Dordrecht: Kluwer Academic Publishers Group, ISBN 978-0-7923-1394-6