Reducibility of n-ary semigroups: from quasitriviality towards idempotency

DOI10.1007/S13366-020-00551-2MaRDI QIDQ2118358zbMATH OpenOpenAlexFDO

Authors Miguel Couceiro, Jimmy Devillet, Jean-Luc Marichal, Pierre Mathonet

Publication date 22 March 2022

Published in Beiträge zur Algebra und Geometrie (Search for Journal in Brave)

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

zbMATH Keywords

reducibilitysemigroupabelian groupidempotencyquasitrivialitypolyadic semigroup

Mathematics Subject Classification ID

General structure theory for semigroups (20M10) (n)-ary systems ((nge 3)) (20N15)

Abstract: Let $X$ be a nonempty set. Denote by $mathcal{F}_k^n$ the class of associative operations $Fcolon{X}^{n}oX$ satisfying the condition $F(x_1,ldots,x_n)in{x}_1,ldots,x_n$ whenever at least $k$ of the elements $x_1,ldots,x_n$ are equal to each other. The elements of $mathcal{F}_1^n$ are said to be quasitrivial and those of $mathcal{F}_n^n$ are said to be idempotent. We show that $mathcal{F}_1^n=cdots=mathcal{F}_{n-2}^{n}subseteqmathcal{F}_{n-1}^{n}subseteqmathcal{F}_n^n$ and we give conditions on the set $X$ for the last inclusions to be strict. The class $mathcal{F}_1^n$ was recently characterized by Couceiro and Devillet, who showed that its elements are reducible to binary associative operations. However, some elements of $mathcal{F}_n^n$ are not reducible. In this paper, we characterize the class $mathcal{F}_{n-1}^{n}setminusmathcal{F}_1^n$ and show that its elements are reducible. We give a full description of the corresponding reductions and show how each of them is built from a quasitrivial semigroup and an Abelian group whose exponent divides $n-1$.

Recommendations

• Every quasitrivial \(n\)-ary semigroup is reducible to a semigroup
• On a semigroup of \(n\)-ary operations
• On reducibility of \(n\)-ary quasigroups
• On connection between reducibility of an \(n\)-ary quasigroup and that of its retracts.
• Associative idempotent nondecreasing functions are reducible

Cites work

• scientific article; zbMATH DE number 3972929 (Why is no real title available?)
• scientific article; zbMATH DE number 706263 (Why is no real title available?)
• A description of \(n\)-ary semigroups polynomial-derived from integral domains.
• A projection property
• Around the Hosszú-Gluskin theorem for n-ary groups.
• Associative idempotent nondecreasing functions are reducible
• Characterizations of quasitrivial symmetric nondecreasing associative operations
• Every quasitrivial \(n\)-ary semigroup is reducible to a semigroup
• Idempotents in \(n\)-ary semigroups
• On \(n\)-ary semigroups with adjoint neutral element.
• On associative operations on commutative integral domains
• Quasitrivial semigroups: characterizations and enumerations
• The free algebra in the variety generated by quasi-trivial semigroups

Cited in

(6)

• Associative idempotent nondecreasing functions are reducible
• Every quasitrivial \(n\)-ary semigroup is reducible to a semigroup
• On connection between reducibility of an \(n\)-ary quasigroup and that of its retracts.
• On a semigroup of \(n\)-ary operations
• On the structure of symmetric \(n\)-ary bands
• scientific article; zbMATH DE number 1743812 (Why is no real title available?)

This page was built for publication: Reducibility of \(n\)-ary semigroups: from quasitriviality towards idempotency

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