试证明每个有限半群至少有一个幂等元
问题描述：
试证明每个有限半群至少有一个幂等元
答
设S是n阶有限半群.
a属于S
a,a^2,a^3,.,a^(n+1)均属于S
故存在a^i=a^j,其中1