Еще немного определений

Группа перестановок <<	Оглавление (Последняя версия в: Глава 5)	>> Представления групп

---

$\textstyle \bullet$ Рассмотрим подгруппу $\textstyle \mathbf {H}$ группы $\textstyle \mathbf {G}$. Возьмём некоторый элемент $\textstyle g\in \mathbf {G}$, не принадлежащий $\textstyle \mathbf {H}$, и образуем новое множество элементов:

$g\,\mathbf {H} =\{g\,h_{1},\;g\,h_{2},\;...,\;g\,h_{n}\},\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;g\not \in \mathbf {H} ,$

которое называется левым смежным классом подгруппы $\textstyle \mathbf {H}$ (аналогично определяются правые смежные классы $\textstyle \mathbf {H} g$, совпадающие с левыми для инвариантной подгруппы $\textstyle g\,\mathbf {H} =\mathbf {H} \,g$). Все элементы класса различны (если $\textstyle g\,h_{i}=g\,h_{j}$, умножив на $\textstyle g^{-1}$, получим $\textstyle h_{i}=h_{j}$) и ни один его элемент $\textstyle g\,\mathbf {H}$ не принадлежит $\textstyle \mathbf {H}$ (если $\textstyle g\,h_{i}=h_{j}$, то $\textstyle g=h_{j}\,h_{i}^{-1}\in \mathbf {H}$, что противоречит условию $\textstyle g\not \in \mathbf {H}$). Поэтому $\textstyle g\,\mathbf {H}$ — это множество имеющее столько же элементов, что и у подгруппы $\textstyle \mathbf {H}$, и не пересекающееся с ней.

