 The group action of formula_22 on formula_24 is induced by matrix multiplication.If we setformula_25and formula_26then their matrix multiplication is formula_27This gives the induced group action formula_28 is given byformula_29A matrix in formula_18 can be represented by a matrices in formula_24 and formula_22.Hence formula_20.