Full-text PDF (657 kB)

DOI: https://doi.org/10.22405/2226-8383-2018-22-1-188-199

Abstract: Subdirectly irreducible universal algebras, i.e., algebras which are not decomposable into non-trivial subdirect product, play an important role in mathematics due to well-known Birkhoff Theorem which states that any algebra is a subdirect product of subdirectly irreducible algebras (in another terminology: every algebra is approximated by the subdirectly irreducible algebras). In view of this, it seems reasonable to study algebras with certain conditions on subdirectly irreducible algebras. One of the natural restrictions is the finiteness of all subdirectly irreducible algebras. More stronger restriction is boundness of orders of all subdirectly irreducible algebras.
An act over a semigroup (it is also an automaton, and a unary algebra) is a set with an action of the given semigroup on it. The acts over a fixed semigroup form a variety whose signature coincides with self semigroup. On the other hand, it is a category whose morphisms are homomorphisms from one act into another.
It is not difficult to see that the semigroups over which all subdirectly ireducible acts are finite, are exactly the semigroups over which all subdirectly irreducible acts are finitely approximated (in another terminology: residually finite). A more narrow class form semigroups over which all acts are approximated by acts of $n$ or less elements where $n$ is a fixed natural number.
In 2000, I. B. Kozhukhov proved that all non-trivial acts over a semigroup $S$ are approximated by two-element ones if and only if $S$ is a semilattice (a commutative idempotent semigroup). In 2014, I. B. Kozhukhov and A. R. Haliullina proved that any semigroup with bounded orders of dubdirectly irreducible acts is uniformly locally finite, i.e., for every $k$, the orders of $k$-generated subsemigroups are bounded. In the work of I. B. Kozhukhov and A. V. Tsarev 2019, the authors described completely the abelian groups over which all acts are finitely approximated, and also abelian groups over which all acts are approximated by acts of bounded orders.
In this work, we characterize the commutative semigroups over which all acts are approximated by acts consisted of $n$ or less elements.

Keywords: commutative semigroup, act over semigroup, subdirectly irreducible act, finite approximation.

Funding agency	Grant number
Moscow Center of Fundamental and Applied Mathematics

Received: 29.11.2020
Accepted: 21.02.2021

Citation: I. B. Kozhukhov, “Commutative semigroups with bounded orders of subdirectly irreducible acts”, Chebyshevskii Sb., 22:1 (2021), 188–199

Citation in format AMSBIB

Linking options:

https://www.mathnet.ru/eng/cheb996

https://www.mathnet.ru/eng/cheb/v22/i1/p188

Citing articles in Google Scholar: Russian citations, English citations
Related articles in Google Scholar: Russian articles, English articles