Krull dimension
環 上の加群 に対し、 のクルル次元を、 を忠実加群とするような の剰余環のクルル次元によって定める。すなわち、等式