Русская Википедия:Монстр Тарского

Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску

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

Существование монстров Тарского было доказано Ольшанским в 1979 году. Они являются источником контрпримеров  в теории групп, например к задаче Бернсайда и гипотезе фон Неймана.

Определение

Пусть <math>p</math> — фиксированное простое число. Бесконечная группа <math>G</math> называется монстром Тарского для <math>p</math>, если все собственные подгруппы (то есть все подгруппы, кроме тривиальной <math>\{1\}</math> и <math>G</math>) имеют по <math>p</math> элементов.

Свойства

  • Монстр Тарского конечно порождён.
    • Более того, он порождается любыми двумя некоммутирующими элементами.
  • Монстр Тарского — простая группа
  • По построению Ольшанского существует континуум неизоморфных монстров Тарского для каждого простого числа <math>p>10^{75}</math>.

См. также

Ссылки