群论 r=4 Jt'xae和mM. Evariste galois 11
群 论 11 Je n’ai pas le temps. ——Evariste Galois
半群 定义设(S,*)为代数系统，(S,*)为半群(Semigroup)指 (1)（x,y∈S)(x*y∈S) (2)(Vx,V,zES)((*y)*z=*(*)) 若(c,y∈S)(z*y=y*x)则称(S,x)为交换半群（abelian-半群) “代数系统”十“结合性”=“半群” ■例：代数系统{1,2}，*)为半群，其中*定义为 Vx,y∈{1,2，x*y=y 12
半 群 12