Examples of Pomonoids of Full Transformations of a Poset

In this research, the partially ordered monoid (simple pomonoid) full transformations of a poset O(X) is studied, and some related properties are examined. We show that when the poset X_ is not totally ordered, the pomonoid of all decreasing singular self-maps of a poset X_ (denoted by S^-) and the pomonoid of all increasing singular self-maps of a poset X_ (denoted by S^+) may not be generally isomorphic. Some specific partial ordered relations are considered, and the cardinalities of S^- and S^+ under these relations are found. The set of fixed, decreasing, and increasing points of mapping α in O(X) are also investigated. KEYWORDS Posets, pomonoids, full transformations

Weak implicative filters in quasi-ordered residuated systems

The concept of residuated relational systems ordered under a quasiorder relation was introduced in 2018 by S. Bonzio and I. Chajda as a structure A = 〈A, ·,→, 1, R〉, where (A, ·) is a commutative monoid with the identity 1 as the top element in this ordered monoid under a quasi-order R. The author introduced and analyzed the concepts of filters and implicative filters in this type of algebraic structures. In this article, the concept of weak implicative filters in a quasi-ordered residuated system is introduced as a continuation of previous researches. Also, some conditions for a filter of such system to be a weak implicative filter are listed.

Implicative filters in quasi-ordered residuated systems

The concept of residuated relational systems ordered under a quasiorder relation was introduced in 2018 by S. Bonzio and I. Chajda as a structure 𝒜 = 〈A, ·,→, 1, R〉, where (A, ·) is a commutative monoid with the identity 1 as the top element in this ordered monoid under a quasi-order R. The author introduced and analyzed the concepts of filters in this type of algebraic structures. In this article, as a continuation of previous author’s research, the author introduced and analyzed the concept of implicative filters in quasi-ordered residuated systems.

S-acts over a Well-ordered Monoid with Modular Congruence Lattice

This work relates to the structural act theory. The structural theory includes the description of acts over certain classes of monoids or having certain properties, for example, satisfying some requirement for the congruence lattice. The congruences of universal algebra is the same as the kernels of homomorphisms from this algebra into other algebras. Knowledge of all congruences implies the knowledge of all the homomorphic images of the algebra. A left $S$–act over monoid $S$ is a set $A$ upon which $S$ acts unitarily on the left. In this paper, we consider $S$–acts over linearly ordered and over well-ordered monoids, where a linearly ordered monoid $S$ is a linearly ordered set with a minimal element and with a binary operation $ \ max$, with respect to which $S$ is obviously a commutative monoid; a well-ordered monoid $S$ is a well-ordered set with a binary operation $ \ max$, with respect to which $S$ is also a commutative monoid. The paper is a continuation of the work of the author in co-authorship with M.S. Kazak, which describes $S$–acts over linearly ordered monoids with a linearly ordered congruence lattice and $S$-acts over a well-ordered monoid with distributive congruence lattice. In this article, we give the description of S-acts over a well-ordered monoid such that the corresponding congruence lattice is modular.

Noetherian properties in composite generalized power series rings

Let ({\mathrm{\Gamma}},\le ) be a strictly ordered monoid, and let {{\mathrm{\Gamma}}}^{\ast }\left={\mathrm{\Gamma}}\backslash \{0\} . Let D\subseteq E be an extension of commutative rings with identity, and let I be a nonzero proper ideal of D. Set \begin{array}{l}D+[\kern-2pt[ {E}^{{{\mathrm{\Gamma}}}^{\ast },\le }]\kern-2pt] := \left\{f\in [\kern-2pt[ {E}^{{\mathrm{\Gamma}},\le }]\kern-2pt] \hspace{0.15em}|\hspace{0.2em}f(0)\in D\right\}\hspace{.5em}\text{and}\\ \hspace{0.2em}D+[\kern-2pt[ {I}^{{\Gamma }^{\ast },\le }]\kern-2pt] := \left\{f\in [\kern-2pt[ {D}^{{\mathrm{\Gamma}},\le }]\kern-2pt] \hspace{0.15em}|\hspace{0.2em}f(\alpha )\in I,\hspace{.5em}\text{for}\hspace{.25em}\text{all}\hspace{.5em}\alpha \in {{\mathrm{\Gamma}}}^{\ast }\right\}.\end{array} In this paper, we give necessary conditions for the rings D+[\kern-2pt[ {E}^{{{\mathrm{\Gamma}}}^{\ast },\le }]\kern-2pt] to be Noetherian when ({\mathrm{\Gamma}},\le ) is positively ordered, and sufficient conditions for the rings D+[\kern-2pt[ {E}^{{{\mathrm{\Gamma}}}^{\ast },\le }]\kern-2pt] to be Noetherian when ({\mathrm{\Gamma}},\le ) is positively totally ordered. Moreover, we give a necessary and sufficient condition for the ring D+[\kern-2pt[ {I}^{{\Gamma }^{\ast },\le }]\kern-2pt] to be Noetherian when ({\mathrm{\Gamma}},\le ) is positively totally ordered. As corollaries, we give equivalent conditions for the rings D+({X}_{1},\ldots ,{X}_{n})E{[}{X}_{1},\ldots ,{X}_{n}] and D+({X}_{1},\ldots ,{X}_{n})I{[}{X}_{1},\ldots ,{X}_{n}] to be Noetherian.

