Polynomial and Power Series Rings

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.

A classical result of Magnus asserts that a free group F has a faithful representation in the group of units of a ring of non-commuting formal power series with integral coefficients. We generalize this result to the category of A-groups, where A is an associative ring or an Abelian group. We say that a free A-group FA has a faithful Magnus representation if there is a ring B containing A as an additive subgroup (or a subring) such that FA is faithfully represented (exactly as in Magnus' classical result in the case A = Z)in the group of units of the ring of formal power series in non-communting indeterminater over B.The three principal results are: (I) If A is a torsion free Abelian group and FA is a free A-groupp of Lyndon' type, then FA has a faithful Magnus representation; (II) If A is an ω‐residually Z ring, then FA has a faithful Magnus representation;(III) for every nontrivial torsion-free Abelian group A, FA has a faithful Magnus representation in B[[Y]] for a suitable ring B in and only if FQ has a faithful Magnus representation in Q[[Y]].

This paper deals with the unit groups of the endomor- phism rings of projective modules over polynomial rings and further over formal power series rings. A normal subgroup of the unit group is dened and discussed. The local splitting properties of elements of endomorphism rings of projective modules over polynomial rings are given. So, if P is a projective module over a ring A, then (id+ xEndA(x)(P(x))) is constructed. This is a normal subgroup of the unit group of endomorphism rings of a projective module over a poly- nomial ring. If (A,m) is a local ring with dim(A) ≥ µ(m), then we show that (id+ xEndA(x)(P(x))) is a normal subgroup of SLA(x)(P(x)). Also, we will show that under these conditions the similar conclusion can be drawn for the ring of formal power series. In section 3, let P be a projective A-module. Let s1, s2 ∈ A be such that As1 + As2 = A. Then we use the splitting lemma of Quillen to show that every element of (idPs1s2 + xEnd As1s2(x) (Ps1s2 (x))) has two decompositions. Finally, we generalize the result to Theorem 3.4.

Rings of polynomials and formal power series

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.

Some results on local cohomology of polynomial and formal power series rings: The one dimensional case

Let be a commutative ring with identity. Two elements and b in are called to be associates if and , or equivalently, if . The generalization of associate relation in R has given the idea for definitions of presimplifiable and weakly presimplifiable rings. First of all, it will be given definitions of very strong associate relation, strong regular associate relation, very strongly associate ring, and strongly regular associate ring. The presimplifiable ring is a commutative ring with the condition that every nonzero element is a unit element. While the weakly presimplifiable ring is a commutative ring with the condition that every nonzero element is regular element. Furthermore, it is shown that the relationship between very strongly associate ring with presimplifiable ring and the linkage between strongly regular associate ring and weakly presimplifiable ring. It is obtained that is a presimplifiable ring if and only if is a very strongly associate ring. Meanwhile, is a weakly presimplifiable ring if and only if is a strongly regular associate ring. Then, it is shown that the correlation between presimplifiable and weakly presimplifiable rings to its polynomial ring and its the formal power series ring . If is a weakly presimplifiable ring, then and are also weakly presimplifiable rings. However, if is a presimplifiable ring, then is also a presimplifiable ring but always not valid for .

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]).

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.

Let R be an integral domain, Χ be a set of indeterminates over R , and R[[\mathcal X]]_3 be the full ring of formal power series in \mathcal X] over R . We show that the Picard group of R[[\mathcal X]]_3 is isomorphic to the Picard group of R . An integral domain is called a π -domain if every principal ideal is a product of prime ideals. An integral domain is a π -domain if and only if it is a Krull domain that is locally a unique factorization domain. We show that R[[\mathcal X]]_3 is a π -domain if R[[Χ_1 , . . . , Χ_n]] is a π -domain for every n ≥ 1 . In particular, R[[\mathcal X]]_3 is a π -domain if R is a Noetherian regular domain. We extend these results to rings with zero-divisors. A commutative ring R with identity is called a π -ring if every principal ideal is a product of prime ideals. We show that R[[\mathcal X]]_3 is a π -ring if R is a Noetherian regular ring.

The purpose of this paper is to develop constructive versions of Stafford's theorems on the module structure of Weyl algebras A n (k) (i.e., the rings of partial differential operators with polynomial coefficients) over a base field k of characteristic zero. More generally, based on results of Stafford and Coutinho-Holland, we develop constructive versions of Stafford's theorems for very simple domains D. The algorithmization is based on the fact that certain inhomogeneous quadratic equations admit solutions in a very simple domain. We show how to explicitly compute a unimodular element of a finitely generated left D-module of rank at least two. This result is used to constructively decompose any finitely generated left D-module into a direct sum of a free left D-module and a left D-module of rank at most one. If the latter is torsion-free, then we explicitly show that it is isomorphic to a left ideal of D which can be generated by two elements. Then, we give an algorithm which reduces the number of generators of a finitely presented left D-module with module of relations of rank at least two. In particular, any finitely generated torsion left D-module can be generated by two elements and is the homomorphic image of a projective ideal whose construction is explicitly given. Moreover, a non-torsion but non-free left D-module of rank r can be generated by r+1 elements but no fewer. These results are implemented in the Stafford package for D=A n (k) and their system-theoretical interpretations are given within a D-module approach. Finally, we prove that the above results also hold for the ring of ordinary differential operators with either formal power series or locally convergent power series coefficients and, using a result of Caro-Levcovitz, also for the ring of partial differential operators with coefficients in the field of fractions of the ring of formal power series or of the ring of locally convergent power series.

Strongly Hopfian Rings of Formal Power Series and Power Series Armendariz Rings in Infinitely Many Variables

We consider the functional equation $$\Phi (x,\Phi (y,z)) = \Phi (x'y,z)$$ as the identity for vectors of power series φ(x, z):=φ(x; z1, ..., z n ) in the variables x, z1, ..., z in with coefficients from a commutative ring with unit element and an additional condition, which is satisfied, e.g. for principle ideal domains (fields, polynomial rings or rings of power series in one variable over a field). The above equation is of interest in the iteration theory. All the solutions of this equation can be determined. As a corollary, one gets a complete description of the idempotent vectors of power series φ(z1, ..., z n ), i.e. the vectors of power series which satisfy φ.φ=φ.

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.

We investigate the translation equation (T) , and the cocycle equations (Co1) , (Co2) in [ x ], the ring of formal power series over . Here we restrict ourselves to iteration groups of type I, i. e. to solutions of (T) of the form , where c 1 ? 1 is a generalized exponential function. It is easy to prove that the coefficient functions c n (s), a n (s), s n (s) of are polynomials, c 1(s), polynomials or rational functions in one more generalized exponential function and, in a special case, polynomials in an additive function. For example, we obtain . For this we do not need any detailed information about the polynomials P n . Under some conditions on the exponential and additive functions it is possible to replace the exponential and additive functions by independent indeterminates. In this way we obtain formal versions of the translation equation and the cocycle equations in rings of the form [ x ], [ x ], [ x ], [ x ], and [ x ]. We solve these equations in a completely algebraic way, by deriving formal differential equations or Aczel�Jabotinsky type equations for these problems. It is possible to get the structure of the coefficients in great detail which are now polynomials or rational functions. We prove the universal character (depending on certain parameters) of these polynomials or rational functions. And we deduce the canonical form S -1(yS(x)) for iteration groups of type I. This approach seems to be more clear and more general than the original one. Some simple substitutions allow us to solve these problems in rings of the form ( [ u ]) [ x ], i. e. where the coefficient functions are formal series.