1. 程式人生 > >【離散數學】商代數

【離散數學】商代數

相關資料來源於網路,侵刪歉。
如果文章中存在錯誤,請下方評論告知我,謝謝!


商代數

設A=<S,*,Δ,k>是一個代數系統,~是A上的同餘關係,A關於~的商代數A/~=<S/~,*’,Δ’,[k]>。其中Δ’[a]=[Δa]   [a]*’[b]=[a*b]
注意:
S/~是集合的集合,即等價類的集合,形如:{[a], [b], …}
*’, Δ’是集合之間的運算
[k]是代數常元的集合