The X[[S]]-Sub-Exact Sequence of Generalized Power Series Rings

Let be a ring, a strictly ordered monoid, and K, L, M are R-modules. Then, we can construct the Generalized Power Series Modules (GPSM) K[[S]], L[[S]], and M[[S]], which are the module over the Generalized Power Series Rings (GPSR) R[[S]]. In this paper, we investigate the property of X[[S]]-sub-exact sequence on GPSM L[[S]] over GPSR R[[S]].

Quasi-injectivity of partially ordered acts

It is well known that injective objects play a fundamental role in many branches of mathematics. The question whether a given category has enough injective objects has been investigated for many categories. Also, quasi-injective modules and acts have been studied by many categorists. In this paper, we study quasi-injectivity in the category of actions of an ordered monoid on ordered sets ([Formula: see text]) with respect to embeddings. Also, we give the relation between injectivity, quasi-injectivity (with respect to embeddings), and poset completeness in the category [Formula: see text] and some of its important subcategories.

Modules with annihilation property

Let [Formula: see text] be an associative ring with identity. A right [Formula: see text]-module [Formula: see text] is said to have Property ([Formula: see text]), if each finitely generated ideal [Formula: see text] has a nonzero annihilator in [Formula: see text]. Evans [Zero divisors in Noetherian-like rings, Trans. Amer. Math. Soc. 155(2) (1971) 505–512.] proved that, over a commutative ring, zero-divisor modules have Property ([Formula: see text]). We study and construct various classes of modules with Property ([Formula: see text]). Following Anderson and Chun [McCoy modules and related modules over commutative rings, Comm. Algebra 45(6) (2017) 2593–2601.], we introduce [Formula: see text]-dual McCoy modules and show that, for every strictly totally ordered monoid [Formula: see text], faithful symmetric modules are [Formula: see text]-dual McCoy. We then use this notion to give a characterization for modules with Property ([Formula: see text]). For a faithful symmetric right [Formula: see text]-module [Formula: see text] and a strictly totally ordered monoid [Formula: see text], it is proved that the right [Formula: see text]-module [Formula: see text] is primal if and only if [Formula: see text] is primal with Property ([Formula: see text]).

The reduced ring order and lower semi-lattices II

This paper continues the study of the reduced ring order (rr-order) in reduced rings where [Formula: see text] if [Formula: see text]. A reduced ring is called rr-good if it is a lower semi-lattice in the order. Examples include weakly Baer rings (wB or PP-rings) but many more. Localizations are examined relating to this order as well as the Pierce sheaf. Liftings of rr-orthogonal sets over surjections of reduced rings are studied. A known result about commutative power series rings over wB rings is extended, via methods developed here, to very general, not necessarily commutative, power series rings defined by an ordered monoid, showing that they are wB.

The Sufficient Conditions for M[[S,w]] to be T[[S,w]]-Noetherian R[[S,w]]-module

In this paper, we investigate the sufficient conditions for T[[S,w]] to be a multiplicative subset of skew generalized power series ring R[[S,w]], where R is a ring, T Í R a multiplicative set, (S,≤) a strictly ordered monoid, and w : S®End(R) a monoid homomorphism. Furthermore, we obtain sufficient conditions for skew generalized power series module M[[S,w]] to be a T[[S,w]]-Noetherian R[[S,w]]-module, where M is an R-module.