The subgroup , with , is the compact symplectic group, often denoted or . It preserves both a positive Hermitian metric and a nondegenerate complex alternating form.
The matrix logarithm near the identity maps onto an open set of its real compact symplectic Lie algebra . Its inverse is the matrix exponential. These statements follow by applying the logarithm to and , and differentiating . Left translations provide manifold charts at every group element. In block form with and , giving real dimension .
The special unitary group is .
The four-by-four unitary matrices of determinant one form this special unitary group. Its two-index antisymmetric representation has complex dimension six and the real structure of the SU4 exterior square realizes it on a six-dimensional real space.
For , the special unitary group acts transitively on the complex unit sphere. Extend any unit vector to an orthonormal basis, then adjust the phase of a remaining column to give determinant one. The stabilizer subgroup of the first vector consists of special unitary transformations of its orthogonal complement. Thus the sphere is a homogeneous quotient, not just a set with a norm-preserving action.
The SU(3) group consists of unitary complex three-by-three matrices of determinant one. Its defining action on preserves the Hermitian norm. It contains block-diagonal copies of SU(2) and the real SO(3) group. Its Lie algebra consists of traceless anti-Hermitian matrices.
The SU(2) group is the group of two-by-two unitary matrices of determinant one. It is a compact three-dimensional Lie group whose underlying manifold is a three-sphere.
An SU(2) matrix is a two-by-two complex unitary matrix with determinant one. It has the form with . Its action on the Riemann sphere is a rotational Möbius transformation; opposite matrices induce the same sphere rotation.
Every element of has the unique formThus is diffeomorphic to the unit three-sphere in and is a parallelizable manifold.
The determinant sends a unitary loop to a circle-valued loop. A nonzero determinant winding number proves that the original loop class has infinite order.
Articles by others on the same topic
Group of the unitary matrices.
Complex analogue of the orthogonal group.
One notable difference from the orthogonal group however is that the unitary group is connected "because" its determinant is not fixed to two disconnected values 1/-1, but rather goes around in a continuous unit circle. is the unit circle.