離散數學-9 代數系統

            定義7.11 設º爲S上的二元運算, 如果對於任意的x,y,z∈S,滿足以下條件： （1）若x º y=x º z 且x≠θ，則y=z; （2）若y º x=z º x 且x≠θ，則y=z; 則稱運算 º 滿足消去律，（1）稱作左消去律，（2）稱作右消去律。 如果S中某些x滿足x º x=x, 則稱x爲運算º的冪等元 定義9.1 設S爲集合，函數f：SSS 稱爲S上的二

>>阅读原文<<