Split orthogonal group over a finite field

asked 2022-10-28 12:02:32 +0100


I want to use the split orthogonal group in simulations (explicit description at wiki page “ Indefinite orthogonal group”) over a finite field (\mathbb{F}_p).

I was able to get classical groups that leave a bilinear form invariant, though was not able to enter a general form (and in particular the form that the split orthogonal group leaves invariant)

Thanks in advance

edit retag flag offensive close merge delete


Sound like a theory question.What is your trouble with Sage,?

Max Alekseyev gravatar imageMax Alekseyev ( 2022-11-01 03:23:09 +0100 )edit