Từ điển

を先ほどの環準同型で送ると 0 になることを先の合同式の定義とする。 クンマーはこの合同式で理想因子が含まれるかどうか判定することを化学で例えて「試薬によって生じる沈殿物で溶液に含まれる元素を決定するようなもの」と言っている。 記号は今までと同じとする。クンマーが定義した環準同型 Z[η, η1, ..., ηe − 1]