クルル次元
For an algebra over a field, the dimension as vector space is finite if and only if its Krull dimension is 0.