On invariant fields of vectors and covectors
Abstract
Let ${\mathbb{F}_{q}}$ be the finite field of order $q$. Let $G$ be one of the three groups ${\rm GL}(n, \mathbb{F}_q)$, ${\rm SL}(n, \mathbb{F}_q)$ or ${\rm U}(n, \mathbb{F}_q)$ and let $W$ be the standard $n$-dimensional representation of $G$. For non-negative integers $m$ and $d$ we let $mW\oplus d W^*$ denote the representation of $G$ given by the direct sum of $m$ vectors and $d$ covectors. We exhibit a minimal set of homogenous invariant polynomials $\{\ell_1,\ell_{2},\dots,\ell_{(m+d)n}\}\subseteq \mathbb{F}_q[mW\oplus d W^*]^G$ such that $\mathbb{F}_q(mW\oplus d W^*)^G=\mathbb{F}_q(\ell_1,\ell_2,\dots,\ell_{(m+d)n})$ for all cases except when $md=0$ and $G={\rm GL}(n, \mathbb{F}_q)$ or ${\rm SL}(n, \mathbb{F}_q)$.
- Publication:
-
arXiv e-prints
- Pub Date:
- August 2017
- DOI:
- 10.48550/arXiv.1708.01593
- arXiv:
- arXiv:1708.01593
- Bibcode:
- 2017arXiv170801593C
- Keywords:
-
- Mathematics - Commutative Algebra;
- 13A50
- E-Print:
- Added a reference to the "No-name Theorem" and modified the introduction to account for this addition