On a conjecture of Bulman-Fleming and Gilmour

If S is a monoid, the set S×S equipped with componentwise S-action is called the diagonal act of S and is denoted by D(S). We prove the following theorem: the right S-act S ⁿ (1≠n∈?) is (principally) weakly flat if and only if \(\prod _{i=1}^{n}A_{i}\) is (principally) weakly flat where A _i , 1≤i≤n are (principally) weakly flat right S-acts, if and only if the diagonal act D(S) is (principally) weakly flat. This gives an answer to a conjecture posed by Bulman-Fleming and Gilmour (Semigroup Forum 79:298–314, 2009). Besides, we present a fair characterization of monoids S over which the diagonal act D(S) is (principally) weakly flat and finally, we impose a condition on D(S) in order to make S a left PSF monoid.     

Weakly Integrally Closed Numerical Monoids and Forbidden Patterns

An integral domain D is weakly integrally closed if whenever x is in the quotient field of D, and J is a nonzero finitely generated ideal of D such that xJ ? J ², then x is in D. We define weakly integrally closed (WIC) numerical monoids similarly. If a monoid algebra is weakly integrally closed, then so is the monoid. The characteristic function of a numerical monoid M can be thought of as an infinite binary string s(M). A pattern of finitely many 0's and 1's is called forbidden if whenever s(M) contains it, then M is not weakly integrally closed. The pattern 11011 is forbidden. We show that a numerical monoid M is WIC if and only if s(M) contains no forbidden patterns. We also show that for every finite set S of forbidden patterns, there exists a numerical monoid M that is not WIC and for which s(M) contains no stretch (in a natural sense) of a pattern in S.     

Principally Weakly and Weakly Coherent Monoids

We shall call a monoid S principally weakly (weakly) left coherent if direct products of nonempty families of principally weakly (weakly) flat right S-acts are principally weakly (weakly) flat. Such monoids have not been studied in general. However, Bulman-Fleming and McDowell proved that a commutative monoid S is (weakly) coherent if and only if the act S ^I is weakly flat for each nonempty set I. In this article we introduce the notion of finite (principal) weak flatness for characterizing (principally) weakly left coherent monoids. Also we investigate monoids over which direct products of acts transfer an arbitrary flatness property to their components.     

On Divisible and Torsionfree Modules

A ring R is called left P-coherent in case each principal left ideal of R is finitely presented. A left R-module M (resp. right R-module N) is called D-injective (resp. D-flat) if Ext¹(G, M) = 0 (resp. Tor₁(N, G) = 0) for every divisible left R-module G. It is shown that every left R-module over a left P-coherent ring R has a divisible cover; a left R-module M is D-injective if and only if M is the kernel of a divisible precover A → B with A injective; a finitely presented right R-module L over a left P-coherent ring R is D-flat if and only if L is the cokernel of a torsionfree preenvelope K → F with F flat. We also study the divisible and torsionfree dimensions of modules and rings. As applications, some new characterizations of von Neumann regular rings and PP rings are given.     

A General Theory of Almost Splitting Sets

Let * be a star-operation of finite type on an integral domain D. In this paper, we generalize and study the concept of almost splitting sets. We define a saturated multiplicative subset S of D to be an almost g*-splitting set of D if for each 0 ≠ d ∈ D, there exists an integer n = n(d) ≥1 such that d ⁿ  = st for some s ∈ S and t ∈ D with (t, s′)_* = D for all s′ ∈ S. Among other things, we prove that every saturated multiplicative subset of D is an almost g*-splitting set if and only if D is an almost weakly factorial domain (AWFD) with *-dim (D) = 1. We also give an example of an almost g*-splitting set which is not a g*-splitting set.     

Regular Action in Rings

Let R be a ring with identity, X(R) the set of all nonzero non-units of R and G(R) the group of all units of R. By considering left and right regular actions of G(R) on X(R), the following are investigated: (1) For a local ring R such that X(R) is a union of n distinct orbits under the left (or right) regular action of G(R) on X(R), if J ⁿ  ≠ 0 = J ⁿ⁺¹ where J is the Jacobson radical of R, then the set of all the distinct ideals of R is exactly {R, J, J ²,…, J ⁿ , 0}, and each orbit under the left regular action is equal to the one under the right regular action. (2) Such a ring R is left (and right) duo ring. (3) For the full matrix ring S of n × n matrices over a commutative ring R, the number of orbits under left regular action of G(S) on X(S) is equal to the number of orbits under right regular action of G(S) on X(S); the result also holds for the ring of n × n upper triangular matrices over R.     

