Supported by NSFC(No.11001046,No.11201305);Innovation Project of Shanghai Education Committee(No.12YZ081);Fundamental Research Foundation for the Central Universities(No.11D10904)
设A是非空集合,|A|=n.FA是A上的自由半群,γ是FA上的最小自由正则带同余.RA=FA/γ是集合FA上的自由正则带,|RA|表示RA中元素的个数.文章证明了(u,v)∈γ的充分必要条件为i(u)=i(v),f(u)=f(v),且|RA|=sum((n k)^(k!)~2)from k=1 to n.