 Another generalization is for groupoids.This occurs in topology because if a group acts on a space it also acts on the fundamental groupoid of the space.The semidirect product is then relevant to finding the fundamental groupoid of the orbit space .