半导出Hall代数的Grobner-Shirshov基

在Dynkin型Ringel-Hall代数中,不可分解表示同构类之间的所有拟交换关系之集构成由这些关系生成的理想的一个极小Grobner-Shirshov基,并且相应的不可约元素构成此Ringel-Hall代数的一组PBW基.本文的目的是将把此结果推广到Dynkin箭图的半导出Hall代数上去.为此,首先通过计算所有合成来证明不可分解表示同构类之间的所有拟交换关系之集是一个极小Grobner-Shirshov基.然后,作为一个应用,通过取所有不可约元素构造一组PBW基.