Single identities for varieties equivalent to quadruple systems (Q1382834)

If \(H\) is a subgroup of the symmetric group \(S_4\), then a 3-groupoid \((S,f)\) is called \(H\)-permutable if \(f(x_{\sigma(1)}x_{\sigma(2)}x_{\sigma(3)})=x_{\sigma(4)}\) if and only if \(f(x_1,x_2,x_3)=x_4\) for every \(\sigma\in H\). Some classes of generalized idempotent \(H\)-permutable 3-groupoids are equivalent to Steiner, Mendelsohn and other quadruple systems. The authors prove that the variety of generalized idempotent \(H\)-permutable 3-groupoids can be defined by a single identity for every subgroup \(H\) of \(S_4\) which contains at least one permutation \(\sigma\) such that \(\sigma(4)\neq 4\). This paper is related to the paper [Bull. Aust. Math. Soc. 53, No. 3, 419-424 (1996; Zbl 0887.20038)]\ by \textit{Z. Stojaković}.