Дискуссионный математический форумМатематический форум
Математический форум Math Help Planet

Обсуждение и решение задач по математике, физике, химии, экономике

Теоретический раздел
Часовой пояс: UTC + 3 часа [ Летнее время ]
новый онлайн-сервис
число, сумма и дата прописью

Часовой пояс: UTC + 3 часа [ Летнее время ]


Теорема Лагранжа о порядке конечной группы

Теорема Лагранжа о порядке конечной группы


Пусть \mathcal{G}=(G,\cdot,\bold{1}) — группа, \mathcal{H}= (H,\cdot, \bold{1}) — ее подгруппа. Левым смежным классом подгруппы \mathcal{H} по элементу a\in G называют множество


aH=\bigl\{y\colon\, y=a\cdot h,~ h\in H\bigr\}.

Соответственно правый смежный класс подгруппы \mathcal{H} по элементу a\in G — это множество


Ha= \bigl\{y\colon\, y=h\colon a,~ h\in H\bigr\}.

Очевидно, что в коммутативной групп aH=Ha.


Замечание. При использовании аддитивной записи групповой операции смежные классы записываются в виде a+H (или H+a).


Рассмотрим левые смежные классы. Прежде всего заметим, что если a\in H, то aH=H. Действительно, если x\in aH, то для некоторого h\in H имеем x=ah, а так как a\in H и множество H замкнуто относительно умножения группы \mathcal{G}, то x\in H. Обратно, если x\in H, то x=aa^{-1}x=ah, где h=a^{-1}x\in H. Поэтому x\in aH. Окончательно получим H=aH.


Введем теперь бинарное отношение \sim_{H} на множестве G следующим образом: элементы a и b связаны отношением \sim_{H} (a\sim_{H}b), если и только если левые смежные классы подгруппы \mathcal{H} по элементам a и b совпадают (aH=bH).




Теорема 2.11. Бинарное отношение \sim_{H} есть эквивалентность на G, причем класс эквивалентности произвольного элемента a\in G совпадает с левым смежным классом aH.


Докажем, что \sim_{H} является эквивалентностью на G. Поскольку aH=aH для любого a\in G, то есть a\sim_{H}a, то бинарное отношение \sim_{H} рефлексивно. Если a\sim_{H}b, то aH=bH, следовательно, bH=aH и b\sim_{H}a, т.е. бинарное отношение \sim_{H} симметрично. Наконец, из того, что a\sim_{H}b и b\sim_{H}c следует aH=bH и bH=cH, т.е. aH=cH и a\sim_{H}c, откуда вытекает, что бинарное отношение \sim_{H} транзитивно. Итак, \sim_{H} есть эквивалентность.


Докажем, что класс эквивалентности произвольного элемента a равен aH. Воспользуемся методом двух включений.


Пусть x\in[a]_{\sim_{H}}, то есть x\sim_{H}a, тогда xH=aH. Последнее означает, что любой элемент вида ah,~ h\in H, может быть представлен в виде xh_1, где h_1\in H, т.е. ah=xh_1. Отсюда получаем x=ahh_1^{-1}. Поскольку \mathcal{H} — подгруппа, h,h_1\in H, то h_2=hh_1^{-1}\in H. Следовательно, x=ah_2\in aH и [a]_{\sim_{H}}\subseteq aH.


Покажем второе включение, т.е. докажем, что aH\subseteq [a]_{\sim_{H}}. Пусть x\in aH, тогда x=ah для некоторого h\in H. Отсюда получаем, что xH=ahH. Поскольку для всякого h\in H, как доказано выше, hH=H, справедливо равенство xH=aH, откуда x\sim_{H}a и x\in[a]_{\sim_{H}}.




Теорема 2.12. Всякий левый смежный класс подгруппы H равномощен H.


Для произвольного фиксированного a\in G зададим отображение \varphi_{a} \colon H\to aH следующим образом: \varphi_{a}(h)=ah. Во-первых, отображение \varphi_{a} есть сюръекция, так как если x\in aH, то x=ah для некоторого h\in H, откуда x\in\varphi_{a}(h). Во-вторых, \varphi_{a} — инъекция, поскольку из равенства ah_1=ah_2 в силу законов сокращения в группе \mathcal{G} следует h_1=h_2. Следовательно, \varphi_{a} — биекция и |aH|=|H|.


