inner semidirect product noun1 •The condition that a group G is a semidirect product of two subgroups N and H. formsinner semidirect products