摘要
对有限单胚（monoids）M的任意无a作它的幂a,a<sup>2</sup>…a<sup>n</sup>…,因M为有限集故必存在n,m,使 a<sup>n</sup>=a<sup>m</sup> n【m （1）取n中的最小者（显然存在且唯一）记为r+1,（r=0,1,…）并取适合a<sup>r+1</sup>=a<sup>m</sup>中的m的最小者。（显然也存在且唯一）记为r+τ+1（τ=1,2,…）于是（1）式变为: a<sup>r+τ+1</sup>=a<sup>r+1</sup> 不难证明a,a<sup>2</sup>,…a<sup>r</sup>,a<sup>r+1</sup>,…a<sup>r+r</sup>两两不同,且当s】
