規約
K を単位元をもつ可換環とする。
A を単位元をもつとは限らない K 上の可換代数とする。
A のイデアルとは特に断らないかぎり A の環としてのイデアルで K-部分加群となっているものを言う。