 Since is obviously an epimorphism and monomorphism, then it is indeed an isomorphism.This also explains the definition of the multiplication rule in .The direct product is a special case of the semidirect product.