Из доказанных теорем о свойствах левых смежных классов, справедливых — подчеркнем это — для любой группы, вытекает простой, но очень важный результат для конечных групп.


Теорема 2.13 (теорема Лагранжа). Порядок конечной группы делится на порядок любой ее подгруппы.


Согласно теореме 2.11, все левые смежные классы образуют разбиение множества G на подмножества, равномощные в силу теоремы 2.12 подгруппе H. Так как группа \mathcal{G} конечна, то число элементов разбиения конечно. Обозначив это число через k, заключаем, что |G|=k|H|. Следовательно, порядок группы |G| делится на порядок группы |H|.


Число всех левых смежных классов подгруппы \mathcal{H} конечной группы \mathcal{G} называют левым индексом подгруппы \mathcal{H} в группе \mathcal{G}.




Следствия теоремы Лагранжа


Рассмотрим некоторые следствия из теоремы Лагранжа.


Следствие 2.3. Любая группа простого порядка является циклической.


Возьмем в группе, порядок которой есть простое число, какую-то ее циклическую подгруппу, образующий элемент которой отличен от единицы (нейтрального элемента) группы. Тогда эта подгруппа содержит не менее двух элементов и ее порядок, согласно теореме Лагранжа, должен быть делителем порядка группы. Поскольку порядок всей группы — простое число, а порядок подгруппы не меньше 2, то он совпадет с порядком всей группы.


Замечание. Группа, порядок которой не является простым числом, может быть циклической, т.е. утверждение, обратное следствию 2.3, не имеет места. Так, например, циклической является \mathbb{Z}_{4}^{+} — аддитивная группа вычетов по модулю 4. Ее образующий элемент — 1. Можно доказать, например, что любая группа порядка 15 является циклической.


Группу называют неразложимой, если она не имеет нетривиальных подгрупп.


Следствие 2.4. Конечная группа неразложима тогда и только тогда, когда она является циклической группой, порядок которой есть простое число.


Если группа циклическая и ее порядок — простое число, то, согласно теореме Лагранжа, каждая ее подгруппа имеет порядок, равный либо единице, либо порядку всей группы, и группа неразложима.


Обратно, пусть конечная группа \mathcal{G}=(G,\cdot,\bold{1}) неразложима. Покажем, что |G| — простое число. Выберем элемент a\ne\bold{1}. Тогда циклическая подгруппа с образующим элементом a совпадает с \mathcal{G}. Допустим, что |G| — составное число, т.е. |G|=kl для некоторых натуральных k и l, отличных от 1 и |G|. Тогда циклическая подгруппа с образующим элементом b=a^k не совпадает с \mathcal{G}, так как b^l=a^{kl}=\bold{1} и в этой подгруппе не более l элементов, что противоречит неразложимости группы \mathcal{G}. Следовательно, порядок группы \mathcal{G} есть простое число.


Следствие 2.5. В конечной группе \mathcal{G} для любого элемента a\in G имеет место равенство a^{|G|}=1.


Если группа \mathcal{G} циклическая и элемент a — ее образующий элемент, утверждение очевидно. Если же элемент а является образующим элементом некоторой циклической подгруппы группы \mathcal{G} порядка k<|G|, то в силу теоремы Лагранжа |G|=kl для некоторого натурального l. Отсюда получаем


a^{|G|}=a^{kl}= (a^k)^l= \bold{1}^l=\bold{1}\,.



Малая теорема Ферма


С помощью теоремы Лагранжа (точнее, следствия 2.5) можно доказать, что если целое число n не делится на простое число p, то n^{p-1}-1 делится на p. В теории чисел это утверждение известно как малая теорема Ферма.


Действительно, пусть n=rp+k, где r — целое, а 0<k<p (остаток от деления n на p). Тогда ясно, что n^{p-1}\equiv k^{p-1}\pmod{p} (достаточно разложить (rp+k)^{p-1} по формуле бинома Ньютона). Рассмотрим группу \mathbb{Z}_p^{\ast} (мультипликативную группу вычетов по модулю p) и в этой группе элемент k. Порядок группы \mathbb{Z}_p^{\ast}=p-1. Если k=1, то


