Artinian ring
ただし formula_20 は（アルティン環 formula_21 上の）加群の長さを意味する。formula_22 が "I" を生成するとすれば、それらの formula_23 における像は次数 1 をもち formula_24 を formula_25-多元環として生成する。ヒルベルト・セールの定理によって、"F" は位数 formula_26 の極を formula_27 にちょうど1つもつ有理関数である。