Simplicity of Ore monoid rings

The aim of this work is to study the Jacobson radical of differential polynomial rings. We show a result of M. Ferrero, K. Kishimoto, K. Motose, which shows that in general, the radical of a differential polynomial ring is a differential polynomial ring over some ideal of the ring of coefficients. Assuming that the ring of coefficients satisfies a polynomial identity, we show following B. Madill that this ideal is nil. If the ring of coefficients is additionally locally nilpotent, following J. Bell, B. Madill, F. Shinko, we show that the differential polynomial ring is locally nilpotent. Still following J. Bell et al, if the ring of coefficients is an algebra over a field of zero characteristic and this algebra satisfies a polynomial identity, we show that the nil ideal is the Kthe radical. For the proofs, we cover the preliminary topics necessary for understanding the statements: nil radical, Levitzki radical, Baer radical, Jacobson radical and its properties, PI-rings, central polynomials, Kaplansky's theorem.

We introduce non-associative Ore extensions, S = R[X; σ, δ], for any nonassociative unital ring R and any additive maps σ, δ: R → R satisfying σ(1) = 1 and δ(1) = 0. In the special case when δ is either left or right R δ -linear, where R δ = ker(δ), and R is δ-simple, i.e. {0} and R are the only δ-invariant ideals of R, we determine the ideal structure of the nonassociative differential polynomial ring D = R[X; id R , δ]. Namely, in that case, we show that all non-zero ideals of D are generated by monic polynomials in the center Z(D) of D. We also show that Z( D ) = R δ [p] for a monic p ∈ R δ [X], unique up to addition of elements from Z(R) δ . Thereby, we generalize classical results by Amitsur on differential polynomial rings defined by derivations on associative and simple rings. Furthermore, we use the ideal structure of D to show that D is simple if and only if R is δ-simple and Z(D) equals the field R δ ∩ Z(R). This provides us with a non-associative generalization of a result by Oinert, Richter and Silvestrov. This result is in turn used to show a non-associative version of a classical result by Jordan concerning simplicity of D in the cases when the characteristic of the field R δ ∩ Z(R) is either zero or a prime. We use our findings to show simplicity results for both non-associative versions of Weyl algebras and non-associative differential polynomial rings defined by monoid/group actions on compact Hausdorff spaces.

In this paper, we give a characterization of left (right) quasi-duo differential polynomial rings. In particular, we show that a differential polynomial ring is left quasi-duo if and only if it is right quasi-duo. This yields a partial answer to a question posed by Lam and Dugas in 2005. We provide nontrivial examples of such rings and give a complete description of the maximal ideals of an arbitrary quasi-duo differential polynomial ring. Moreover, we show that there is no left (right) quasi-duo differential polynomial ring in several indeterminates.

We show that a differential polynomial ring over a locally nilpotent ring in several commuting variables is Behrens radical, extending a result by Chebotar.

