Полупрямое произведение групп G и H над гомоморфизмом , — множество , наделенное бинарной операцией *, для которой для любых , . Полупрямое произведение групп и над обычно обозначается .
Полупрямое произведение групп G и H над гомоморфизмом , — множество , наделенное бинарной операцией *, для которой для любых , . Полупрямое произведение групп и над обычно обозначается .