MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

This may be an easy exercise but I am not getting it. Let $\mathbf F_q$ be a finite field with $q$ elements and $\mathbf F_{q^2}$ be its degree two extension. Define an automorphism $\sigma$ of $\mathbf F_{q^2}$ by $\sigma (x) = x^q$. For any matrix $A = (a_{ij}) \in M_n(\mathbf F_{q^2})$, let $A^{\star} = (a_{ji}^{\sigma})$ (i.e., $A^{\star} = A^{\sigma \mathrm{t}}$). Then finite unitary group $U_n(q)$ is a given by

$ U_n(q) = \left\lbrace A \in GL_n(\mathbf F_{q^2}) | A A^{*} = I_{n} \right\rbrace $

In paper of Wall (page 33), it is mentioned that order of this group is $q^{(n^2-n)/2} \prod\limits_{i=1}^{n} (q^i - (-1)^i)$. Question is how to prove this? Any help will be appreciated.

share|cite|improve this question
2  
There's a "classical" formula of Steinberg for order of $G(k)$ for any conn'd ss group $G$ over finite field $k$: see 11.16 in his "Endomorphisms of linear alg. gps". Steinberg imposes extra hypotheses on $G$, but unnecessary, as explained in 1.6 in Oesterle's paper "Nombres de Tamagawa" (which gives an elegant description of the formula). The inputs in formula are dimension of $G$, size of $k$, action of geometric Weyl group on geometric character gp of max. $k$-torus $T$, and Frob. action on this char. gp. There's a shorter cohomological proof. – BCnrd Aug 3 '10 at 14:30
3  
A good reference for elementary proofs of such results is Wan Zhexian, Geometry of Classical Groups over Finite Fields, second ed., Science Press, Beijing/New York, 2002. – Richard Stanley Aug 3 '10 at 14:56
3  
The question is really just a reference-request (for an old, standard result). The unified Lie-theoretic viewpoint is best, but there are nice older treatments such as Emil Artin's "The orders of the classical simple groups", Comm. Pure Appl. Math. 8 (1955). That was the year of Chevalley's famous Tohoku paper, to which Artin alludes. Calculating such orders of finite linear groups is not a trivial exercise, since it requires a strategy, but is by now fairly elementary. – Jim Humphreys Aug 3 '10 at 15:08
2  
See Peter Cameron's notes on classical groups: maths.qmul.ac.uk/~pjc/class_gps . – Robin Chapman Aug 3 '10 at 16:10
4  
Advice: These further comments on unified proofs of the most general order formula are not directly an answer about finite unitary groups, but eventually it's the direction to go. In the short run, if access is a problem, try one of the more classical sources mentioned already or if necessary online notes. Don't spend a lot of time rediscovering proofs of such old theorems. There are many things left to do in mathematics. – Jim Humphreys Aug 3 '10 at 22:10
up vote 4 down vote accepted

This question from 2010 was just listed as "active", apparently because someone (not myself) downvoted it today. Anyway, rather than prolong the previous list of comments, I'll offer an explicit answer by pointing to an online resource that slightly predates Steinberg's 1968 AMS Memoir and is still a useful way to get into the details about Chevalley groups and their twisted analogues. In 1967-68, Steinberg gave a course at Yale which was written up by listeners and published in mimeographed form by the math department there. These typed notes are not as readable as typeset material and lack an index, but have been scanned in PDF format and placed on Steinberg's homepage at UCLA http://www.math.ucla.edu/~rst/

In particular, Section 11 deals with twisted groups, their Bruhat decompositions, and their orders. One advantage of this broader approach via Chevalley groups is that it makes transparent the close analogy between the order formulas for finite unitary groups and for special linear groups of similar size. In any case, as previous comments already indicate, the suggestion in the question that "This may be an easy exercise ..." is misguided. But the order formula itself is standard and well studied from a variety of directions in the literature cited.

share|cite|improve this answer
    
Do you know if Steinberg's web page (in particular, these scanned notes) is archived anywhere? – L Spice Feb 26 at 22:37
1  
I'm aware that the page was taken down at some point, but I'm unaware of any archived source (though some people other than me have presumably kept a copy of the PDF file of his Yale lecture notes). After Steinberg's death I heard that another effort would be made to arrange some kind of formal publication of the notes. Even though most topics are included in other sources such as Carter's 1972 book or more recent texts, the Steinberg notes still offer a unique perspective on others. – Jim Humphreys Feb 28 at 14:58
1  
P.S. I don't know what the current copyright status of Steinberg's lecture notes may be, but on checking my own notes I recall that at least one mathematician has created a LaTeX version of the original typed text. (So there are certainly PDF files circulating.) – Jim Humphreys Feb 28 at 15:09
    
Thanks for the pointers. – L Spice Mar 1 at 22:37

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.