Это свойство можно использовать для разбиения группы на смежные классы (подмножества). Действительно, если объединение $\textstyle \mathbf {H}$ и $\textstyle g\,\mathbf {H}$ не даёт ещё всех элементов $\textstyle \mathbf {G}$, возьмём $\textstyle g'$ не принадлежащий ни $\textstyle \mathbf {H}$, ни $\textstyle {g\,{\bf {H}}}$, и образуем третье множество $\textstyle g'\,\mathbf {H}$. Его элементы, также как и элементы $\textstyle g\,\mathbf {H}$ не принадлежат $\textstyle \mathbf {H}$. Более того, они не принадлежат и $\textstyle g\,\mathbf {H}$ (если бы $\textstyle g'\,h_{i}=g\,h_{j}$, то $\textstyle g'=g\cdot (h_{j}\,h_{i}^{-1})$, и это противоречит тому, что $\textstyle g'$ не принадлежит $\textstyle g\,\mathbf {H}$, т.к. $\textstyle h_{i}h_{j}^{-1}\in \mathbf {H}$). В результате, при помощи подгруппы $\textstyle \mathbf {H}$ порядка $\textstyle n$, возникает разбиение группы $\textstyle \mathbf {G}$, на $\textstyle m$ непересекающихся смежных классов (используют знак плюс, вместо объединения $\textstyle \cap$):

$\mathbf {G} =\mathbf {H} +g\,\mathbf {H} +g'\,\mathbf {H} +...=g_{1}\,\mathbf {H} +g_{2}\,\mathbf {H} +...+g_{m}\,\mathbf {H} ,$

где $\textstyle g_{1}=e$. Число $\textstyle m$ называется индексом подгруппы $\textstyle \mathbf {H}$ в группе $\textstyle \mathbf {G}$. Порядок группы $\textstyle \mathbf {G}$ оказывается равным $\textstyle n=h\cdot m$, и порядок $\textstyle h$ подгруппы $\textstyle \mathbf {H}$ является его делителем. Поэтому справедлива теорема Лагранжа:

\it Порядок любой подгруппы $\textstyle \mathbf {H}$ конечной группы $\textstyle \mathbf {G}$ является одним из делителей порядка группы $\textstyle \mathbf {G}$.

Например, подгруппы $\textstyle \mathbf {C_{3}}$, $\textstyle \mathbf {C_{2}}$ группы $\textstyle \mathbf {D_{3}}$ имеют порядки 3 и 2. Эти числа являются делителями порядка группы $\textstyle \mathbf {D_{3}}$ равного 6. Для группы $\textstyle \mathbf {D_{4}}$ можно сделать следующее разложение на классы:

${\begin{array}{l}\mathbf {D_{4}} =\mathbf {C_{2}} +a\,\mathbf {C_{2}} +b\,\mathbf {C_{2}} +d\,\mathbf {C_{2}} =\{e,\;a^{2}\}+\{a,a^{3}\}+\{b,c\}+\{d,f\}.\\\end{array}}$

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

Подчеркнём, что смежные классы не являются группами, так как, например, единичный элемент находится только в исходной порождающей подгруппе $\textstyle \mathbf {H}$. Однако, как мы сейчас увидим, каждый класс, построенный по инвариантной подгруппе является элементом некоторой группы!

$\textstyle \bullet$ Аналогично "произведению" $\textstyle {a}\,\mathbf {H} =\{a\,h_{1},...,a\,h_{n}\}$ элемента группы на множество, можно определить операцию умножения двух множеств $\textstyle \mathbf {A} =\{a_{1},...,a_{n}\}$ и $\textstyle \mathbf {B} =\{b_{1},...,b_{m}\}$, как множество состоящее из всех упорядоченных произведений: $\textstyle \mathbf {A} \,\mathbf {B} =\{a_{1}b_{1},a_{1}b_{2},...,a_{2}b_{1},....,a_{n}b_{m}\}$. Результаты некоторых произведений могут совпадать, поэтому размерность этого множества будет меньше чем $\textstyle n\cdot m$. В частности $\textstyle \mathbf {H} \mathbf {H}$ — это произведение всех элементов подгруппы, которые снова принадлежат этой подгруппе: $\textstyle \mathbf {H} \mathbf {H} =\mathbf {H}$. В силу ассоциативности $\textstyle \mathbf {A} (a\mathbf {B} )=(\mathbf {A} a)\mathbf {B}$.

Произведение смежных классов построенных по инвариантной подгруппе обладает групповыми свойствами. Например, в силу $\textstyle g\mathbf {H} =\mathbf {H} g$, инвариантная подгруппа $\textstyle \mathbf {H}$ является "единичным" элементом:

$\mathbf {H} \,(g\mathbf {H} )=(\mathbf {H} g)\,\mathbf {H} =g\mathbf {H} \mathbf {H} =g\mathbf {H} .$

Т.е. попарное произведение всех элементов инвариантной группы $\textstyle \mathbf {H}$ и её левого смежного класса Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \textstyle g\mathbf{H}} снова приводит к этому же смежному классу. Аналогично попарные произведения двух смежных классов приводят к смежному классу построенному по элементу Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \textstyle ab} : Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \textstyle (a\,\mathbf{H})\,(b\,\mathbf{H}) = (a\,b)\,\mathbf{H}.} Наконец, произведение смежных классов по обратным элементам дает единичный класс: Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \textstyle (a\mathbf{H})(a^{-1}\mathbf{H})=\mathbf{H}} .

Таким образом, если в группе порядка Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \textstyle h\,m} имеется инвариантная подгруппа Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \textstyle \mathbf{H}\subset\mathbf{G}} порядка $\textstyle h$, то Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \textstyle m} смежных классов Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \textstyle \mathbf{G} = \mathbf{H}+g_2\mathbf{H}+...+g_m\mathbf{H}} являются элементами т.н. фактор-группы Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \textstyle \mathbf{G}/\mathbf{H}} :

Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \{\mathbf{H}, \;g_2\mathbf{H},...,\;g_m\mathbf{H}\}=\mathbf{G}/\mathbf{H}.}

Инвариантная подгруппа Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \textstyle \mathbf{H}} играет в Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \textstyle \mathbf{G}/\mathbf{H}} роль единичного элемента.

Рассмотрим инвариантную подгруппу $\textstyle \mathbf {H} =\{e,a,a^{2}\}$ группы Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \textstyle \mathbf{D_3}} . Возьмём любой элемент не находящийся в подгруппе, например Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \textstyle b} :

Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \mathbf{H}=\{e,a,a^2\},\;\;\;\;\;\; b\mathbf{H}=\{b,d,c\},\;\;\;\;\;\mathbf{D_3}=\{e,a,a^2,b,c,d\}=\mathbf{H}+b\mathbf{H}.}

Эти два множества обладают групповой таблицей умножения Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \textstyle \mathbf{C_2}} . Так:

Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \mathbf{H}\cdot (b\mathbf{H}) = \{e,a,a^2\}\cdot\{b,c,d\} = \{b,c,d\}=b\mathbf{H},}

