En matemática, el grupo ortogonal de grado n sobre un cuerpo F {\displaystyle \scriptstyle \mathbb {F} }, designado como O {\displaystyle \scriptstyle {\text{O}}}, es el grupo de matrices ortogonales n por n con las entradas en F {\displaystyle \scriptstyle \mathbb {F} }, con la operación de grupo dada por la multiplicación de matrices. Wikipedia