 This shows that the group of translations is a normal subgroup of the Euclidean group, that the Euclidean group is a semidirect product of the translation group and , and that the corresponding homomorphism is given by matrix multiplication