On left annihilating content polynomials and power series

The idea to write this paper was the completion of the paper of N. Sankaran (cf.[6]). In fact, in his theorem, he suppose that all automorphisms of the restricted power series rings with respect to the m-adic topology of the maximal ideal of a local ring is anautomorphism by substitution. But this is true for all injective endomorphisms (see our Proposition 1.5.). We study here different classes of endomorphisms of the restricted power series rings with respect to an arbitrary non nilpotent ideal in a commutative ring. To do this, we follow very closely the techniques of M.J. O'Malley concerning the rings of power series, but adapted to the case of the rings of restricted power series (cf.[3],[4]).

Let R be a commutative ring with identity and $${\mathbb {N}}_0$$ be the additive monoid of nonnegative integers. We say that a function $$t : {\mathbb {N}}_0 \times {\mathbb {N}}_0 \rightarrow R$$ is a twist function on R if t satisfies the following three properties for all $$n, m, q \in {\mathbb {N}}_0$$ : (i) $$t(0,q) = 1$$ , (ii) $$t(n,m) = t(m,n)$$ , and (iii) $$t(n,m) \cdot t(n + m, q) = t (n, m + q) \cdot t(m, q)$$ . Let $$R[\![X]\!]$$ (resp., R[X]) be the set of power series (resp., polynomials) with coefficients in R. For $$f = \sum _{n=0}^{\infty } a_nX^n$$ and $$g = \sum _{n=0}^{\infty } b_nX^n \in R[\![X]\!]$$ , let $$f+g = \sum _{n=0}^{\infty } (a_n+b_n)X^n$$ , $$f*_tg = \sum _{n=0}^{\infty }(\sum _{i+j = n}t(i,j)a_ib_j)X^n$$ . Then, $$R^t[\![X]\!]:= (R[\![X]\!], +, *_t)$$ and $$R^t[X] := (R[X], +, *_t)$$ are commutative rings with identity that contain R as a subring. In this paper, we study ring-theoretic properties of $$R^t[\![X]\!]$$ and $$R^t[X]$$ with focus on divisibility properties including UFDs and GCD-domains. We also show how these two rings are related to the usual power series and polynomial rings.

We continue the first and second authors’ study of q-commutative power series rings and Laurent series rings , specializing to the case in which the commutation parameters qij are all roots of unity. In this setting, R is a PI algebra, and we can apply results of De Concini, Kac, and Procesi to show that L is an Azumaya algebra whose degree can be inferred from the qij. Our main results establish an exact criterion (dependent on the qij) for determining when the centers of L and R are commutative Laurent series and commutative power series rings, respectively. In the event this criterion is satisfied, it follows that L is a unique factorization ring in the sense of Chatters and Jordan, and it further follows, by results of Dumas, Launois, Lenagan, and Rigal, that R is a unique factorization ring.

