Vector invariants for two-dimensional orthogonal groups over finite fields

Abstract: Let

m a t h b b F_{q}

be a finite field of characteristic 2 and

O_{2} (m a t h b b F_{q})^{+}

be the 2-dimensional orthogonal group of plus type over

m a t h b b F_{q}

. Consider the standard representation

V

of

O_{2} (m a t h b b F_{q})^{+}

and the ring of vector invariants

m a t h b b F_{q} [m V]^{O_{2} (m a t h b b F_{q})^{+}}

for any

m i n m a t h b b N^{+}

. We prove a first main theorem for

(O_{2} (m a t h b b F_{q})^{+}, V)

, i.e., we find a minimal generating set for

m a t h b b F_{q} [m V]^{O_{2} (m a t h b b F_{q})^{+}}

. As a consequence, we derive the Noether number

. We construct a free basis for

m a t h b b F_{q} [2 V]^{O_{2} (m a t h b b F_{q})^{+}}

over a suitably chosen homogeneous system of parameters. We also obtain a generating set of the Hilbert ideal for

m a t h b b F_{q} [m V]^{O_{2} (m a t h b b F_{q})^{+}}

which shows that the Hilbert ideal can be generated by invariants of degree

l e q s l a n t q - 1 = f r a c | O_{2} (m a t h b b F_{q})^{+} | 2

, confirming Derksen-Kemper's conjecture cite[Conjecture 3.8.6 (b)]{DK2002} in this particular case.

Recommendations

Cites work

Cited in

(13)

Describes a project that uses

Uses Software

This page was built for publication: Vector invariants for two-dimensional orthogonal groups over finite fields