Some Results for Decomposition Numbers for the Hecke Algebra of Type A with q = −1

Let ? = ?_{?, ?1}(𝔖 _n ) be the Hecke algebra of the symmetric group 𝔖 _n . For partitions λ and ν with ν 2 ? regular, define the Specht module S(λ) and the irreducible module D(ν). Define d _λν = [S(λ): D(ν)] to be the composition multiplicity of D(ν) in S(λ). In this paper we compute the decomposition numbers d _λν for all partitions of the form λ = (a, c, 1 ^b ) and ν 2 ? regular.     

Principally Quasi-Baer skew Generalized Power Series modules

Let R be a ring and S a strictly totally ordered monoid. Let ω: S → End(R) be a monoid homomorphism. Let M _R be an ω-compatible module and either R satisfies the ascending chain conditions (ACC) on left annihilator ideals or every S-indexed subset of right semicentral idempotents in R has a generalized S-indexed join. We show that M _R is p.q.-Baer if and only if the generalized power series module M[[S]] _{R[[S, ω]]} is p.q.-Baer. As a consequence, we deduce that for an ω-compatible ring R, the skew generalized power series ring R[[S, ω]] is right p.q.-Baer if and only if R is right p.q.-Baer and either R satisfies the ACC on left annihilator ideals or any S-indexed subset of right semicentral idempotents in R has a generalized S-indexed join in R. Examples to illustrate and delimit the theory are provided.     

Crossed products and blocks with normal defect groups

Abstract

Let D be an integral domain. A multiplicative set S of D is an almost splitting set if for each 0 ≠ d ∈ D, there exists an n = n(d) with d ⁿ  = st where s ∈ S and t is v-coprime to each element of S. An integral domain D is an almost GCD (AGCD) domain if for every x, y ∈ D, there exists a positive integer n = n(x, y) such that x ⁿ D ∩ y ⁿ D is a principal ideal. We prove that the polynomial ring D[X] is an AGCD domain if and only if D is an AGCD domain and D[X] ? D′[X] is a root extension, where D′ is the integral closure of D. We also show that D + XD _S [X] is an AGCD domain if and only if D and D _S [X] are AGCD domains and S is an almost splitting set.     

Various Forms of Generating Subsemigroups in Algebraic Monoids

Let M be an irreducible affine algebraic monoid over an algebraically closed field, G its unit group, and E(M) the set of idempotents of M. We study various forms of subsemigroup generating in affine algebraic monoids and relevant generating problems with kernel data. We determine the structure of minimal irreducible algebraic submonoids containing the kernel, in particular, of M = G ∪ ker(M). We also prove that M with a dense unit group is regular if and only if M = ? E(M), G ? and ? E(M) ? is regular.     

Localization of Monoid Objects and Hochschild Homology

Let A be a (not necessarily commutative) monoid object in an abelian symmetric monoidal category (C, ?,1) satisfying certain conditions. In this paper, we continue our study of the localization M _S of any A-module M with respect to a subset S ? Hom _A?Bimod (A, A) that is closed under composition. In particular, we prove the following theorem: if P is an A-bimodule such that P is symmetric as a bimodule over the center Z(A) of A, we have isomorphisms HH _*(A, P) _S  ? HH _*(A, P _S ) ? HH _*(A _S , P _S ) of Hochschild homology groups.     

Rings Over which the Krull Dimension and the Noetherian Dimension of All Modules Coincide

We denote by 𝒜(R) the class of all Artinian R-modules and by 𝒩(R) the class of all Noetherian R-modules. It is shown that 𝒜(R) ? 𝒩(R) (𝒩(R) ? 𝒜(R)) if and only if 𝒜(R/P) ? 𝒩(R/P) (𝒩(R/P) ? 𝒜(R/P)), for all centrally prime ideals P (i.e., ab ∈ P, a or b in the center of R, then a ∈ P or b ∈ P). Equivalently, if and only if 𝒜(R/P) ? 𝒩(R/P) (𝒩(R/P) ? 𝒜(R/P)) for all normal prime ideals P of R (i.e., ab ∈ P, a, b normalize R, then a ∈ P or b ∈ P). We observe that finitely embedded modules and Artinian modules coincide over Noetherian duo rings. Consequently, 𝒜(R) ? 𝒩(R) implies that 𝒩(R) = 𝒜(R), where R is a duo ring. For a ring R, we prove that 𝒩(R) = 𝒜(R) if and only if the coincidence in the title occurs. Finally, if Q is the quotient field of a discrete valuation domain R, it is shown that Q is the only R-module which is both α-atomic and β-critical for some ordinals α,β ≥ 1 and in fact α = β = 1.     

