Every quasitrivial n-ary semigroup is reducible to a semigroup

DOI10.1007/S00012-019-0626-0MaRDI QIDQ2009228zbMATH OpenOpenAlexWikidataFDO

Authors Miguel Couceiro, Jimmy Devillet

Publication date 27 November 2019

Published in Algebra Universalis (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1904.05968

zbMATH Keywords

enumerationquasitrivial \(n\)-ary semigroupreducibilitysymmetry

Mathematics Subject Classification ID

Exact enumeration problems, generating functions (05A15) Relational systems, laws of composition (08A02) Calculation of integer sequences (11Y55) Commutative semigroups (20M14) (n)-ary systems ((nge 3)) (20N15)

Abstract: We show that every quasitrivial n-ary semigroup is reducible to a binary semigroup, and we provide necessary and sufficient conditions for such a reduction to be unique. These results are then refined in the case of symmetric n-ary semigroups. We also explicitly determine the sizes of these classes when the semigroups are defined on finite sets. As a byproduct of these enumerations, we obtain several new integer sequences.

Review text

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.

Recommendations

• Reducibility of \(n\)-ary semigroups: from quasitriviality towards idempotency
• scientific article; zbMATH DE number 65103
• On connection between reducibility of an \(n\)-ary quasigroup and that of its retracts.
• On reducibility of n-ary quasigroups
• Quasitrivial semigroups: characterizations and enumerations

Cites work

• A projection property
• Associative idempotent nondecreasing functions are reducible
• Characterizations of quasitrivial symmetric nondecreasing associative operations
• Conservative constraint satisfaction re-revisited
• scientific article; zbMATH DE number 2024859 (Why is no real title available?)
• scientific article; zbMATH DE number 3366923 (Why is no real title available?)
• On n-ary semigroups with adjoint neutral element.
• Quasitrivial semigroups: characterizations and enumerations
• The free algebra in the variety generated by quasi-trivial semigroups

Cited in

(9)

• Characterizations of quasitrivial symmetric nondecreasing associative operations
• Reducibility of \(n\)-ary semigroups: from quasitriviality towards idempotency
• Classifications of quasitrivial semigroups
• Quasitrivial semigroups: characterizations and enumerations
• scientific article; zbMATH DE number 2037813 (Why is no real title available?)
• scientific article; zbMATH DE number 1788268 (Why is no real title available?)
• On the structure of symmetric \(n\)-ary bands
• Menger systems of idempotent cyclic and weak near-unanimity multiplace functions
• Representations of superassociative algebras by commutative functions with different types

Describes a project that uses

Uses Software

• OEIS

This page was built for publication: Every quasitrivial \(n\)-ary semigroup is reducible to a semigroup

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2009228)