Orthogonal Group - Over Finite Fields

Over Finite Fields

Orthogonal groups can also be defined over finite fields Fq, where q is a power of a prime p. When defined over such fields, they come in two types in even dimension: O+(2n, q) and O−(2n, q); and one type in odd dimension: O(2n+1, q).

If V is the vector space on which the orthogonal group G acts, it can be written as a direct orthogonal sum as follows:

where Li are hyperbolic lines and W contains no singular vectors. If W = 0, then G is of plus type. If W = then G has odd dimension. If W has dimension 2, G is of minus type.

In the special case where n = 1, is a dihedral group of order .

We have the following formulas for the order of O(n, q), when the characteristic is greater than two:

If −1 is a square in Fq

If −1 is a non-square in Fq

Read more about this topic:  Orthogonal Group

Famous quotes containing the words finite and/or fields:

    God is a being of transcendent and unlimited perfections: his nature therefore is incomprehensible to finite spirits.
    George Berkeley (1685–1753)

    On fields all drenched with blood he made his record in war, abstained from lawless violence when left on the plantation, and received his freedom in peace with moderation. But he holds in this Republic the position of an alien race among a people impatient of a rival. And in the eyes of some it seems that no valor redeems him, no social advancement nor individual development wipes off the ban which clings to him.
    Frances Ellen Watkins Harper (1825–1911)