Let S be a cancellative monoid with quotient group of torsion-free rank a.We show that the monoid ring R[S] is a Hilbert ring if and only if the polynomial ring R[{ X, },s/] is a Hilbert ring, where |/| = a.Assume that R is a commutative unitary ring and G is an abelian group.The first research problem listed in [K, Chapter 7] is that of determining equivalent conditions in order that the group ring R[G] should be a Hilbert ring.Matsuda has considered this question in [Ml, 6].His results show that for G finitely generated, R[G] and R are simultaneously Hilbert rings; if G is not finitely generated, then R[G] a Hilbert ring implies that R is a Hilbert ring, but the converse fails.In [M2, 5] Matsuda considers briefly the corresponding Hilbert-ring-characterization problem for a monoid ring R[S], where S is torsion-free and cancellative.Let a be the torsion-free rank of G and let {Xj)lsl be a set of indeterminates over R of cardinality a.In Corollary 1 we show that R[G] and P[{^,},e/] are simultaneously Hilbert rings.While the problem of determining equivalent conditions for P[{Ar,}/e/] to be a Hilbert ring has not been completely resolved, it has been worked on extensively [Kr, Go, L, Gl, H], and a significant body of positive results exists concerning this problem.The proof of Theorem 1 suggests the following conjecture: if S is a cancellative commutative monoid with quotient group G, then R[S] is a Hilbert ring if and only if R[G] is a Hilbert ring; this result is established in Theorem 2.All monoids considered are assumed to be commutative, and rings are assumed to be commutative and unitary.The statement of Theorem 1 uses the following terminology.For a cardinal number a, an extension ring T of R is said to be a-generated over R if T is generated over R by a set of cardinality at most a.Theorem 1. Assume that X = {XA is a set of indeterminates of cardinality a over the ring R. Denote by Za the direct sum of a copies of the additive group Z of integers.The following conditions are equivalent.(1) R[X] is not a Hilbert ring.(2) There exists a prime ideal P of R such that R/P admits an a-generated extension ring that is a G-domain, but not afield.(3) The group ring R[Za] is not a Hilbert ring._

Here we study the simplicity of an iterated Ore extension of a unital ring [Formula: see text]. We give necessary conditions for the simplicity of an iterated Ore extension when [Formula: see text] is a commutative domain. A class of iterated Ore extensions, namely the differential polynomial ring [Formula: see text] in [Formula: see text]-variables is considered. The conditions for a commutative domain [Formula: see text] of characteristic zero to be a maximal commutative subring of its differential polynomial ring [Formula: see text] are given, and the necessary and sufficient conditions for [Formula: see text] to be simple are also found.

In this paper we introduce the notion of weak associated primes of a ring R which is a generalization of associated primes of R, and study how the weak associated primes of a ring R behave under passage to the differential polynomial ring R[x; ]. If we impose -compatibility and reversibility assumptions on ring R, then we can describe all weak associated primes of the differential polynomial ring R[x; ] in terms of the weak associated primes of R in a very straightforward way. Consequently, several well-known properties of associated primes in [2, 3, 10] are extended to a more general setting.

Modules over differential polynomial rings

Under suitable hypotheses it is shown that a differential or skew polynomial ring can be embedded in an Artinian ring provided that its coefficient ring can be embedded in an Artinian ring.

It is very well known that algebraic structures have valuable applications in the theory of error-correcting codes. Blake [Codes over certain rings, Inform. and Control 20 (1972) 396–404] has constructed cyclic codes over ℤm and in [Codes over integer residue rings, Inform. and Control 29 (1975), 295–300] derived parity check-matrices for these codes. In [Linear codes over finite rings, Tend. Math. Appl. Comput. 6(2) (2005) 207–217]. Andrade and Palazzo present a construction technique of cyclic, BCH, alternant, Goppa and Srivastava codes over a local finite ring B. However, in [Encoding through generalized polynomial codes, Comput. Appl. Math. 30(2) (2011) 1–18] and [Constructions of codes through semigroup ring [Formula: see text] and encoding, Comput. Math. Appl. 62 (2011) 1645–1654], Shah et al. extend this technique of constructing linear codes over a finite local ring B via monoid rings [Formula: see text], where p = 2 and k = 1, 2, respectively, instead of the polynomial ring B[X]. In this paper, we construct these codes through the monoid ring [Formula: see text], where p = 2 and k = 1, 2, 3. Moreover, we also strengthen and generalize the results of [Encoding through generalized polynomial codes, Comput. Appl. Math.30(2) (2011) 1–18] and [Constructions of codes through semigroup ring [Formula: see text]] and [Encoding, Comput. Math. Appl.62 (2011) 1645–1654] to the case of k = 3.

We obtained the criterion of existence of a quasi-linear polynomial in a differential ideal in the ordinary ring of differential polynomials over a field of characteristic zero. We generalized the “going up” and “going down” theorems onto the case of Ritt algebras. In particular, new finiteness criteria for differential standard bases and estimates that characterize calculation complexity were obtained.

Given a matrix over the ring of differential polynomials, we show how to compute the Hermite form H of A and a unimodular matrix U such that UA = H. The algorithm requires a polynomial number of operations in F in terms of n, , . When F = ℚ it require time polynomial in the bit-length of the rational coefficients as well.

New order bounds in differential elimination algorithms

The skew generalized power series ring R[[S,ω]] is a ring construction involving a ring R, a strictly ordered monoid (S,≤), and a monoid homomorphism ω:S→End(R). The ring R[[S,ω]] is a common generalization of ring extensions such as (skew) polynomial rings, (skew) Laurent polynomial rings, (skew) power series rings, (skew) Laurent series rings, (skew) Mal’cev–Neumann series rings, and (skew) monoid rings. In this paper, we study the nilpotent elements of skew generalized power series rings and the relationships between the properties of the rings R and R[[S,ω]] expressed in terms of annihilators, such as weak symmetry, weak zip, and the nil-Armendariz and McCoy properties. We obtain results on transferring the weak symmetry and weak zip properties between the rings R and R[[S,ω]], as well as sufficient and necessary conditions for a ring R to be (S,ω)-nil-Armendariz or linearly (S,ω)-McCoy.

In this paper, the ring of polynomials is studied in a systematic way through the theory of monoid rings. As a consequence, this study provides canonical approaches in order to find easy and rigorous proofs and methods for many facts on polynomials and formal power series; some of them as sample are treated in this paper. Besides the universal properties of the monoid rings and polynomial rings, a universal property for the formal power series rings is also established.