Let $O(2,\mathbb{Z}_2)$ be the orthogonal group of order two matrices. On $\mathbb{Z}_2$ there should exist just one odd quadratic form, hence the stabilizer subgroup $O^-$ of an odd quadratic for should be the whole group. Is it really so or I am confused? On the other hand the even stabilizer $O^+$ should have index 3, so - since the order of $O$ is 6 - I guess $O^+$ is just $\pm Id$. Can someone confirm this?
orthogonal group in characteristic 2
IMeasy
- 3.8k
- 22
- 37