complex matrix U is specialunitary if it is unitary and its matrix determinant equals 1. For real numbers, the analogue of a unitary matrix is an orthogonal
mathematics, the projective unitarygroup PU(n) is the quotient of the unitarygroup U(n) by the right multiplication of its center, U(1), embedded as scalars
mathematics, the special linear group SL(n, R) of degree n over a commutative ring R is the set of n × n matrices with determinant 1, with the group operations