イデアルの根基
数学の一分野である可換環論において、イデアル "I" の根基（）とは、イデアルであって、何乗かすれば "I" の元となるような元全体の集合である。根基イデアル（あるいは半素イデアル、被約イデアル）とは、自分自身の根基と等しいようなイデアルのことである（これは「根基化」と呼ばれるイデアルへの作用の固定点であるということもできる）。準素イデアルの根基は素イデアルである。
ここで定義された根基イデアルは、半素環の記事において非可換環に一般化される。