クルル次元
The dimension dim"R"(M) of a module (defined as the Krull dimension of its support) provides an upper bound for local cohomology modules: