Reducibility of n-ary semigroups: from quasitriviality towards idempotency

DOI10.1007/S13366-020-00551-2zbMATH Open1491.20165arXiv1909.10412OpenAlexW3120553948MaRDI QIDQ2118358FDOQ2118358

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)

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$.

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

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

zbMATH Keywords

reducibilitysemigroupabelian groupidempotencyquasitrivialitypolyadic semigroup

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (6)

• Associative idempotent nondecreasing functions are reducible
• Every quasitrivial \(n\)-ary semigroup is reducible to a semigroup
• On a semigroup of \(n\)-ary operations
• On connection between reducibility of an \(n\)-ary quasigroup and that of its retracts.
• On the structure of symmetric \(n\)-ary bands
• Title not available (Why is that?)

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)