超幻日記

素粒子、量子論、宇宙論のことを辺境にいる一人の視点から改めて眺めてみます。単なる勉強帳になるかも。。

環

イデアルは集合として包含関係をつけていくことができる。その包含関係の極大のものを極大イデアルという。当然、環について極大イデアルは複数あって良い。
逆にいえば極大イデアルが一個しかない環は特殊であって、そのような環は局所環と呼ばれる。