Polynomial invariants of classical subgroups of GL2: Conjugation over finite fields
Abstract
Consider the conjugation action of the general linear group $\operatorname{GL}_{2}(K)$ on the polynomial ring $K[X_{2 \times 2}]$. When $K$ is an infinite field, the ring of invariants is a polynomial ring generated by the trace and the determinant. We describe the ring of invariants when $K$ is a finite field, and show that it is a hypersurface. We also consider the other classical subgroups, and the polynomial rings corresponding to other subspaces of matrices such as the traceless and symmetric matrices. In each case, we show that the invariant ring is either a polynomial ring or a hypersurface.
Fields of Study & Subjects
Advanced Algebra and Geometry
Coding theory and cryptography
Finite Group Theory Research
Publication details
- Journal / source
- Journal of Pure and Applied Algebra
- Volume
- 230
- Issue
- 8
- Pages
- 108307–108307
- Publication date
- 26 May 2026
- Language
- EN