A basis for the type \(\langle n\rangle\) hyperidentities of the medial variety of semigroups (Q1894688)

An identity \(E\) is hypersatisfied by a variety \(V\) if whenever the operation symbols in \(E\) are replaced by term functions of \(V\) of the appropriate arity, then the resulting identity is an identity in \(V\); \(E\) is then said to be a hyperidentity of \(V\). The medial variety \(MV\) of semigroups is the variety of semigroups satisfying the medial identity \(xyzw = xzyw\). The variety \(MV\) satisfies not only the type \(\langle 2\rangle\) hyperidentity \(F(F(x,y), F(z,w)) = F(F(x,z), F(y,w))\), but also, for \(n \geq 2\), the type \(\langle n\rangle\) version \[ F(F(x_{11}, \dots, x_{n1}), \dots, F(x_{n1}, \dots, x_{nn})) = F(F(x_{11}, \dots, x_{n1}), \dots, F(x_{1n}, \dots, x_{nn})). \] However, \(MV\) satisfies other hyperidentities that are not consequences of these medial ones. In [Algebra Univers. 33, 15-25 (1995; Zbl 0820.20067)], the author proved that the type \(\langle 2\rangle\) hyperidentities of \(MV\) do not have a finite basis, and in this paper she extends this result to the type \(\langle n\rangle\) hyperidentities by constructing, for each \(n\), a countably infinite set \(\Sigma_n\) of type \(\langle n\rangle\) hyperidentities which form a basis for the type \(\langle n\rangle\) hyperidentities, and showing that no finite set of type \(\langle n\rangle\) hyperidentities will suffice.