Напівпрямий добуток

Напівпрямий добуток — конструкція в теорії груп, що дозволяє будувати нову групу за двома групами $H$$H$ і $N$$N$, і дією $\phi$$\phi$ групи $H$$H$ в просторі групи $N$$N$, що зберігає її групову структуру.

Напівпрямий добуток груп $N$$N$ і $H$$H$ над $\phi$$\phi$ звичайно позначається $N\rtimes _{\phi }H$$N\rtimes _{\phi }H$.

Конструкція

Нехай задана дія групи $H$$H$ на просторі групи $N$$N$ із збереженням її групової структури. Це значить, що задано гомоморфізм $\phi :H\rightarrow {\mbox{Aut}}(N)$$\phi :H\rightarrow {\mbox{Aut}}(N)$ групи $H$$H$ в групу автоморфізмів групи $N$$N$. Автоморфізм групи $N$$N$, що відповідає елементу $h$$h$ із $H$$H$ при гомоморфізмі $\phi$$\phi$ позначимо $\phi _{h}$$\phi _{h}$. Як група $G$$G$ — напівпрямий добуток груп $H$$H$ і $N$$N$ над гомоморфізмом $\phi$$\phi$ — береться множина $N\times H$$N\times H$ з бінарної операцією $*$$*$, яка діє за правилом:

$(n_{1},h_{1})*(n_{2},h_{2})=(n_{1}\phi _{h_{1}}(n_{2}),h_{1}h_{2})$$(n_{1},h_{1})*(n_{2},h_{2})=(n_{1}\phi _{h_{1}}(n_{2}),h_{1}h_{2})$ для довільних $n_{1},n_{2}\in N$$n_{1},n_{2}\in N$, $h_{1},h_{2}\in H$$h_{1},h_{2}\in H$.

Властивості

1. Групи $H$$H$ і $N$$N$ природно вкладені в $G$$G$, причому $N$$N$ — нормальна підгрупа в $G$$G$.
2. Кожен елемент $g\in G$$g\in G$ однозначно розкладемо у добуток $g=nh$$g=nh$, де $h$$h$ і $n$$n$ — елементи груп $H$$H$ і $N$$N$ відповідно. (Ця властивість виправдовує назву групи $G$$G$ як напівпрямого добутку груп $H$$H$ і $N$$N$.)
3. Задана дія $\phi$$\phi$ груп $H$$H$ на групі $N$$N$ збігається з дією $H$$H$ на $N$$N$ спряженнями (в групі $G$$G$).

Будь-яка група з властивостями 1-3 ізоморфна групі $G$$G$ (властивість універсальності напівпрямогу добутку груп).

Обґрунтування  

• Асоціативність операції перевіряється безпосередньо. Використовуються співвідношення

$\phi _{h_{1}}\circ \phi _{h_{2}}(n)=\phi _{h_{1}h_{2}}(n)$$\phi _{h_{1}}\circ \phi _{h_{2}}(n)=\phi _{h_{1}h_{2}}(n)$ и $\,\phi _{h}(n_{1})\phi _{h}(n_{2})=\phi _{h}(n_{1}n_{2})$$\,\phi _{h}(n_{1})\phi _{h}(n_{2})=\phi _{h}(n_{1}n_{2})$.

• Одиницею групи G служит елемент $\,(1_{N},1_{H})$$\,(1_{N},1_{H})$, где $1_{N}$$1_{N}$ и $1_{H}$$1_{H}$ - единицы в группах N и H соответственно.
  (Используется равенство $\phi _{1_{H}}(n)=n$$\phi _{1_{H}}(n)=n$.)
• Элемент, обратный к $\,(n,h)$$\,(n,h)$, равен $(\,\phi _{h}^{-1}(n^{-1}),h^{-1})$$(\,\phi _{h}^{-1}(n^{-1}),h^{-1})$.
  • Для доказательства того, что этот элемент обратен слева, используется равенство $\phi _{h}^{-1}(n^{-1})=\phi _{h^{-1}}(n)^{-1}$$\phi _{h}^{-1}(n^{-1})=\phi _{h^{-1}}(n)^{-1}$.
• Відображення $n\to (n,1_{H})$$n\to (n,1_{H})$ и $h\to (1_{N},h)$$h\to (1_{N},h)$ гомоморфно вкладывают группы N и H в группу G. Их образы имеют единственный общий элемент - единицу группы G.
• Відображення $(n,h)\to h$$(n,h)\to h$ есть эпиморфизм группы G на группу H с ядром N. Отсюда следует, что группа N нормальна в G.
• Рівність $\,(n,h)=(n,1)*(1,h)$$\,(n,h)=(n,1)*(1,h)$ дає розклад довільного елемента групи G у добуток елементів n і h з груп N і H відповідно. З цієї ж рівності випливає і єдиність розпаду.
• Рівність $(\phi _{h}(n),1)=(1,h)(n,1)(1,h)^{-1}$$(\phi _{h}(n),1)=(1,h)(n,1)(1,h)^{-1}$ показиває, що дія групи H на N, задаваемое гомоморфизмом $\phi$$\phi$ совпадает с действием H на N сопряжениями.
• Щоб довести універсальну властивість напівпрямого добутку, треба скористатися формулою $(n_{1}h_{1})\cdot (n_{2}h_{2})=n_{1}(h_{1}n_{2}h_{1}^{-1})\cdot (h_{1}h_{2})$$(n_{1}h_{1})\cdot (n_{2}h_{2})=n_{1}(h_{1}n_{2}h_{1}^{-1})\cdot (h_{1}h_{2})$.
  З неї випливає, що добуток у групі G с однозначным NH-разложением (при умові нормальності групи N) повністю визначається правилами множення внутри подгрупп N і H и правилами спряження елементів із N елементами із H.

Приклад

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

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

Відповідно, на множині $\mathbb {Z} _{5}\times \mathbb {Z} _{4}$$\mathbb {Z} _{5}\times \mathbb {Z} _{4}$ можна ввести 4 структури групи - напівпрямого добутку:

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

Можна показати, що останні дві групи ізоморфні, а решта - ні, а також, що ці приклади перераховують всі групи порядку 20, що містять елемент порядку 4 (при цьому використовуються теореми Силова).

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

Література

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