В чём заключается сложность теории групп и монстров Тарского?

Сложности теории групп и монстров Тарского заключаются в следующих аспектах:

• Теория групп включает разные взгляды на понятие группы. 300.ya.ru Например, комбинаторная теория групп изучает группы, заданные порождающими соотношениями. 300.ya.ru
• Монстры Тарского позволяют строить аномальные группы с экзотическими свойствами. 300.ya.ru Они являются источником контрпримеров в теории групп, например к задаче Бернсайда и гипотезе фон Неймана. ru.wikipedia.org ru.ruwiki.ru
• Доказательство существования монстров Тарского было сложным, его выполнил Ольшанский в 1979 году. ru.wikipedia.org ru.ruwiki.ru
• Вычисление гомотопических групп также считается сложной задачей, например, задача склеивания высших экспонентов остаётся открытой. 300.ya.ru