一般是矩阵。在行列式满足的线性代换下，判别式维持不变，所以判别式是一个不变量。这样的线性代换组成。共有哪一些的多项式在作用下不变？这些多项式统称为二元二次型的不变量。数学家发现，这些不变量都可以写作判别式的多项式。进一步推广，可以问二元次齐次多项式共有哪些不变量，这些不变量都会是系数的多项式。再进一步推广，还可以问多元齐次多项式有哪些不变量。不变量理论的主要目的是解答所谓的「有限基问题」：两个不变量之和、之积也是不变量，很自然地可以问，有没有可能从有限的若干个不变量，相加、相乘后得出所有的不