WikiSort.ru - Не сортированное

Полупрямое произведение — конструкция в теории групп, позволяющая строить новую группу по двум группам ${\displaystyle H}$ и ${\displaystyle N}$ , и действию ${\displaystyle \phi }$ группы ${\displaystyle H}$ на группе ${\displaystyle N}$ автоморфизмами.

Полупрямое произведение групп ${\displaystyle N}$ и ${\displaystyle H}$ над ${\displaystyle \phi }$ обычно обозначается ${\displaystyle N\rtimes _{\phi }H}$ .

Конструкция

Пусть задано действие группы ${\displaystyle H}$ на пространстве группы ${\displaystyle N}$ с сохранением её групповой структуры. Это означает, что задан гомоморфизм ${\displaystyle \phi :H\rightarrow {\mbox{Aut}}(N)}$ группы ${\displaystyle H}$ в группу автоморфизмов группы ${\displaystyle N}$ . Автоморфизм группы ${\displaystyle N}$ , соответствующий элементу ${\displaystyle h}$ из ${\displaystyle H}$ при гомоморфизме ${\displaystyle \phi }$ обозначим ${\displaystyle \phi _{h}}$ . В качестве группы ${\displaystyle G}$  — полупрямого произведения групп ${\displaystyle H}$ и ${\displaystyle N}$ над гомоморфизмом ${\displaystyle \phi }$  — берётся множество ${\displaystyle N\times H}$ c бинарной операцией ${\displaystyle *}$ , действующей по правилу:

${\displaystyle (n_{1},h_{1})*(n_{2},h_{2})=(n_{1}\cdot \phi _{h_{1}}(n_{2}),h_{1}\cdot h_{2})}$ для любых ${\displaystyle n_{1},n_{2}\in N}$ , ${\displaystyle h_{1},h_{2}\in H}$ .

Свойства

1. Группы ${\displaystyle H}$ и ${\displaystyle N}$ естественно вложены в ${\displaystyle G}$ , причём ${\displaystyle N}$  — нормальная подгруппа в ${\displaystyle G}$ .
2. Каждый элемент ${\displaystyle g\in G}$ однозначно разложим в произведение ${\displaystyle g=nh}$ , где ${\displaystyle h}$ и ${\displaystyle n}$  — элементы групп ${\displaystyle H}$ и ${\displaystyle N}$ соответственно. (Это свойство оправдывает название группы ${\displaystyle G}$ как полупрямого произведения групп ${\displaystyle H}$ и ${\displaystyle N}$ .)
3. Заданное действие ${\displaystyle \phi }$ группы ${\displaystyle H}$ на группе ${\displaystyle N}$ совпадает с действием ${\displaystyle H}$ на ${\displaystyle N}$ сопряжениями (в группе ${\displaystyle G}$ ).

Всякая группа со свойствами 1—3 изоморфна группе ${\displaystyle G}$ (свойство универсальности полупрямого произведения групп).

Пример

Группа вычетов по модулю 4 (${\displaystyle \mathbb {Z} _{4}}$ ) действует на ${\displaystyle \mathbb {Z} _{5}}$ (рассматриваемой как аддитивная группа соответствующего кольца) четырьмя разными способами:

${\displaystyle \phi _{h}(n)=a^{h}n}$ , где ${\displaystyle a}$  — фиксированный ненулевой элемент ${\displaystyle \mathbb {Z} _{5}}$ , ${\displaystyle h\in \mathbb {Z} _{4}}$ , ${\displaystyle n\in \mathbb {Z} _{5}}$ .

Соответственно, на множестве ${\displaystyle \mathbb {Z} _{5}\times \mathbb {Z} _{4}}$ можно ввести 4 структуры группы — полупрямого произведения:

1. ${\displaystyle (n_{1},h_{1})*(n_{2},h_{2})=(n_{1}+n_{2},h_{1}+h_{2})}$
2. ${\displaystyle (n_{1},h_{1})*(n_{2},h_{2})=(n_{1}+(-1)^{h_{1}}n_{2},h_{1}+h_{2})}$
3. ${\displaystyle (n_{1},h_{1})*(n_{2},h_{2})=(n_{1}+2^{h_{1}}n_{2},h_{1}+h_{2})}$
4. ${\displaystyle (n_{1},h_{1})*(n_{2},h_{2})=(n_{1}+3^{h_{1}}n_{2},h_{1}+h_{2})}$

Можно показать, что последние две группы изоморфны, а остальные — нет, а также, что эти примеры перечисляют все группы порядка 20, содержащие элемент порядка 4 (при этом используются теоремы Силова).

Подобным образом полупрямое произведение групп используется вообще для классификации конечных групп.

Литература

• Винберг Э. Б. Курс алгебры. — 3-е изд. — М.: Факториал Пресс, 2002. — 544 с. — 3000 экз. — ISBN 5-88688-060-7.