Every quasitrivial \(n\)-ary semigroup is reducible to a semigroup (Q2009228)

Here, \(n\)-ary operations \(F:{X^n} \to X\) are investigated which are associative, i.e. the value of \(F({x_1},\dots,{x_{i - 1}},F({x_i},\dots,{x_{i + n - 1}}),{x_{i + n}},\dots,{x_{2n - 1}})\) is the same for all \(1 \leqslant i \leqslant n - 1\), and quasitrivial, i.e. \(F({x_1},\dots,{x_n}) \in \{ {x_1},\dots,{x_n}\} \) for all \({x_1},\dots,{x_n} \in X\). The authors show that every associative quasitrivial \(n\)-ary operation, \(n > 2\), can be derived from a binary semigroup operation and provide conditions for such a reduction to be unique. Enumeration of associative and quasitrivial \(n\)-ary operations on finite set provides four new integer sequences for the On-Line Encylopedia of Integer Sequences.