極大イデアル
環 の極大左イデアル（きょくだいひだりいである、）とは、 以外の左イデアルの中で（集合の包含関係に関して）極大なもののことである。すなわち、左イデアル を真に含む左イデアルが しかないときに を の極大左イデアルという。極大右イデアルおよび極大両側イデアルも同様に定義される。これらのイデアルは（環が 0 でなく単位元をもつとき）ツォルンの補題によって存在が保証される。可換環においては、左・右・両側の区別はない。唯一の極大左イデアルをもつ環は局所環と呼ばれる。