極小イデアル
環 R の極小右イデアル N の定義は次の条件と同値である:
K が R の右イデアルで {0} ⊆ K ⊆ N であれば、K = {0} または K = N である。
N は単純右 R 加群である。
極小右イデアルは極大右イデアルの双対概念である。