Теорема Лагранжа (теория групп)

В математической области групп теории теорема Лагранжа утверждает, что если H является подгруппой любой конечной группы $G$ , то | Ч | является делителем | G |, т. е. порядок (количество элементов) каждой подгруппы H делит порядок группы G.

Теорема названа в честь Жозефа-Луи Лагранжа . Следующий вариант гласит, что для подгруппы $H$ конечной группы $G$ , не только $|G|/|H|$ целое число, но его значение является индексом $[G:H]$ , определяемый как количество левых смежных классов $H$ в $G$ .

Теорема Лагранжа . Если $H$ — подгруппа группы $G$ , то $\left|G\right|=\left[G:H\right]\cdot \left|H\right|.$

Этот вариант справедлив, даже если $G$ бесконечно, при условии, что $|G|$ , $|H|$ , и $[G:H]$ интерпретируются как кардинальные числа .

Доказательство

Левые классы смежные $H$ в $G$ являются классами эквивалентности определенного отношения эквивалентности на $G$ : в частности, назовите $x$ и $y$ в $G$ эквивалентными, если существует $h$ в $H$ такой, что $x = yh$ . , левые смежные классы образуют разбиение G $Следовательно$ . Каждый левый смежный класс $aH$ имеет ту же мощность, что и $H,$ поскольку $x\mapsto ax$ определяет биекцию $H\to aH$ (обратное $y\mapsto a^{-1}y$ ). Число левых смежных классов — это индекс $[G : H]$ . Судя по предыдущим трем предложениям,

\left|G\right|=\left[G:H\right]\cdot \left|H\right|.

Расширение

Теорему Лагранжа можно распространить на уравнение индексов между тремя подгруппами $G$ . ^{[ 1 ]}

Расширение теоремы Лагранжа . Если $H$ — подгруппа $G$ , а $K$ — подгруппа $H$ , то

[G:K]=[G:H]\,[H:K].

Доказательство

Пусть $S$ - набор представителей смежных классов для $K$ в $H$ , так $H=\coprod _{s\in S}sK$ (непересекающийся союз) и $|S|=[H:K]$ . Для любого $a\in G$ , умножение слева на $a$ является биекцией $G\to G$ , так $aH=\coprod _{s\in S}asK$ . Таким образом, каждый левый смежный класс $H$ распадается на $[H:K]$ левые классы $K$ . Поскольку $G$ распадается на $[G:H]$ левые классы $H$ , каждый из которых распадается на $[H:K]$ левые классы $K$ , общее количество $[G:K]$ левых смежных классов $K$ в $G$ есть $[G:H][H:K]$ .

Если мы возьмем $K = {e}$ ( $e$ — единица $G$ ), то $[G : {e}] = | г |$ и $[ЧАС : {е}] = | Ч |$ . Следовательно, мы можем восстановить исходное уравнение $| г | знак равно [г : ЧАС] | Ч |$ .

Приложения

Следствием теоремы является то, что порядок любого элемента $a$ конечной группы (т. е. наименьшего натурального целого числа $k$ с $a к = e$ , где $e$ — единичный элемент группы) делит порядок этой группы, поскольку порядок $a$ равен порядку циклической подгруппы порожденной , $a$ . Если в группе $n$ элементов, то

\displaystyle a^{n}=e{\mbox{.}}

Это можно использовать для доказательства малой теоремы Ферма и ее обобщения — теоремы Эйлера . Эти частные случаи были известны задолго до доказательства общей теоремы.

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

Теорему Лагранжа можно также использовать, чтобы показать, что существует бесконечно много простых чисел : предположим, что существует наибольшее простое число. $p$ . Любой простой делитель $q$ Мерсенна числа $2^{p}-1$ удовлетворяет $2^{p}\equiv 1{\pmod {q}}$ (см. модульную арифметику ), что означает, что порядок $2$ в мультипликативной группе $(\mathbb {Z} /q\mathbb {Z} )^{*}$ является $p$ . По теореме Лагранжа порядок $2$ необходимо разделить порядок $(\mathbb {Z} /q\mathbb {Z} )^{*}$ , что $q-1$ . Так $p$ делит $q-1$ , давая $p<q$ , что противоречит предположению, что $p$ является самым большим простым числом. ^{[ 2 ]}

