商と因子と剰余

• 商環〈quotient ring〉
• 剰余環〈factor ring〉、剰余類環〈residue class ring〉

factor ringは、直訳すると因子環だが、フォン・ノンマン環のfactorを因子環と呼ぶこともある。商体は分数体で、局所化の一種、イデアルによる商環とは違う。商環は、合同関係 (congruence relation)による商集合になる。