где после перемножения множеств, при помощи таблицы Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \textstyle \mathbf{D_3}} оставлены только неповторяющиеся элементы, составляющие класс Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \textstyle b\mathbf{H}} . Аналогично $\textstyle (b\mathbf {H} )\,(b\mathbf {H} )=\mathbf {H}$, и т.д. Инвариантная подгруппа Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \textstyle \mathbf{H}=\mathbf{C_3}} имеет порядок 3, и есть только один смежный класс, поэтому порядок фактор-группы Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \textstyle \mathbf{D_3}/\mathbf{C_3}} равен 2=6/3. Её таблица умножения совпадает с Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \textstyle \mathbf{C_2}} .

Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \textstyle \bullet} Элемент Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \textstyle z'} называется сопряжённым к элементу Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \textstyle z} , если существует такой $\textstyle g$, что:

$z'=gzg^{-1}.$

В группе $\textstyle \mathbf {D_{3}}$ элементы $\textstyle b$ и $\textstyle d$ сопряжены, так как $\textstyle aba^{-1}=ca^{2}=d.$ Сопряженность элементов напоминает определение сопряжения подгруппы (стр.\,\pageref{sym_inv_gr_def}), но относится не к множеству элементов, а к одному (точнее двум, связанным сопряжением).

Сопряженность элементов обладает транзитивностью: если $\textstyle z''$ сопряжен $\textstyle z'$, а $\textstyle z'$ сопряжен к $\textstyle z$, то и $\textstyle z''$, Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \textstyle z} сопряжены:

Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle z''=az'a^{-1},\;\;\;\;\;z'=bzb^{-1},\;\;\;\;\;\;\;=>\;\;\;\;\;\;\;\;z'' = (ab)z(ab)^{-1}.}

Понятно, что если Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \textstyle z'} сопряжен Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \textstyle z} , то и Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \textstyle z} сопряжён Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \textstyle z'} .

$z'=aza^{-1}\;\;\;\;\;\;=>\;\;\;\;\;\;\;z=a^{-1}z'a.$

Это свойство называется симметричностью. Аналогично, справедлива рефлексивность, т.е. элемент сопряжён сам себе. В этом случае Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \textstyle g=e} .

Обозначим факт сопряженности следующим образом: Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \textstyle z'\sim z} и назовем его отношением эквивалентности. Свойства рефлексивности, симметричности и транзитивности сопряженных элементов будут иметь вид:

Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \begin{array}{lll} рефлексивность:\;\; & x\sim x\\ симметричность:\;\; & x\sim y\;\;\;\;\;\;\;\;\;\;\;\; &=>\;\;\;\;\;\;y\sim x\\ транзитивность:\;\; & x\sim y, \;\;y\sim z\;\;\;\;\;&=>\;\;\;\;\;\;x\sim z\\ \end{array}}

Этими же свойствами обладает и равенство элементов Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \textstyle x=y} . Однако, если равенство означает полное совпадение Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \textstyle x} и Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \textstyle y} , то эквивалентность относительно сопряжения объявляет "похожими" некоторые группы элементов.

Так, группы $\textstyle \mathbf {D_{3}}$ и Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \textstyle \mathbf{D_4}} разбиваются на следующие классы эквивалентности (или классы сопряженных элементов):

Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \begin{array}{l} \mathbf{D_3}:\;\;\;\{e\},\;\{a,a^2\},\;\{b,c,d\};\\ \mathbf{D_4}:\;\;\;\{e\}, \;\{a,a^3\},\;\{a^2\},\;\{b,c\},\;\{d,f\}. \end{array}}

Важным свойством класса эквивалентности к сопряжению является то, что все элементы данного класса имеют одинаковый порядок:

Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle a^m = e,\;\;b=gag^{-1}\;\;\;\;=>\;\;\;b^m=(gag^{-1})^m=ga^mg^{-1}=geg^{-1}=e.}

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

Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \textstyle \bullet} Элемент Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \textstyle z} является самосопряженным элементом, если для любого Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \textstyle g\in \mathbf{G}} сопряжение снова даёт $\textstyle z$:

Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \forall g\in \mathbf{G}\;\;\;\;\;\;\; z=gzg^{-1},\;\;\;\;\;или\;\;\;\;\;\;gz=zg.}

Другими словами, самосопряженный элемент коммутирует (перестановочен) с любым элементом группы. Это свойство не стоит путать с определением инвариантной подгруппы Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \textstyle g\,\mathbf{H}=\mathbf{H}\,g} , в котором, вообще говоря слева и справа стоят разные элементы Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \textstyle g\,h_i=h_j\,g} из подмножества H.

