Toric Rings Arising from Cyclic Polytopes

Let d and n be positive integers with n ≥ d + 1 and 𝒫 ? ? ^d an integral cyclic polytope of dimension d with n vertices, and let K[𝒫] = K[?_≥0𝒜_𝒫] denote its associated semigroup K-algebra, where 𝒜_𝒫 = {(1, α) ∈ ? ^d+1: α ∈ 𝒫} ∩ ? ^d+1 and K is a field. In the present paper, we consider the problem when K[𝒫] is Cohen–Macaulay by discussing Serre's condition (R ₁), and we give a complete characterization when K[𝒫] is Gorenstein. Moreover, we study the normality of the other semigroup K-algebra K[Q] arising from an integral cyclic polytope, where Q is a semigroup generated by its vertices only.     

Zero divisors and units with small supports in group algebras of torsion-free groups

Kaplansky’s zero divisor conjecture (unit conjecture, respectively) states that for a torsion-free group G and a field 𝔽, the group ring 𝔽[G] has no zero divisors (has no units with supports of size greater than 1). In this paper, we study possible zero divisors and units in 𝔽[G] whose supports have size 3. For any field 𝔽 and all torsion-free groups G, we prove that if αβ = 0 for some non-zero α,β∈𝔽[G] such that |supp(α)| = 3, then |supp(β)|≥10. If 𝔽 = 𝔽₂ is the field with 2 elements, the latter result can be improved so that |supp(β)|≥20. This improves a result in Schweitzer [J. Group Theory, 16 (2013), no. 5, 667–693]. Concerning the unit conjecture, we prove that if αβ = 1 for some α,β∈𝔽[G] such that |supp(α)| = 3, then |supp(β)|≥9. The latter improves a part of a result in Dykema et al. [Exp. Math., 24 (2015), 326–338] to arbitrary fields.     

Geometries and amalgams of J1

ABSTRACT

Let S = 𝕂[x ₁, …, x _n ] be a polynomial ring over a field 𝕂 and I a monomial ideal of S. It is well known that the Poincaré series of 𝕂 over S/I is rational. We describe the coefficients of the denominator of the series and study the multigraded homotopy Lie algebra of S/I.     

S-Noetherian Rings of the Forms 𝒜[X] and 𝒜[[X]]

Let 𝒜 = (A _n ) _n≥0 be an ascending chain of commutative rings with identity, S ? A ₀ a multiplicative set of A ₀, and let 𝒜[X] (respectively, 𝒜[[X]]) be the ring of polynomials (respectively, power series) with coefficient of degree i in A _i for each i ∈ ?. In this paper, we give necessary and sufficient conditions for the rings 𝒜[X] and 𝒜[[X]] to be S ? Noetherian.     

On the Simplicity of Lie Algebras Associated to Leavitt Algebras

For any field 𝕂 and integer n ≥ 2, we consider the Leavitt algebra L _𝕂(n); for any integer d ≥ 1, we form the matrix ring S = M _d (L _𝕂(n)). S is an associative algebra, but we view S as a Lie algebra using the bracket [a, b] = ab ? ba for a, b ∈ S. We denote this Lie algebra as S ^?, and consider its Lie subalgebra [S ^?, S ^?]. In our main result, we show that [S ^?, S ^?] is a simple Lie algebra if and only if char(𝕂) divides n ? 1 and char(𝕂) does not divide d. In particular, when d = 1, we get that [L _𝕂(n)^?, L _𝕂(n)^?] is a simple Lie algebra if and only if char(𝕂) divides n ? 1.     

Irreducibility Criterion Over Finite Fields

The aim of this article is to prove the irreducibility of the polynomial Λ(Y) = Y ^d  + λ _d?1 Y ^d?1 + … + λ₀ over 𝔽 _q [X] where λ _i ∈ 𝔽 _q [X] and deg λ _d?1 > deg λ _i for each i ≠ d ? 1. We discuss in particular connections between the irreducible polynomials Λ and the number of Pisot elements in the case of formal power series.     

Pure ideals quotient categories and infinite group-graded rings

Abstract

Adapting the idea of twisted tensor products to the category of conic algebras (CA), i.e., finitely generated graded algebras, we define a family of objects hom ^?[?, 𝒜] there, one for each pair 𝒜, ? ∈ CA, with analogous properties to its internal coHom objects hom [?, 𝒜], but representing spaces of transformations whose coordinate rings and the ones of their respective domains do not commute among themselves. They give rise to a CA ^op -based category different from that defined by the function (𝒜, ?) ?  hom [?, 𝒜]. The mentioned non commutativity is controlled by a collection of twisting maps τ_{𝒜, ?}. We show, under certain circumstances, that (bi)algebras end ^?[𝒜] ?  hom ^?[𝒜, 𝒜] are counital 2-cocycle twistings of the corresponding coEnd objects end [𝒜]. This fact generalizes the twist equivalence (at a semigroup level) between, for instance, the quantum groups G L _q (n) and their multiparametric versions.     

S-Noetherian Properties of Composite Ring Extensions

Let R be a commutative ring with identity and S a multiplicative subset of R. We say that R is an S-Noetherian ring if for each ideal I of R, there exist an s ∈ S and a finitely generated ideal J of R such that sI ? J ? I. In this article, we study transfers of S-Noetherian property to the composite semigroup ring and the composite generalized power series ring.     

Semiprimitivity of Orthodox Semigroup Algebras

