Vector invariants for two-dimensional orthogonal groups over finite fields (Q1795162)

The present paper studies the vector invariant ring for the two dimensional orthogonal group \(O_2^+(\mathbb F_q)\) over a finite field \(\mathbb F_q\) of characteristic 2 with the standard representation. In the first main theorem is found a minimal generating set of the invariant ring. As a corollary is calculated the Noether number \(\beta_{mV}(O_2^+(\mathbb F_q))=\max\{q-1,m\}\). The author also constructs a free basis for the invariant ring for \(m=2\) over the invariant ring related to a direct product of two copies of \(O_2^+(\mathbb F_q)\). The third main result in this paper is aimed to find a generating set of the Hilbert ideal of the invariant ring and to show that it can be generated by invariants of degree \(\leq q-1\) confirming the conjecture of \textit{H. Derksen} and \textit{G. Kemper} [Computational invariant theory. Berlin: Springer (2002; Zbl 1011.13003), Conjecture 3.8.6 (b)] in this particular case.