| In the research of algebra,it is a momentous problem to construct a basis of the quotient of some algebraic structures.In this paper,a way to construct a basis of the quotient of free involution monoids using the method of rewriting systems was provide firstly.Afterwards,we introduced the notation of(2,1,1,· · ·,1)-typed involution monoid and construct the term-rewriting system on(2,1,1,· · ·,1)-typed free involution monoids with a monomial order and investigate the relationship between this rewriting system and the basis of(2,1,1,· · ·,1)-typed free involution monoids.Finally,an example was given to compute corresponding rewriting system. |
