semidirect product

operation in group theory