ネーター環
大局次元は可換ネーター環の次元論で重要な技術的概念である。