Classes of Commutative Rings Defined by Special Conditions

ABSTRACT

In this article, we are mainly concerned with (n, d)-Krull rings, i.e., rings in which each n-presented prime ideal has height at most d. Precisely, we show that weakly n-Von Neumann regular rings are (n ? 1, 0)-Krull rings. Also, we prove that (n, d)-Krull property is not local property and that R is an (n, d)-Krull ring if and only if dim(R _P ) ≤ d for each n-presented prime ideal P of R. Finally, we construct a class of (2, d)-Krull rings which are neither (2, d ? 1)-Krull rings (for d = 1) nor (1, d)-Krull rings for d = 0,1.     

Ascending Nets of Prüfer V-Multiplication Domains

Abstract

Let D be an integral domain, S ? D a multiplicative set such that aD _S  ∩ D is a principal ideal for each a ∈ D and let D ^(S) = ? _s∈S D[X/s]. It is known that if D is a Prüfer v-multiplication domain (resp., generalized GCD domain, GCD domain), then so is D ^(S) respectively. When D is a Noetherian domain, we obtain a similar result for the power series analog D ^((S)) = ? _s∈S D[[X/s]] of D ^(S). Our approach takes care simultaneously of both cases D ^(S) and D ^((S)).     

A Generalization of Divided Domains and Its Connection to Weak Baer Going-Down Rings

Many results on going-down domains and divided domains are generalized to the context of rings with von Neumann regular total quotient rings. A (commutative unital) ring R is called regular divided if each P ∈ Spec(R)?(Max(R) ∩ Min(R)) is comparable with each principal regular ideal of R. Among rings having von Neumann regular total quotient rings, the regular divided rings are the pullbacks K× _K/P D where K is von Neumann regular, P ∈ Spec(K) and D is a divided domain. Any regular divided ring (for instance, regular comparable ring) with a von Neumann regular total quotient ring is a weak Baer going-down ring. If R is a weak Baer going-down ring and T is an extension ring with a von Neumann regular total quotient ring such that no regular element of R becomes a zero-divisor in T, then R ? T satisfies going-down. If R is a weak Baer ring and P ∈ Spec(R), then R + PR _(P) is a going-down ring if and only if R/P and R _P are going-down rings. The weak Baer going-down rings R such that Spec(R)?Min(R) has a unique maximal element are characterized in terms of the existence of suitable regular divided overrings.     

PP-Rings of Generalized Power Series

Abstract As a generalization of power series rings, Ribenboim introduced the notion of the rings of generalized power series. Let R be a commutative ring, and (S, ≤) a strictly totally ordered monoid. We prove that (1) the ring [[R ^S,≤]] of generalized power series is a PP-ring if and only if R is a PP-ring and every S-indexed subset C of B(R) (the set of all idempotents of R) has a least upper bound in B(R) and (2) if (S, ≤) also satisfies the condition that 0 ≤s for any s∈S, then the ring [[R ^S,≤ ]] is weakly PP if and only if R is weakly PP. Research supported by National Natural Science Foundation of China, 19501007, and Natural Science Foundation of Gansu, ZQ-96-01     

The representations of nested composition algebras

In this paper, we investigate the basis graph of the monoid algebra of a submonoid of the monoid of mappings from N = {1,…,n} to itself, defined by a nested sequence of compositions of N. Each such monoid is a left regular band (LRB), that is, a semigroup S satisfying x² = x and xyx = xy for all x,y∈S. This class is su?ciently rich that every path algebra of an acyclic quiver can be embedded in such a monoid algebra. The multiplication in the monoid algebra has a particularly simple quasi-multiplicative form, allowing definition over the integers. Combining this with a formula for Ext-groups for LRBs due to Margolis et al. [6 Margolis, S., Saliola, F., Steinberg, B. (2015). Combinatorial topology and the global dimension of algebras arising in combinatorics. J. Eur. Math Soc. 17(12):3037–3080.[Crossref], [Web of Science ®] , [Google Scholar]], we get a simple criterion for the nested composition algebras to be hereditary.     

On Engel Elements of a Group Relative to Certain Subgroup

An element g in a group G is called a left Engel element of G, if for each x ∈ G, there is a positive integer n = n(g, x) such that [x, _n g] = 1. In this article, we will study a generalization of the left Engel elements and its connections with the generalized Hirsch–Plotkin and Baer radical.