多元環の正則表現 K を可換環とします。 が多元環の構造を持つとき、 は から、 上の自己線型準同型 への環準同型になります。また、 ならば ゆえ 、すなわち は単射です。 一方、 は の K-自由加群としての基底を固定することで とみなせるので、この対応と…