Overview

and are the generalization of and in

The inner product defined on is as follows: For :

This is because we want to be a real number: (see calculation rules - complex numbers)

Groups preserving this are called the unitary group and the subgroup of whose determinant is is the special unitary group

Definition

Criterion for preserving the inner product

Similar to Rotation criterion:

Title

A linear transformation of preserves the inner product if and only if its matrix satisfies (see calculation rules - complex numbers)

Subgroup

The subgroup of whose members have determinant is the special unitary group

Example

  • is the multiplication group of unit quaternions, or as matrix:
  • or is the multiplication group of unit complex numbers
  • is

Path-Connectedness

is path-connected. proof similar to Path-Connectedness