半群和群semigroup and group.docVIP

9.半群和群semigroup and group §9.1 二元运算复习binary operation revisited A上二元运算 f：A×A→A f处处有定义的函数。 Dom（f）＝A×A， 对任意a，b∈A，f(a，b)∈A，唯一确定。 二元运算常记做＋，－，×，*，?，等等 对任意a，b∈A，a?b∈A 说成A对?封闭。 A＝{a1,a2,……,an}时，二元运算可以用运算表给出。 二元运算的性质 1可换commutative a*b=b*a 2 结合associative a*(b*c)=(a*b)*c 3 幂等idempotent a*a=a §9.2 半群semigroup 半群定义： (S,*) *是S上乘法，满足结合律。 半群的例 （Z，＋），（Z，×）， （N，×），（N，＋）， （Q，＋），（R，×）， （Zn，＋），（Zn，×） （P(S),∪），（P(S), ∩）， （Mn，＋），（Mn，×）， （F[x], +）, (F[x], ×)， S上全体映射，对于复合， （L，∧），（L，∨），L是格 （A*, (）, A* 是A中字符组成的字符串，