Axiomatization of some classes of acts over semigroups

DOI10.3103/S0027132225700421MaRDI QIDQ6850579zbMATH OpenFDO

Authors D. S. Khramchenok

Publication date 2 March 2026

Published in Moscow University Mathematics Bulletin (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3103/S0027132225700421

zbMATH Keywords

act over semigroupelementary abelian 2-groupfinitely axiomatized classleft zero semigroupright zero semigroupsubdirectly irreducible act

Mathematics Subject Classification ID

Varieties and pseudovarieties of semigroups (20M07) Representation of semigroups; actions of semigroups on sets (20M30)

Review text

Let \(S\) be a semigroup. A class of \(S\)-acts is called \textit{finitely axiomatized in the class of all acts} if there exists a finite system of axioms together with axioms of the act (i.e., the axioms of the form \(x(s_is_j)=(xs_i)s_j\)) that forms the theory whose models are exactly the acts of this class. The author proves that the class of subdirectly irreducible acts over a finite semigroup is finitely axiomatized. A monoid \(S\) fulfilling the identity \(s^2=1\) for all \(s \in S\) is called \textit{an elementary abelian \(2\)-group}. It is also proved that the classes of subdirectly irreducible acts over an infinite right (left) zero semigroup and over an infinite elementary abelian \(2\)-group are not finitely axiomatized.

Cites work

• Acts over semigroups
• Combinatorial set theory
• scientific article; zbMATH DE number 4027415 (Why is no real title available?)
• scientific article; zbMATH DE number 3529757 (Why is no real title available?)
• scientific article; zbMATH DE number 7310281 (Why is no real title available?)
• scientific article; zbMATH DE number 3227055 (Why is no real title available?)
• Monoids, acts and categories. With applications to wreath products and graphs. A handbook for students and researchers
• On injective and subdirectly irreducible S-acts over left zero semigroups
• Semigroups with finitely approximatable acts
• Subdirectly irreducible acts over some semigroups

This page was built for publication: Axiomatization of some classes of acts over semigroups

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