2021-04-23

半群のイデアルに対して、合同関係を定めることが出来て、それによる剰余を考えられます。これは群と正規部分群の関係に類似していますが、相違点もあります。