【离散数学】商代数

版权声明：本文为博主原创文章，未经博主允许不得转载。 https://blog.csdn.net/wingrez/article/details/83042899

相关资料来源于网络，侵删歉。
如果文章中存在错误，请下方评论告知我，谢谢！

---

商代数

设A=<S,*,Δ,k>是一个代数系统，~是A上的同余关系，A关于~的商代数A/~=<S/~,*’,Δ’,[k]>。其中Δ’[a]=[Δa]   [a]*’[b]=[a*b]
注意：
S/~是集合的集合，即等价类的集合，形如：{[a], [b], …}
*’, Δ’是集合之间的运算
[k]是代数常元的集合