クルル次元
where is a polynomial with integer coefficients, and formula_10 is the Krull dimension of .