The Identity Basis Of A Minimal Non-finitely Based Involution Semigroup

The finite basis problem of semigroups and its involution semigroups is an important research problem in semigroup algebra theory and universal algebra.In the 1980s,it proved that all semigroups of order less than or equal to 5 are finitely based.Recently,M.Gao et al discovered that an involution semigroup A₀¹ of order 5 is non-finitely based.This amazing result has caused many scholars to pay attention to A₀¹.In this paper,we study the identity properties of this involution semigroup,and then give an infinite identity basis.