Hostname: page-component-8448b6f56d-wq2xx Total loading time: 0 Render date: 2024-04-23T20:58:10.048Z Has data issue: false hasContentIssue false

INVARIANT RINGS OF ORTHOGONAL GROUPS OVER ${\mathbb F}_2$

Published online by Cambridge University Press:  31 January 2005

P. H. KROPHOLLER
Affiliation:
Dept. of Mathematics, University of Glasgow, University Gardens, Glasgow G12 8QW e-mail: p.h.kropholler@maths.gla.ac.uk
S. MOHSENI RAJAEI
Affiliation:
Departement of Mathematics, Azzahra University, Vanak, Tehran, Iran e-mail: rajaei@azzahra.ac.ir
J. SEGAL
Affiliation:
Stegemühlenweg 70, 37083 Göttingen e-mail: joel@berlin.com
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

We determine the rings of invariants $S^G$ where $S$ is the symmetric algebra on the dual of a vector space $V$ over ${\mathbb F}_2$ and $G$ is the orthogonal group preserving a non-singular quadratic form on $V$. The invariant ring is shown to have a presentation in which the difference between the number of generators and the number of relations is equal to the minimum possibility, namely $\dim V$, and it is shown to be a complete intersection. In particular, the rings of invariants computed here are all Gorenstein and hence Cohen-Macaulay.

Keywords

Type
Research Article
Copyright
2005 Glasgow Mathematical Journal Trust