The semi direct product is defined for 2 subgroups, with 1 normal and 1 not normal.

Let a=normal subgroup:
(a1,R1)*(a2,R2)=(a1+R1a2,R1R2)


source
jl@crush.caltech.edu index
euclidean_group
poincare_group