Definition:Semi-Direct Product