Множество всех самосопряженных элементов Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \textstyle \mathbf{Z}=\{z_1,...,z_k\}} образует абелеву подгруппу Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \textstyle \mathbf{Z}\subset \mathbf{G}} , которую называют центром. Одновременно центр является инвариантной подгруппой (но не наоборот!). В группе Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \textstyle \mathbf{D_3}} центр тривиален: $\textstyle \{e\}$, а в Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \textstyle \mathbf{D_4}} нетривиальным центром является Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \textstyle \mathbf{Z}=\{e, a^2\}} . Так как Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \textstyle (a^2)^2=e} , то это группа Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \textstyle \mathbf{C_2}} .

В любой абелевой группе каждый элемент является самосопряжённым, и вся такая группа является центром. Самосопряженный элемент образует класс эквивалентности из единственного элемента - самого себя.

Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \textstyle \bullet} Нормализатором элемента Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \textstyle a} называют множество $\textstyle \mathbf {N} _{a}$ всех элементов группы Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \textstyle \bf G} , которые коммутируют с Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \textstyle a} . Нормализатор самосопряженного элемента совпадает со всей группой.

Элементы каждого нормализатора обладают групповыми свойствами. Поэтому нормализатор элемента Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \textstyle a\in\mathbf{G}} является подгруппой группы Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \textstyle \mathbf{G}} . Её порядок равен Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \textstyle n/m} , где $\textstyle m$ — индекс в разложении Лагранжа:

$\mathbf {G} =\mathbf {N} _{a}+g_{2}\mathbf {N} _{a}+...+g_{m}\mathbf {N} _{a}.$

Справедлива теорема:

Число элементов сопряженных к $\textstyle a$ равно индексу $\textstyle m$ в разложении Лагранжа по нормализатору $\textstyle \mathbf {N} _{a}$.

Действительно, чтобы построить класс эквивалентности к $\textstyle a$ надо перебрать все элементы $\textstyle x\in \mathbf {G}$, отобрав неповторяющиеся значения $\textstyle xax^{-1}$. Пусть $\textstyle x$ сначала пробегает элементы первого смежного класса $\textstyle \mathbf {N} _{a}$. Тогда $\textstyle \mathbf {N} _{a}a\mathbf {N} _{a}^{-1}=a\mathbf {N} _{a}\mathbf {N} _{a}^{-1}=a$. Для $\textstyle x\in g_{2}\mathbf {N} _{a}$ имеем $\textstyle xax^{-1}=g_{2}ag_{2}^{-1}\neq a$ (так как $\textstyle g_{2}$ не входит в $\textstyle \mathbf {N} _{a}$ и с $\textstyle a$ не коммутирует). Так, для каждого из $\textstyle m$ сопряженных классов получим $\textstyle m$ различных эквивалентных элементов.

В группе $\textstyle \mathbf {D_{3}}$ есть 4 нормализатора:

$\mathbf {N} _{a}=\{e,a,a^{2}\},\;\;\;\;\;\;\mathbf {N} _{b}=\{e,b\},\;\;\;\;\;\;\mathbf {N} _{c}=\{e,c\},\;\;\;\;\;\;\mathbf {N} _{d}=\{e,d\}.$

Разложение Лагранжа этой группы имеет вид

$\mathbf {D_{3}} =\mathbf {N} _{b}+a\mathbf {N} _{b}+d\mathbf {N} _{b}=\{e,b\}+\{a,c\}+\{d,a^{2}\},$

поэтому в классе эквивалентности к $\textstyle b$ есть 3 элемента (это $\textstyle \{b,c,d\}$).

$\textstyle \bullet$ Изоморфизм — это взаимооднозначная функция связывающая два элемента множества $\textstyle \Psi :\;\mathbf {G} \to \mathbf {G}$, и сохраняющая групповое умножение:

$\Psi (x)\cdot \Psi (y)=\Psi (x\cdot y).$

(EQN)

