Orthogonal group over finite field

Click For Summary
SUMMARY

The order of the orthogonal group O(n, F_q) over a finite field F_q can be calculated using established results found in literature, specifically referenced on Wikipedia. While this result is standard, it lacks comprehensive proofs in basic representation theory texts. The discussion suggests using induction over the dimension as a viable proof strategy. Further references or papers that detail this calculation are sought by participants in the forum.

PREREQUISITES
  • Understanding of orthogonal groups in linear algebra
  • Familiarity with finite fields, specifically F_q
  • Knowledge of representation theory fundamentals
  • Basic principles of mathematical induction
NEXT STEPS
  • Research the calculation of the order of orthogonal groups in "Representation Theory" by Fulton and Harris
  • Study the properties of finite fields in "Finite Fields" by Rudolf Lidl and Harald Niederreiter
  • Explore induction techniques in mathematical proofs
  • Review the Wikipedia page on orthogonal groups for additional context and references
USEFUL FOR

Mathematicians, particularly those specializing in group theory, representation theory, and finite fields, as well as students seeking to deepen their understanding of orthogonal groups.

rsg
Messages
4
Reaction score
0
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.
 
Last edited by a moderator:
Physics news on Phys.org
It is not within textbooks as it is comparably uninteresting. I recommend an induction over the dimension to prove it.
 

Similar threads

Graduate Question about ##FG## modules
  • · Replies 14 ·
Replies
14
Views
4K
Undergrad Decomposition per the Fundamental Theorem of Finite Abelian Groups
  • · Replies 13 ·
Replies
13
Views
3K
Graduate Classification of reductive groups via root datum
  • · Replies 3 ·
Replies
3
Views
3K
Undergrad Determining the number of conjugacy classes in a p-group
  • · Replies 6 ·
Replies
6
Views
2K
Graduate Orthogonal Transformations _ Benson and Grove on Finite Reflection Groups
  • · Replies 4 ·
Replies
4
Views
3K
Graduate Structure of modulo-integer matrix group GL(r,Z(n))?
  • · Replies 17 ·
Replies
17
Views
7K
Graduate What is a Group Representation and How Does it Act on a Vector Space?
  • · Replies 1 ·
Replies
1
Views
2K
Graduate Why is matter-free gravity not ultraviolet finite?
  • · Replies 13 ·
Replies
13
Views
4K
MHB Tensor Products of Modules and Free Abelian Groups based on Cartesian Product
  • · Replies 2 ·
Replies
2
Views
2K
Graduate How to find group types for a particular order?
  • · Replies 2 ·
Replies
2
Views
2K