Combinatorial generators of the multilinear polynomial identities

A Gröbner–Shirshov basis (a combinatorial system of generators) is defined in the set of multilinear elements of a T-ideal of the free associative algebra with a countable set of indeterminates. A combinatorial version of the well-known Specht problem about the finite basedness of polynomial identities of an arbitrary associative algebra is formulated. A “combinatorial Spechtness” property of the multilinear product of commutators of degree 2 and the same property for the three-linear commutator are established.