论文部分内容阅读
本文利用行生成元表示plauctic代数,证明了这种表示中的关系集是一个Gr(o)bner-Shirshov基,由应用结合代数的合成钻石引理可知杨氏图表是此代数的一个线性基底.进而得到杨氏图表是plactic幺半群的一个规范形式的新的证明,此结果由D.E.Knuth[6]在1970年给出(参考[8]第5章).