标环即不变量环 formula_8。希尔伯特证明若 formula_6 是一般线性群，则 formula_8 是有限生成 formula_4-代数；此结果对一般的约化群依然成立，然而 formula_7 可能有颇复杂的几何性质，也未必满足商对象应满足的范畴论性质。