半直积

semi-direct product