Существование подгрупп данного порядка

Теорема Лагранжа поднимает обратный вопрос: каждый ли дивизор порядка группы является порядком некоторой подгруппы. В общем случае это не так: дана конечная группа G и дивизор d группы | G |, не обязательно существует подгруппа G порядка d . Самый маленький пример — A ₄ ( чередующаяся группа степени 4), которая имеет 12 элементов, но не имеет подгруппы порядка 6.

Группа «Обратной теоремы Лагранжа» (CLT) — это конечная группа, обладающая тем свойством, что для каждого делителя порядка группы существует подгруппа этого порядка. Известно, что группа CLT должна быть разрешимой и что каждая сверхразрешимая группа является группой CLT. Однако существуют разрешимые группы, не являющиеся CLT (например, A ₄ ), и CLT-группы, не являющиеся сверхразрешимыми (например, S ₄ , симметрическая группа степени 4).

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

Контрпример обращения теоремы Лагранжа

Обратная теорема Лагранжа утверждает, что если $d$ — делитель порядка группы $G$ , то существует подгруппа $H,$ где $| Ч | = д$ .

Мы рассмотрим знакопеременную группу $A 4$ , набор четных перестановок, как подгруппу симметрической группы $S 4$ .

А 4 = {е, (1 2)(3 4), (1 3)(2 4), (1 4)(2 3), (1 2 3), (1 3 2), (1 2 4) , (1 4 2), (1 3 4), (1 4 3), (2 3 4), (2 4 3)}

.

$| А 4 | = 12,$ поэтому делители равны $1, 2, 3, 4, 6, 12$ . Предположим противное, что существует подгруппа $H$ в $A 4$ такая, что $| Ч | = 6$ .

Пусть $V$ — нециклическая подгруппа группы $A4,$ называемая четырехгруппой Клейна .

V знак равно {е, (1 2)(3 4), (1 3)(2 4), (1 4)(2 3)}

.

Пусть $К = ЧАС ⋂ V.$ Поскольку и $H$ , и $V$ являются подгруппами $A 4$ , $K$ также является подгруппой $A 4$ .

Согласно теореме Лагранжа, порядок $K$ должен делить $6$ и $4$ , порядки $H$ и $V$ соответственно. Единственные два положительных целых числа, которые делят и $6$ , и $4,$ — это $1$ и $2$ . Итак $| К | = 1$ или $2$ .

Предположим $| К | знак равно 1$ , то $K знак равно {е}$ . Если $H$ не имеет общих элементов с $V$ , то 5 элементов в $H,$ кроме элемента Identity $e,$ должны иметь форму $(abc),$ где $a, b, c$ — отдельные элементы в ${1, 2, 3, 4}$ .

Поскольку любой элемент формы $(abc)$ в квадрате равен $(acb)$ и $(abc)(acb) = e$ , любой элемент $H$ в форме $(abc)$ должен быть соединен с его обратным. В частности, оставшиеся 5 элементов $H$ должны происходить из разных пар элементов $A 4 ,$ которых нет в $V$ . Это невозможно, так как пары элементов должны быть четными и не могут в сумме составлять до 5 элементов. Таким образом, предположения о том, что $| К | = 1$ неверно, поэтому $| К | = 2$ .

Тогда $K = {e, v},$ где $v \in V$ , $v$ должно быть в форме $(ab)(cd),$ где $a, b, c, d$ — различные элементы из ${1, 2, 3, 4}$ . Остальные четыре элемента в $H$ являются циклами длины 3.

