Related papers: Some more axiomatisability for S-acts
The main purpose of this paper is investigating classes of acts that are injective relative to all embeddings with indecomposable domains or codomains. We give some homological classifications of monoids in light of such kinds of…
The themes of cancellation, internal cancellation, substitution have led to a lot of interesting research in the theory of modules over commutative and noncommutative rings. In this paper, we introduce and study cancellation problem in the…
A set $F$ of formulas is complete relative to a given class of logics, if every logic from this class can be axiomatized by formulas from $F$. A set of formulas $F$ is {\L}-complete relative to a given class of logics, if every logic of…
A coset relation algebra is one embeddable into some full coset relation algebra, the latter is an algebra constructed from a system of groups, a coordinated system of isomorphisms between quotients of these groups, and a system of cosets…
The class of all subdirectly irreducible groups belonging to a variety generated by a finite nilpotent group can be axiomatised by a finite set of elementary sentences.
This work is dedicated to the results were got in the model theory of the regular polygons. We give the characterization of the monoids with axiomatizable and model complete class of regular polygons. We describe the monoids with complete…
We give a new proof of the fact that finite bipartite graphs cannot be axiomatized by finitely many first-order sentences among FINITE graphs. (This fact is a consequence of a general theorem proved by L. Ham and M. Jackson, and the…
With every reduced $E$-Fountain semigroup $S$ which satisfies the generalized right ample condition we associate a category with zero morphisms $\mathcal{C}(S)$. Under some assumptions we prove an isomorphism of $\Bbbk$-algebras $\Bbbk…
The question of what conditions guarantee that a symplectic $S^1$ action is Hamiltonian has been studied for many years. In a 1998 paper, Sue Tolman and Jonathon Weitsman proved that if the action is semifree and has a non-empty set of…
In this paper, cogenerating classes of $S$-acts are introduced as those that can be used to cogenerate $S$-acts in an appropriate sense. Next, finitely cogenerated $S$-acts are introduced. Such an $S$-act is then characterized as one whose…
In this paper, we study the relationship between the two main categories of $S$-acts for a monoid $S$ with zero from the viewpoint of existence of projective covers and the equivalence is proven. Furthermore, monoids with zeros over which…
In this paper, we introduce (Rees) artinian S-acts as those acts that satisfy the descending chain condition on their (Rees) congruences. Then, we show that artinian S-acts are those acts whose all factor acts are finitely (Rees)…
The concept of a weak factorization system has been studied extensively in homotopy theory and has recently found an application in one of the proofs of the celebrated flat cover conjecture, categorical versions of which have been presented…
The paper is devoted to the investigation of uniform notion for acts over semigroups perceived as an overclass of subdirectly irreducible acts. We establish conditions to fill the gap between these classes of acts. Besides we prove that…
We discuss residual finiteness and several related separability conditions for the class of monoid acts, namely weak subact separability, strong subact separability and complete separability. For each of these four separability conditions,…
A monoid $S$ is said to be right coherent if every finitely generated subact of every finitely presented right $S$-act is finitely presented. Left coherency is defined dually and $S$ is coherent if it is both right and left coherent. These…
The paper adjoins the book B.Plotkin, S.Vovsi "Varieties of representations of groups", Riga, "Zinatne", 1983, and turns to be, in a sense, its continuation. In the book the varieties of representations had been considered. In the matter of…
We study the class of acts with embeddings as an abstract elementary class. We show that the class is always stable and show that superstability in the class is characterized algebraically via weakly noetherian monoids. The study of these…
A group is $\textit{finitely axiomatizable}$ (FA) in a class $\mathcal{C}$ if it can be determined up to isomorphism within $\mathcal{C}$ by a sentence in the first-order language of group theory. We show that profinite groups of various…
We introduce several classes of monoids satisfying up to five axioms and establish basic theories on their arithmetics. The one satisfying all the axioms is named natural monoid. Two typical examples are 1) the monoid $\mathbb{N}$ of…