Throughout this note, R stands for a ring with identity, and all modules are unital R-modules. In this note, we ask when the class of all finitely generated reflexive (torsionless) left modules is closed under extensions. This is not always the case, even if R is left and right noetherian (cf. Bass [2, Lemma 3.2] and [3, p. 12]). As will be shown, in case R is a commutat ive noetherian local domain of Krull dimension two, R is a CohenMacaulay ring whenever the class of the finitely generated reflexive modules is closed under extensions. Our main aim is to show that if R is a left and right noetherian ring then both the class of all finitely generated torsionless left modules and the class of all finitely generated reflexive left modules are closed under extensions if and only if for i = 1, 2 the functor Ext , 1 (Ext~ ( , R), R) vanishes on the finitely generated right modules. Note that the latter condition is satisfied if R is a commutat ive Gorenstein ring (see Bass [3]). We will show also that if R is a left and right noetherian ring with a minimal injective resolution 0 ~ RR ~ Eo ~ E1 , . . . such that weak dim E l < i + 1 for i = 0, 1 then both the class of finitely generated torsionless left modules and the class of finitely generated reflexive left modules are closed under extensions. In the proof, it will be shown that if R is a left and right noetherian ring with inj dim RR _--< 2 then the class of the finitely generated reflexive left modules is closed under extensions. On the other hand, even if R is a left and right noetherian ring with inj dim RR = inj dim R R < 2, the class of all finitely generated torsionless left modules is not necessarily closed under extensions. In what follows, we denote by ( )* both the R-dual functors, and for a given module M we denote by eu: M ~ M** the usual evaluation map and by E(M) the injective envelope of M. Recall that a module M is said to be torsionless if eu is a monomorph i sm and to be reflexive if eu is an isomorphism. Note that a module M is torsionless if and only if it is cogenerated by R. We denote by mod R (resp. mod R ~ the category of the finitely presented left (resp. right) modules. Note that if R is left noetherian then every finitely generated left module is finitely presented.

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 chapter we prepare the ground for the proof of the Jung-Abhyankar theorem in section 2 and the study of quasiordinary power series in section 4 of chapter V. We assume that the reader is acquainted with the notion of power series over a field; in section 1, for the convenience of the reader, we give some background, introduce convergent power series over the real and complex numbers in section 2, and prove Weierstraß division and preparation theorem in section 3. The category of formal (resp. analytic) algebras—these are homomorphic images of formal (resp. convergent) rings of power series—is treated in section 4. The last section considers, in particular, the completion of an analytic algebra; these results are needed to prove the convergent case of the Jung-Abhyankar theorem.

Among commutative rings, the polynomial rings in a finite number of indeterminates enjoy important special properties and are frequently used in applications. As they are also of paramount importance in Algebraic Geometry, polynomial rings have been intensively studied. On the other hand, rings of formal power series have been extensively used in “algebroid geometry” and have many properties which are parallel to those of polynomial rings. In the first section of this chapter we shall define formal power series rings and we shall show that the main properties of polynomial rings which have been derived in previous chapters (see, in particular, Vol. I, Ch. I, §§ 16–18) hold also for formal power series rings. In the later sections of this chapter we shall give deeper properties of polynomial rings and, whenever possible, the parallel properties of power series rings.

Let D be a principal ideal domain (PID), I be an ideal of D, and X be an indeterminate over D. Let [D;I][X] be the subring of the power series ring consisting of all power series in such that for all large i. By definition, the polynomial ring and the power series ring are special cases of when and I = D, respectively. In this article, we investigate the ring in the case I is a nonzero proper ideal of D. We prove that R is a two-dimensional non-Noetherian ring. For each maximal ideal P of D, it is shown that is a height-one prime ideal of R. The set of units of R is given and the spectrum of R is also described. Unlike the power series ring the ring R is not a unique factorization domain (UFD). Furthermore, when I is a nonzero prime ideal, R does not satisfy both ACCP and the atomic property. In obtaining results on R, we introduce and sometimes use results on the ring RS , where I = dD with and Closely related to R, the ring RS is shown to be a Noetherian UFD with Krull dimension at most two. Moreover, RS has Krull dimension two exactly when I is not contained in the Jacobson radical of D; otherwise RS is a PID.

A result of Ginn and Moss asserts that a left and right noetherian ring with essential right socle is left and right artinian. There are examples of right finitely embedded rings with ACC on left and right annihilators which are not artinian. Motivated by this, it was shown by Faith that a commutative, finitely embedded ring with ACC on annihilators (and square-free socle) is artinian (quasi-Frobenius). A ring R is called right minsymmetric if, whenever k R is a simple right ideal of R, then R k is also simple. In this paper we show that a right noetherian right minsymmetric ring with essential right socle is right artinian. As a consequence we show that a ring is quasi-Frobenius if and only if it is a right and left mininjective, right finitely embedded ring with ACC on right annihilators. This extends the known work in the artinian case, and also extends Faith's result to the non-commutative case.

Let P = P(z,d/dz) be a linear ordinary differential operator with holomorphic coefficients in a neighbourgood X of the origin 0 in ℂ. Let Pu = f be an inhomogeneous differential equation in the space O {0} or in O {0}, where 0 {0} is the ring of convergent power series and O {0} is the ring of formal power series at the origin 0.

We investigate properties of group gradings on matrix rings M n ( R ) , where R is an associative unital ring and n is a positive integer. More precisely, we introduce very good gradings and show that any very good grading on M n ( R ) is necessarily epsilon-strong. We also identify a condition that is sufficient to guarantee that M n ( R ) is an epsilon-crossed product, i.e. isomorphic to a crossed product associated with a unital twisted partial action. In the case where R has IBN, we provide a characterization of when M n ( R ) is an epsilon-crossed product. Our results are illustrated by several examples.

Let [Formula: see text] be an associative unital ring and not necessarily commutative. We analyze conditions under which every [Formula: see text] matrix [Formula: see text] over [Formula: see text] is expressible as a sum [Formula: see text] of (commuting) idempotent matrices [Formula: see text] and a nilpotent matrix [Formula: see text].

We consider endomorphisms of M, a free R-module of arbitrary rank, where R is an associative unital ring with the property that every element of R is a sum of two units of R. We prove that every endomorphism of M is a sum of two automorphisms of M.

Standard Bases in Power Series Rings: Uniqueness and Superfluous Critical Pairs

Let k be a valued field of characteristic zero. We consider analytic k-algebras, i.e. finite algebras over rings of convergent power series over k, and their k-derivations. The following theorem is proved: Let k be algebraically closed and A a normal analytic k-algebra of dimension 2. If there is a k-derivation on A not acting nilpotently, then A is homogeneous, i.e. a residue class ring of a power series ring by a (weighted) homogeneous ideal.