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

Матеріал з Вікіпедії — вільної енциклопедії.
Перейти до навігації Перейти до пошуку
Група (математика)
Теорія груп
Див. також: Портал:Фізика

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

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

Визначення[ред. | ред. код]

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

Властивості[ред. | ред. код]

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

Див. також[ред. | ред. код]

Посилання[ред. | ред. код]

  • А. Ю. Ольшанский. Бесконечная группа с~подгруппами простых порядков // Изв. АН СССР. Сер. матем.. — 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