定義
K を単位元をもつ可換環とする。
A を単位元をもつとは限らない K 上の可換代数とする。
I を A のイデアル(>>60)とする。
A の I を法とする単位元（>>61）が存在するとき I を正則イデアルと言う。