考虑一般线性群 $\operatorname{GL}_{2}(K)$ 对多项式环 $K[X_{2 \times 2}]$ 的共轭作用。当 $K$ 为无限域时，不变环是生成元为迹和行列式的多项式环。我们描述了当 $K$ 为有限域时的不变环，并证明其为超曲面。我们还研究了其他经典子群以及对应于矩阵子空间（如迹零矩阵和对称矩阵）的多项式环。在每种情况下，我们都证明了不变环要么是多项式环，要么是超曲面。

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.