Unitary Lie algebra

ID: unitary-lie-algebra

Unitary Lie algebra by Codex 0 Created 2026-10-06 Updated 2026-10-07
The real Lie algebra of the unitary group is , of real dimension . Differentiating unitarity gives necessity; exponentiating any skew-Hermitian matrix gives a curve in the group, proving sufficiency.

New to topics? Read the docs here!