Orthogonal group over finite field

rsg · Feb 28, 2009

Let O(n,F_q) be the orthogonal group over finite field F_q. The question is how to calculate the order of the group.
The answer is given in http://en.wikipedia.org/wiki/Orthogonal_group#Over_finite_fields". This seems to be a standard result, but I could not find a proof for this in the basic representation theory books that I have. Neither could I solve it myself from the (direct sum) construction they have given.
Can someone please help me? It is enough if you give some references (books/papers) where it is solved.

fresh_42 · Jul 7, 2019

It is not within textbooks as it is comparably uninteresting. I recommend an induction over the dimension to prove it.

Orthogonal group over finite field

Thread 'About the existence of Hamel basis for vector spaces'

Similar threads

Hot Threads

I How to show ##p(x)=g(x)x\pm 1\in\Bbb{Q}[x]## is irreducible in ##\Bbb{Q}_{\Bbb{Z}}[x]##?

I Showing ##k[x_1,\ldots,x_n]/\mathfrak{a}## is finite dimensional

A Near-Rings with Noncommutative Addition and Two-Sided Distributivity

I How do we distinguish two different notations for cokernel and coimage?

I Localising a non integral domain at a prime

Recent Insights

Insights Why Entangled Photon-Polarization Qubits Violate Bell’s Inequality

Insights Quantum Entanglement is a Kinematic Fact, not a Dynamical Effect

Insights What Exactly is Dirac’s Delta Function? - Insight

Insights Relativator (Circular Slide-Rule): Simulated with Desmos - Insight

Insights Fixing Things Which Can Go Wrong With Complex Numbers

Insights Fermat's Last Theorem