include("../../../header.php") ?>
If the field F is the field of real or complex numbers, then the unitary group U(n,F) is a Lie group.