定義
K を可換体とする。
A を単位元をもつとは限らない K 上の可換代数とする。
A の正則(>>62)な極大イデアル全体の共通集合を A の根基といい rad(A) と書く。