Думаю, для того, чтобы всё было понятно здесь (или стало понятнее), следует просто ответить на вопрос (прошу math2 указать) - в чём разница между теоремами Т1 и Т2?
Предполагается, что все рассматриваемые подстановки принадлежат симметрической группе $\mathfrak{S}_n$, которая действует на множестве $\{1,\ ...,\ n\}$.
Теорема 2.Если два цикла не содержат общих элементов, то они перестановочны.
36on.ru пишет 8 февраля 2016 года (спасибо Анне Вотиновой и всей редакции!):
Воронежская студентка едва не оказалась на улице из-за курения в общежитии
Скандал разгорелся в одном из уважаемых вузов Воронежа в середине января.
В пятницу, 5 февраля, студентка одного из воронежских вузов чудом избежала незаконного выселения на улицу. Поводом для скандала, разгоревшегося в учебном заведении, стало то, что девушку и ее друзей увидели курящими в коридоре общежития.
Если у нас есть группа подстановок, как в теореме, важна ли нам длина подстановки?
Насколько я понимаю, в рамках той теоремы это не важно.
Что если она бесконечная? Ведь и тогда можно рассуждать о двух взятых из неё циклах точно так же?