Artinian ring
アルティン環（例えば体）の次元は 0 なので、帰納的に次の公式を得る。アルティン環 "R" に対して