Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Let $V$ be finite dimensional vector spaces and $q$ is quadratic form. I'm looking for $Z(SO(V,q))$. where $SO(V,q)$ is special orthogonal group.

If $\operatorname{dim} V$ is odd then $Z(SO(V,q))={I}$ because $-\sigma_u\in SO(V,q) $ where $\sigma_u$ is reflection $$\sigma_u(x)=x-2\frac{b(x,u)}{q(u)}$$ But I couldn't calculate center when $\operatorname{dim} V$ is even.

I have not any idea how to deal with it.

Thanks.

share|improve this question
    
Do you know the signature of $q$? I'm confused about $\sigma_u$ in the case of $q(u) = 0$. –  Jason DeVito Jun 4 '12 at 14:34
    
For example $q$ could be identically zero, in which case ${\rm SO}(V,q) = {\rm GL}(V)$ with centre all scalars. It also depends heavily on the field over which $V$. –  Derek Holt Jun 4 '12 at 15:31
    
@JasonDeVito the definition reflection $\sigma_u$ is for $q(u)\neq0$ –  Babak Miraftab Jun 4 '12 at 17:47
    
@DerekHolt You are right.Let $\mathbb F$ be finite field and $char(\mathbb F)\neq 2$. –  Babak Miraftab Jun 4 '12 at 17:49

1 Answer 1

up vote 2 down vote accepted

For finite fields of odd characteristic, there are two types of quadratic form when $n = {\rm dim} V$ is even and one type when $n$ is odd. When $n>2$, the groups ${\rm SO}(V,q)$ act absolutely irreducibly on $V$, and so only scalar matrices could be in the centre. But for the scalar $\lambda I_n$ to preserve $q$, we need $\lambda^2=1$, so $\lambda = \pm 1$. Hence $Z({\rm SO}(V,q))$ has order 1 when $n$ is odd and 2 when $n$ is even.

When $n=2$, ${\rm SO}(V,q)$ is a cyclic (and hence abelian) group of order $|F|-1$ when the form $q$ has plus-type and $|F|+1$ when $q$ has minus-type.

share|improve this answer
    
I don't understand why only scaler matrices could be in the center. –  Babak Miraftab Jun 5 '12 at 5:19
1  
It is a consequence of Schur's Lemma in Representation Theory that the centralizer (in the matrix algebra) of the image of an irreducible representation is a division algebra over $F$ and, if the representation is absolutely irreducible, then it consists of scalar matrices only. –  Derek Holt Jun 5 '12 at 8:32
    
Dear Holk I am looking for solution without Representation theory. May you suggest solution with reflection or something like this –  Babak Miraftab Jun 5 '12 at 12:31

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.