体上有限生成環の理論
可換環 R を部分環として含む(可換)環 A の元 a1 , ... , am が R 上代数的独立であるとは、変数 xi に ai を代入する操作で得られる準同型 R[x1 , ... , xm] → A が単射であることを言う。