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