Affine orthogonal group

Jump to: navigation, search
This article defines a natural number-parametrized system of algebraic matrix groups. In other words, for every field and every natural number, we get a matrix group defined by a system of algebraic equations. The definition may also generalize to arbitrary commutative unital rings, though the default usage of the term is over fields.
View other linear algebraic groups|View other affine algebraic groups

Definition

Let $k$ be a field and $n$ be a natural number. The affine orthogonal group $AO(n,k)$ is defined as the semidirect product of the vector space $k^n$ with the orthogonal group $O(n,k)$.

This is naturally a subgroup of the general affine group $GA(n,k)$, which in turn is a subgroup of the general linear group $GL(n+1,k)$.

As a map

As a functor from fields to groups

For fixed $n$, we get a functor from the category of fields to the category of groups, sending a field $k$ to the affine orthogonal group $AO(n,k)$.

As an IAPS

Further information: Affine orthogonal IAPS

The affine orthogonal groups form an IAPS of groups. In other words, for any natural numbers $m,n$, there is an injective group homomorphism:

$\Phi_{m,n}: AO(m,k) \times AO(n,k) \to AO(m+n,k)$.

This homomorphism essentially does the left group element on the first $m$ coordinates and the right group element on the next $n$ coordinates.

As a functor from fields to IAPSes

If we fix neither $n$ nor $k$, we get a functor that inputs a field and outputs an IAPS of groups.

Particular cases

Finite fields

Size of field Order of matrices Common name for the orthogonal group
Odd prime $p$ 1 Dihedral group $D_{2p}$
Odd $q$ 1 Semidirect product of elementary abelian group of order $q$ by inverse map.
$2^n$ 1 Elementary abelian group of order $2^n$.
2 2 Dihedral group:D8