A localization of a power series ring over a Prüfer domain

2021 ◽  
Vol 225 (12) ◽  
pp. 106765
Author(s):  
Mi Hee Park
1997 ◽  
Vol 114 (2) ◽  
pp. 111-131 ◽  
Author(s):  
David F. Anderson ◽  
David E. Dobbs ◽  
Moshe Roitman

1978 ◽  
Vol 72 ◽  
pp. 71-82 ◽  
Author(s):  
Phillip Griffith

Let k be a field and let A = be a normal graded subring of the full ring of polynomials R = k[X1, · · ·, Xn] (where R always is graded via total degree and A0 = k). R. Fossum and the author [F-G] observed that the completion  at the irrelevant maximal ideal of A is isomorphic to the subring of the formal power series ring R̂ = k[[X1, · ·., Xn]] and, moreover, that  is a ring of invariants of an algebraic group whenever A is.


1995 ◽  
Vol 38 (4) ◽  
pp. 429-433 ◽  
Author(s):  
David E. Dobbs ◽  
Moshe Roitman

AbstractIt is proved that if r* is the weak normalization of an integral domain r, then the weak normalization of the power series ring r[[x1,....xn]] is contained in R*[[X1,....Xn]]. Consequently, if R is a weakly normal integral domain, then R[[X1,....Xn]] is also weakly normal.


Author(s):  
Gyu Whan Chang ◽  
Phan Thanh Toan

Let [Formula: see text] be a commutative ring with identity. Let [Formula: see text] and [Formula: see text] be the collection of polynomials and, respectively, of power series with coefficients in [Formula: see text]. There are a lot of multiplications in [Formula: see text] and [Formula: see text] such that together with the usual addition, [Formula: see text] and [Formula: see text] become rings that contain [Formula: see text] as a subring. These multiplications are from a class of sequences [Formula: see text] of positive integers. The trivial case of [Formula: see text], i.e. [Formula: see text] for all [Formula: see text], gives the usual polynomial and power series ring. The case [Formula: see text] for all [Formula: see text] gives the well-known Hurwitz polynomial and Hurwitz power series ring. In this paper, we study divisibility properties of these polynomial and power series ring extensions for general sequences [Formula: see text] including UFDs and GCD-domains. We characterize when these polynomial and power series ring extensions are isomorphic to each other. The relation between them and the usual polynomial and power series ring is also presented.


1986 ◽  
Vol 38 (1) ◽  
pp. 158-178 ◽  
Author(s):  
Paul Roberts

A common method in studying a commutative Noetherian local ring A is to find a regular subring R contained in A so that A becomes a finitely generated R-module, and in this way one can obtain some information about the original ring by applying what is known about regular local rings. By the structure theorems of Cohen, if A is complete and contains a field, there will always exist such a subring R, and R will be a power series ring k[[X1, …, Xn]] = k[[X]] over a field k. In this paper we show that if R is chosen properly, the ring A (or, more generally, an A-module M), will have a comparatively simple structure as an R-module. More precisely, A (or M) will have a free resolution which resembles the Koszul complex on the variables (X1, …, Xn) = (X); such a complex will be called an (X)-graded complex and will be given a precise definition below.


2015 ◽  
Vol 25 (05) ◽  
pp. 725-744 ◽  
Author(s):  
Ryszard Mazurek ◽  
Michał Ziembowski

Let R be a ring, and let S be a strictly ordered monoid. The generalized power series ring R[[S]] is a common generalization of polynomial rings, Laurent polynomial rings, power series rings, Laurent series rings, Mal'cev–Neumann series rings, monoid rings and group rings. In this paper, we examine which conditions on R and S are necessary and which are sufficient for the generalized power series ring R[[S]] to be semilocal right Bézout or semilocal right distributive. In the case where S is a strictly totally ordered monoid we characterize generalized power series rings R[[S]] that are semilocal right distributive or semilocal right Bézout (the latter under the additional assumption that S is not a group).


1998 ◽  
Vol 57 (3) ◽  
pp. 427-432 ◽  
Author(s):  
Zhongkui Liu

Let R be a commutative ring and (S, ≤) a strictly ordered monoid which satisfies the condition that 0 ≤ s for every s ∈ S. We show that the generalised power series ring [[RS ≤]] is a PF-ring if and only if R is a PF-ring.


Sign in / Sign up

Export Citation Format

Share Document