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