Обратимость функции $\textstyle \Psi$ означает, что её упорядоченная область значений является некоторой перестановкой области определений. Другими словами, две конечные группы изоморфны, если они эквивалентны с точностью до переобозначения своих элементов. Поэтому изоморфизм абстрактных групп называется также автоморфизмом (изоморфизм группы "самой в себя").

Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \begin{array}{r|ccc|} \multicolumn{1}{c}{} & \multicolumn{1}{c}{a} & \multicolumn{1}{c}{b} & \multicolumn{1}{c}{c}\\ \cline{2-4} a & b & c &\bullet \\ \mathbf{G}_1:\; b & c & \bullet &a \\ c &\bullet & a & b \\ \cline{2-4} \end{array} \begin{array}{r|ccc|} \multicolumn{1}{c}{} & \multicolumn{1}{c}{a} & \multicolumn{1}{c}{b} & \multicolumn{1}{c}{c}\\ \cline{2-4} a & c & \bullet & c \\ \;\;\;\mathbf{G}_2:\; b &\bullet & c & a \\ c & b & a &\bullet \\ \cline{2-4} \end{array}\;\;\;\;\;\; \begin{array}{l} \mathbf{G}_1 \approx\mathbf{G}_2,\;\;\;\;\;\mathbf{G}_2=\Psi(\mathbf{G}_1)\\[2mm] \Psi(\{e, a, b, c\})=\{e,a, c,b \} \end{array}}

Что бы обнаружить автоморфизм, можно начать с поиска элемента порядка 1. В таблице Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \textstyle \mathbf{G}_1} он единственен Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \textstyle b^2=e} . Аналогично, в Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \textstyle \mathbf{G}_2} : Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \textstyle c^2=e} , поэтому Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \textstyle \Psi(b)=c} . Выбор соответствия для остальных элементов в данном случае — произволен.

Рассматривая для группы Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \textstyle \mathbf{G}} все различные функции Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \textstyle y=\Psi_k(x)} проводящие подобные перестановки, мы приходим к группе автоморфизмов обозначаемой $\textstyle {\rm {Aut}}\mathbf {G}$. Элементами этой группы являются функции, а умножением — композиция функций Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \textstyle \Psi_k(x)=\Psi_j(\Psi_i(x))} , выполняющих последовательные автоморфизмы. Единичным преобразованием является Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \textstyle \Psi_1(x)=x} . Обратным — обратная функция Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \textstyle \Psi^{-1}_k(\Psi_k(x))=x} . Для умножения двух элементов Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \textstyle x} , Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \textstyle y} и двух последовательных автоморфизмов Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \textstyle \Psi_i} и $\textstyle \Psi _{j}$ (см. ()):

Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \Psi_i(\Psi_j(x))\cdot \Psi_i(\Psi_j(y)) = \Psi_i(\Psi_j(x)\cdot \Psi_j(y)) = \Psi_i(\Psi_j(x\cdot y)).}

Внутренним автоморфизмом называют автоморфизм возникающий при применении операции сопряжения:

Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle x\to \Psi_g(x) = gxg^{-1}.}

Абелевы группы Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \textstyle \mathbf{C_n}} являются самосопряжёнными, поэтому сопряжение не создаёт внутренних автоморфизмов (кроме тривиального единичного Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \textstyle \Psi_g(x)=x} , для любого Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \textstyle g\in\mathbf{G}} ). Для группы Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \textstyle \mathbf{D_4}} можно, например, так переставить элементы:

$\Psi _{a}(x)\;:\;\;\;a\cdot \{e,a,a^{2},b,c,d\}\cdot a^{2}=\{e,a,a^{2},d,b,c\}.$

Внутренние автоморфизмы вида $\textstyle x\to gxg^{-1}$ являются подгруппой группы всех автоморфизмов $\textstyle {\rm {Aut}}\,\mathbf {G}$.

$\textstyle \bullet$ Введем еще одно понятие. Пусть на множествах $\textstyle {\mathcal {F}}=\{f_{1},...,f_{n}\}$ и $\textstyle {\mathcal {G}}=\{g_{1},...,g_{m}\}$ заданы групповые функции умножения. Прямым произведением $\textstyle {\mathcal {F}}\times {\mathcal {G}}$ двух множеств $\textstyle {\mathcal {F}}=\{f_{1},...,f_{n}\}$ и $\textstyle {\mathcal {G}}=\{g_{1},...,g_{m}\}$ называют множество всех $\textstyle n\cdot m$ упорядоченных пар $\textstyle (f_{i},\;g_{j})$. Определим на этом множестве новую группу, при помощи закона умножения:

$(g_{1},\;f_{1})\cdot (g_{2},\;f_{2})=(g_{1}\cdot g_{2},\;f_{1}\cdot f_{2}).$

