 In this context, the semidirect product is the "space of orbits" of the group action.The latter approach has been championed by Alain Connes as a substitute for approaches by conventional topological techniques; c.f.noncommutative geometry.