n^{p-1}-1\equiv (1^{p-1}-1)\pmod{p}\equiv 0\pmod{p}

и утверждение очевидно. Согласно следствию 2.5, в группе \mathbb{Z}_p^{\ast} справедливо равенство k^{p-1}=1, то есть k^{p-1}=1\pmod{p}, и, следовательно, k^{p-1}-1=0\pmod{p}, т.е. число k^{p-1} равно 1 по модулю p. Поэтому


n^{p-1}= k^{p-1}=1\pmod{p}.

Малая теорема Ферма дает возможность доказывать утверждения о делимости очень больших чисел. Например, из нее следует, что при p=97 число 97 является делителем n^{96}-1 для любого n, не делящегося на 97. Подобного рода заключения важны при разработке алгоритмов защиты информации.


Кроме того, используя малую теорему Ферма, можно вычислять в полях вычетов по модулю p (p — простое число) элементы, обратные к заданным относительно умножения. Действительно, если a\in\mathbb{Z}_p, то, так как a^{p-1}=1, умножая последнее равенство на a^{-1}, получим a^{p-2}= a^{-1}. Таким образом, для того чтобы вычислить элемент, обратный к a по умножению, достаточно возвести его в степень p-2 или, что равносильно, в степень, равную остатку от деления числа p-2 на порядок циклической подгруппы группы \mathbb{Z}_p^{\ast}, порожденной элементом a (см. теорему 2.7).




Пример 2.20. Рассмотрим, как вычислить элемент, обратный к а по умножению в поле \mathbb{Z}_{17}. Согласно полученному выше результату, для вычисления обратного к а элемента нужно найти a^{17-2}=a^{15}. Однако объем вычислений можно сократить, если порядок циклической подгруппы, порожденной элементом а, меньше порядка группы.


Порядок группы \mathbb{Z}_{17}^{\ast} равен 16, следовательно, порядок циклической подгруппы, порожденной элементом а, может составлять, согласно теореме Лагранжа, 2, 4, 8, 16 (т.е. быть каким-то из делителей числа 16). Поэтому при поиске обратного элемента достаточно проверить следующие степени a (кроме 15-й): 1 (остаток от деления 15 на 2), 3 (остаток от деления 15 на 4) и 7 (остаток от деления 15 на 8).


Найдем элемент, обратный к 2. Очевидно, что 2^{-1}\ne2, так как 2\odot_{17}2= 4\ne1. Далее получим 2^3=4 \odot_{17}2=8. Поскольку 2\odot_{17}9= 16\ne1, то 2^3=8 также не является обратным к 2. Вычислим


2^7=2^3 \odot_{17} 2^3 \odot_{17} 2= 8 \odot_{17} 8 \odot_{17} 2=9.

Поскольку 9 \odot_{17} 2=1, в итоге получаем 2^{-1}=9.


Найдем элемент, обратный к 14. Так как 14 \odot_{17} 14=9, то 14^{-1}\ne14. Вычисляем 14^3=14 \odot_{17} 9=7, но 14 \odot_{17} 7=13, то есть 14^3\ne14^{-1}. Далее,


14^7=14^3 \odot_{17} 14^4= 7 \odot_{17} 13=6,\quad 14 \odot_{17} 6=16=-1.

Мы видим, 14^7\ne14^{-1}. Следовательно, остается вычислить 14^{-1}= 14^{15}. Однако в этом случае вычисления можно сократить, заметив, что 14 \odot_{17} 14^7= 14 \odot_{17} 6=-1. Из последнего равенства, согласно следствию 2.1, получим


1=14 \odot_{17} (-6)= 14 \odot_{17} 11, откуда 14^{-1}=11.

Отметим, что 14^{16}=1, т.е. порядок циклической подгруппы, порожденной элементом 14, совпадает с порядком всей группы \mathbb{Z}_{17}^{\ast}, и, следовательно, эта группа является циклической, порожденной элементом 14 (хотя и не только им).

Математический форум (помощь с решением задач, обсуждение вопросов по математике).
Кнопка "Поделиться"
Если заметили ошибку, опечатку или есть предложения, напишите в комментариях.

Часовой пояс: UTC + 3 часа [ Летнее время ]


Яндекс.Метрика

Copyright © 2010-2023 MathHelpPlanet.com. All rights reserved