 The corresponding homomorphism is given by .The group formula_18 of upper-triangular matricesformula_19with non-zero determinant has a decomposition into the semi-direct productformula_20whereformula_21and formula_22 is the subgroup where the only non-zero entries are on the diagonal.This is called the group of diagonal matrices.