Let S be a finite orthodox semigroup or an orthodox semigroup where the idempotent band E(S) is locally pseudofinite. In this paper, by using principal factors and Rukolaǐne idempotents, we show that the contracted semigroup algebra R₀[S] is semiprimitive if and only if S is an inverse semigroup and R[G] is semiprimitive for each maximal subgroup G of S. This theorem strengthens previous results about the semiprimitivity of inverse semigroup algebras.     

On finiteness conditions for Rees matrix semigroups

Let T=[S; I; J; P] be a Rees matrix semigroup where S is a semigroup, I and J are index sets, and P is a J × I matrix with entries from S, and let U be the ideal generated by all the entries of P. If U has finite index in S, then we prove that T is periodic (locally finite) if and only if S is periodic (locally finite). Moreover, residual finiteness and having solvable word problem are investigated.     

Some Examples of Affine Monoid Algebras

We construct a finitely generated monoid S with a zero element such that for every field K the Jacobson radical of the monoid algebra K[S] is a sum of nilpotent ideals but is not nilpotent. Moreover, the contracted monoid algebra K ₀[S] is a monomial algebra.

If K is a field of characteristic p > 0, then we construct a finitely presented group H _p such that the Jacobson radical J of the group algebra K[H _p ] is a sum of nilpotent ideals, but is not nilpotent. Moreover, K[H _p ]/J is a domain.     

Characterizations of *-Cancellation Ideals of an Integral Domain

Let D be an integral domain and * a star-operation on D. For a nonzero ideal I of D, let I ^{* _f} = ?{J* | (0) ≠ J ? I is finitely generated} and I ^{* _w} = ? _{P∈* f -Max(D)} ID _P . A nonzero ideal I of D is called a *-cancellation ideal if (IA)* = (IB)* for nonzero ideals A and B of D implies A* =B*. Let X be an indeterminate over D and N _* = {f ∈ D[X] | (c(f))* =D}. We show that I is a * _w -cancellation ideal if and only if I is * _f -locally principal, if and only if ID[X] _{N *} is a cancellation ideal. As a corollary, we have that each nonzero ideal of D is a * _w -cancellation ideal if and only if D _P is a principal ideal domain for all P ∈ * _f -Max(D), if and only if D[X] _{N *} is an almost Dedekind domain. We also show that if I is a * _w -cancellation ideal of D, then I ^{* _w}  = I ^{* _f}  = I _t , and I is * _w -invertible if and only if I ^{* _w}  = J _v for a nonzero finitely generated ideal J of D.     

Almost Prüfer v-Multiplication Domains and Related Domains of the Form D + D S [Γ*]

Let D be an integral domain, S be a (saturated) multiplicative subset of D such that D ? D _S , Γ be a numerical semigroup with Γ ? ?₀, Γ* = Γ?{0}, X be an indeterminate over D, D + XD _S [X] = {a + Xg ∈ D _S [X]∣a ∈ D and g ∈ D _S [X]}, and D + D _S [Γ*] = {a + f ∈ D _S [Γ]∣a ∈ D and f ∈ D _S [Γ*]}; so D + D _S [Γ*] ? D + XD _S [X]. In this article, we study when D + D _S [Γ*] is an APvMD, an AGCD-domain, an AS-domain, an AP-domain, or an AB-domain.     

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.     

Coefficient Ideal of Ideals Generated by Monomials

In a commutative Noetherian ring R, the coefficient ideal of I relative to J is the largest ideal 𝔟 for which I𝔟 =J𝔟 when I is integral over J. In this article, we will give a simple algorithm to compute 𝔞(I, J) when I, J are ideals in a polynomial ring R = k[X ₁,…, X _d ] generated by monomials and J is a parameter ideal. We use the concept of socle sequence. Also we will show that the reduction number r _J (I) is also computed by our algorithm.     

Range-Inclusive Maps in Rings with Idempotents

Let 𝒜 be a ring, let ? be an 𝒜-bimodule, and let 𝒞 be the center of ?. A map F:𝒜 → ? is said to be range-inclusive if [F(x), 𝒜] ? [x, ?] for every x ∈ 𝒜. We show that if 𝒜 contains idempotents satisfying certain technical conditions (which we call wide idempotents), then every range-inclusive additive map F:𝒜 → ? is of the form F(x) = λx + μ(x) for some λ ∈ 𝒞 and μ:𝒜 → 𝒞. As a corollary we show that if 𝒜 is a prime ring containing an idempotent different from 0 and 1, then every range-inclusive additive map from 𝒜 into itself is commuting (i.e., [F(x), x] = 0 for every x ∈ 𝒜).     

Idempotent Generation in the Endomorphism Monoid of a Uniform Partition

Denote by 𝒯_n and 𝒮_n the full transformation semigroup and the symmetric group on the set {1,…, n}, and ?_n = {1} ∪ (𝒯_n?𝒮_n). Let 𝒯(X, 𝒫) denote the monoid of all transformations of the finite set X preserving a uniform partition 𝒫 of X into m subsets of size n, where m, n ≥ 2. We enumerate the idempotents of 𝒯(X, 𝒫), and describe the submonoid S = ? E ? generated by the idempotents E = E(𝒯(X, 𝒫)). We show that S = S₁ ∪ S₂, where S₁ is a direct product of m copies of ?_n, and S₂ is a wreath product of 𝒯_n with 𝒯_m?𝒮_m. We calculate the rank and idempotent rank of S, showing that these are equal, and we also classify and enumerate all the idempotent generating sets of minimal size. In doing so, we also obtain new results about arbitrary idempotent generating sets of ?_n.