Category:Orthogonal Groups

From ProofWiki
Jump to navigation Jump to search

This category contains results about Orthogonal Groups.


Let $k$ be a field.


The ($n$th) orthogonal group (on $k$), denoted $\operatorname O \left({n, k}\right)$, is the following subset of the general linear group $\operatorname{GL} \left({n, k}\right)$:

$\operatorname O \left({n, k}\right) := \left\{ {M \in \operatorname{GL} \left({n, k}\right): M^\intercal = M^{-1} }\right\}$

where $M^\intercal$ denotes the transpose of $M$.