Обратите внимание, что смежные классы , порожденные подгруппой группы, образуют раздел группы. Классы смежности, порожденные определенной подгруппой, либо идентичны друг другу, либо не пересекаются . Индекс подгруппы в группе $[A 4 : H] = | А 4 |/| Ч |$ — количество смежных классов, порожденных этой подгруппой. Поскольку $| А 4 | = 12$ и $| Ч | = 6$ , $H$ будет генерировать два левых смежных класса, один из которых равен $H$ , а другой, $gH$ , имеет длину 6 и включает все элементы из $A 4 ,$ не входящие в $H$ .

Поскольку существует только два различных смежных класса, порожденных $H$ , то $H$ должно быть нормальным. Поэтому $H = gHg -1 (\forall г \in А 4)$ . В частности, это верно для $g = (abc) \in A 4$ . Поскольку $H = gHg -1, гвг -1 ЧАС €$ .

Без ограничения общности предположим, что $a = 1$ , $b = 2$ , $c = 3$ , $d = 4$ . Тогда $g = (1 2 3)$ , $v = (1 2)(3 4)$ , $g -1 = (1 3 2)$ , $гв = (1 3 4)$ , $гвг -1 = (1 4)(2 3)$ . Преобразовав обратно, получим $гвг -1 знак равно (а d)(б c)$ . Поскольку $V$ содержит все непересекающиеся транспозиции из $A 4$ , $gvg -1 \in V$ . Hence, $gvg -1 \in ЧАС ⋂ V знак равно K$ .

Поскольку $гвг -1 \neq v$ , мы продемонстрировали, что в $K$ есть третий элемент . Но ранее мы предполагали, что $| К | = 2$ , поэтому мы имеем противоречие.

Следовательно, наше исходное предположение о существовании подгруппы порядка 6 неверно и, следовательно, в $A 4$ нет подгруппы порядка 6 , и обратная теорема Лагранжа не обязательно верна. КЭД

История

Сам Лагранж не доказал теорему в ее общем виде. В своей статье «Размышления об алгебраическом разрешении уравнений» он заявил : ^{[ 3 ]} что если переменные многочлена от $n$ переменных переставлены во всех $n!$ способами количество получаемых различных полиномов всегда кратно $n!$ . (Например, если переменные $x$ , $y$ и $z$ переставить всеми 6 возможными способами в многочлене $x + y - z,$ то мы получим в общей сложности 3 разных многочлена: $x + y - z$ , $x + z - y$ , и $y + z - x$ . Обратите внимание, что 3 — это коэффициент 6.) Число таких многочленов — это индекс в симметричной группе $S n$ подгруппы $H$ перестановок, которые сохранить полином. (На примере $x + y - z$ подгруппа $H$ в $S 3$ содержит единицу и транспозицию $(xy)$ .) Таким образом, размер $H$ делит $n!$ . С последующим развитием абстрактных групп было признано, что этот результат Лагранжа о полиномах распространяется на общую теорему о конечных группах, которая теперь носит его имя.

В своих «Disquisitiones Arithmeticae» 1801 года Карл Фридрих Гаусс доказал теорему Лагранжа для частного случая $(\mathbb {Z} /p\mathbb {Z} )^{*}$ , мультипликативная группа ненулевых целых чисел по модулю $p$ , где $p$ — простое число. ^{[ 4 ]} В 1844 году Луи Коши доказал теорему Лагранжа для симметрической группы $Sn Огюстен -$ . ^{[ 5 ]}

Камилла Джордан наконец доказала теорему Лагранжа для случая любой группы подстановок в 1861 году. ^{[ 6 ]}

Примечания