Так как таблицы умножения $\textstyle g_{i}\cdot g_{j}$ и $\textstyle f_{i}\cdot f_{j}$ известны, нам становится известной и таблица для группы на $\textstyle {\mathcal {F}}\times {\mathcal {G}}$. Подобный метод создания новых групп особенно интересен в обратную сторону, когда выясняется, что некоторую группу можно представить в виде прямого произведения двух других меньших групп, свойства которых исследовать проще.

Найдём прямое произведение группы $\textstyle \mathbf {C_{2}} =\{e,\;\alpha \}$ саму на себя:

Невозможно разобрать выражение (неизвестная функция «\multicolumn»): {\displaystyle \begin{array}{r|c|} \multicolumn{1}{c}{} & \multicolumn{1}{c}{\alpha} \\ \cline{2-2} \alpha & e \\ \cline{2-2} \end{array} \begin{array}{r|c|l} \multicolumn{1}{c}{} & \multicolumn{1}{c}{\alpha} \\ \cline{2-2} \;\times \; \alpha & e & \;=\;\\ \cline{2-2} \end{array} \begin{array}{r|ccc|l} \multicolumn{1}{c}{} & \multicolumn{1}{c}{(\alpha,e)} & \multicolumn{1}{c}{(e,\alpha)} & \multicolumn{1}{c}{(\alpha,\alpha)}\\ \cline{2-4} (\alpha,e) & (e,e) & (\alpha,\alpha) & (e,\alpha) \\ (e,\alpha) & (\alpha,\alpha) & (e,e) & (\alpha,e) & \;=\; \\ (\alpha,\alpha) & (e,\alpha) & (\alpha,e) & (e,e) \\ \cline{2-4} \end{array} \begin{array}{r|ccc|c} \multicolumn{1}{c}{} & \multicolumn{1}{c}{a} & \multicolumn{1}{c}{b} & \multicolumn{1}{c}{c}\\ \cline{2-4} a & e & c & b &\\ b & c & e & a & =\mathbf{D_2}\\ c & b & a & e &\\ \cline{2-4} \end{array}}

Получившаяся группа $\textstyle \mathbf {D_{2}} =\{e,a,b,c\}$ из 4-х элементов (порядок равен 4) может быть записана следующим образом: $\textstyle \mathbf {D_{2}} =\mathbf {C_{2}} \times \mathbf {C_{2}}$.

Пусть $\textstyle f_{1}=e$ - единичный элемент группы $\textstyle {\mathcal {F}}$. Тогда множество элементов $\textstyle (f_{1},g_{1})$, Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \textstyle (f_1, g_2)} ,...,Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \textstyle (f_1, g_m)} образуют инвариантную подгруппу группы Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \textstyle \mathcal F\times \mathcal G} . Эта подгруппа изоморфна группе Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \textstyle \mathcal G} (Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \textstyle \lessdot} \,H).

Если две инвариантные подгруппы Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \textstyle \mathbf{A}} и $\textstyle \mathbf {B}$ группы Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \textstyle \mathbf{G}} пересекаются только на единичный элемент, и произведение множеств Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \textstyle \mathbf{A}\mathbf{B}} приводит к множеству Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \textstyle \mathbf{G}} , то группа Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \textstyle \mathbf{G}} изоморфна прямому произведению Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \textstyle \mathbf{A}\times\mathbf{B}} :

Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle (inv)\;\;\mathbf{A},\mathbf{B}\subset \mathbf{G},\;\;\;\;\mathbf{A}\cap\mathbf{B}=\{e\},\;\;\;\mathbf{A}\mathbf{B}=\mathbf{G}\;\;\;\;=>\;\;\;\;\mathbf{G}\approx\mathbf{A}\times\mathbf{B}.}

Это утверждение стоит попробовать доказать ($\textstyle \lessdot$\,H), доказав сперва, что если две инвариантные подгруппы не имеют общих элементов (кроме единичного), то их элементы коммутируют друг с другом (Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \textstyle \lessdot} \,H).

\hrule

В теории групп существует множество определений, которые необходимо выучить, каждый раз испытывая удивление тому, что 4 простые аксиомы порождают такое разнообразие алгебраических структур. Напомним наиболее важные термины:

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

---

Группа перестановок <<	Оглавление (Последняя версия в: Глава 5)	>> Представления групп

---

Релятивистский мир - лекции по теории относительности, гравитации и космологии