# Special Orthogonal Group is Group

## Theorem

Let $k$ be a field.

The $n$th orthogonal group on $k$ is a group.

## Proof

A direct corollary of Special Orthogonal Group is Subgroup of Orthogonal Group.

$\blacksquare$