Материал из Википедии — свободной энциклопедии
Полупрямое произведение групп G и H над гомоморфизмом (обозначается по разному, в том числе G ⋊φ H) — множество G × H, наделенное операцией *, для которой (g1,h1) * (g2,h2) = (g1φ(h1)(g2),h1h2) для любых , .