合同関係

スポンサーリンク
半環

半環合同と剰余半環

半環における合同関係は2つの演算に関するものです。 この合同関係は演算が同値類に関してwell-definedである(そうなるように定義された)ため商集合に移して考えることが出来ます。
半群

半群合同と剰余半群

半群の基本概念である半群合同と剰余半群を紹介します。定義はマグマ合同・剰余マグマと同様で、マグマを半群に置き換えたものです。
数学

合同関係

代数的構造を理解する方法として、商集合を考える事が良くあります。この商集合も元の代数的構造と同じように演算を考えるのが自然ですが、商集合上の演算、つまり同値類の演算を元の演算から矛盾なく定義するため(well-defined)に必要となるのが合同関係です。
スポンサーリンク