ПОЛУПРЯМОЕ ПРОИЗВЕДЕНИЕ ГРУППЫ $K$ НА ГРУППУ $H$

группа $G$, являющаяся произведением своих подгрупп $K H$ (то есть любой элемент из $G$ однозначно представим в виде произведения элемента из $K$ на элемент из $H)$, причем $H$ - нормальная подгруппа в $G$ и $H \cap K=\{1\}$. Подгруппа $K$ изоморфна факторгруппе $G / H$. Однако не обязательно группа разложима в П. п. своей нормальной подгруппы и нек-рой другой. См. также Расширение группы.

группа $G$, являющаяся произведением своих подгрупп $K H$ (то есть любой элемент из $G$ однозначно представим в виде произведения элемента из $K$ на элемент из $H)$, причем $H$ - нормальная подгруппа в $G$ и $H \cap K=\{1\}$. Подгруппа $K$ изоморфна факторгруппе $G / H$. Однако не обязательно группа разложима в П. п. своей нормальной подгруппы и нек-рой другой. См. также Расширение группы.