简介:本文介绍了结合代数上的Grobner—Shirshov基理论,并找到了四元数群的一个Grobner—Shirshov基,从而得到四元数群的一组正规型.
四元数群的Grobner-Shirshov基及其正规型