^ Брэй, Николас, «Теорема Лагранжа о группе» , MathWorld
^ Айгнер, Мартин ; Циглер, Гюнтер М. (2018), «Глава 1», Доказательства из КНИГИ (переработанное и дополненное шестое изд.), Берлин: Springer, стр. 3–8, ISBN 978-3-662-57264-1
^ Лагранж, Жозеф-Луи (1771), «Продолжение размышлений об алгебраическом разрешении уравнений. Третий раздел. О разрешении уравнений пятой степени и последующих степеней». [Ряд размышлений об алгебраическом решении уравнений. Третий раздел. О решении уравнений пятой и более высоких степеней], Новые мемуары Королевской академии наук и Belles-Lettres de Berlin : 138–254 ; особенно см . стр. 202–203.
^ Гаусс, Карл Фридрих (1801), Disquisitiones Arithmeticae (на латыни), Лейпциг (Лейпсия): Г. Фляйшер , стр. 41-45, ст. 45-49.
^ Огюстен-Луи Коши , §VI. — О производных одной или нескольких подстановок и о системах сопряженных подстановок [О произведениях одной или нескольких подстановок и о системах сопряженных подстановок] из: «Память о расположениях, которые можно образовать с помощью данными буквами, а также о перестановках или заменах с помощью » Мемуары о о сочетаниях, которые можно образовать с из которых происходит переход от одного устройства к другому] в: Упражнения по анализу и математической физике, вып. 3 (Париж, Франция: Башелье, 1844), стр. 183-185.
^ Джордан, Камилла (1861), «Мемуары о числе значений функций» , Journal de l'École Polytechnique , 22 : 113–194. Обобщение Джордана теоремы Лагранжа появляется на странице 166.

Ссылки

Брей, Генри Г. (1968), «Заметки о группах CLT», Pacific J. Math. , 27 (2): 229–231, doi : 10.2140/pjm.1968.27.229
Галлиан, Джозеф (2006), Современная абстрактная алгебра (6-е изд.), Бостон: Houghton Mifflin, ISBN 978-0-618-51471-7
Даммит, Дэвид С.; Фут, Ричард М. (2004), Абстрактная алгебра (3-е изд.), Нью-Йорк: John Wiley & Sons , ISBN 978-0-471-43334-7 , МР 2286236
Рот, Ричард Р. (2001), «История теоремы Лагранжа о группах», Mathematics Magazine , 74 (2): 99–108, doi : 10.2307/2690624 , JSTOR 2690624

[1] Брэй, Николас, «Теорема Лагранжа о группе» , MathWorld

[2] Айгнер, Мартин ; Циглер, Гюнтер М. (2018), «Глава 1», Доказательства из КНИГИ (переработанное и дополненное шестое изд.), Берлин: Springer, стр. 3–8, ISBN 978-3-662-57264-1

[3] Лагранж, Жозеф-Луи (1771), «Продолжение размышлений об алгебраическом разрешении уравнений. Третий раздел. О разрешении уравнений пятой степени и последующих степеней». [Ряд размышлений об алгебраическом решении уравнений. Третий раздел. О решении уравнений пятой и более высоких степеней], Новые мемуары Королевской академии наук и Belles-Lettres de Berlin : 138–254 ; особенно см . стр. 202–203.

[4] Гаусс, Карл Фридрих (1801), Disquisitiones Arithmeticae (на латыни), Лейпциг (Лейпсия): Г. Фляйшер , стр. 41-45, ст. 45-49.

[5] Огюстен-Луи Коши , §VI. — О производных одной или нескольких подстановок и о системах сопряженных подстановок [О произведениях одной или нескольких подстановок и о системах сопряженных подстановок] из: «Память о расположениях, которые можно образовать с помощью данными буквами, а также о перестановках или заменах с помощью » Мемуары о о сочетаниях, которые можно образовать с из которых происходит переход от одного устройства к другому] в: Упражнения по анализу и математической физике, вып. 3 (Париж, Франция: Башелье, 1844), стр. 183-185.

[6] Джордан, Камилла (1861), «Мемуары о числе значений функций» , Journal de l'École Polytechnique , 22 : 113–194. Обобщение Джордана теоремы Лагранжа появляется на странице 166.

[ 1 ]

[ 2 ]

[ 3 ]

[ 4 ]

[ 5 ]

[ 6 ]