 Notice that this description gives the decomposition of formula_40 as formula_46 where formula_47 acts on formula_48 by formula_49.This implies formula_50.Also, a matrix of the formformula_51corresponds to the element formula_52 in the group.