scholarly journals Higher Order Polars of Quasi-Ordinary Singularities

Author(s):  
Evelia R García Barroso ◽  
Janusz Gwoździewicz

Abstract A quasi-ordinary polynomial is a monic polynomial with coefficients in the power series ring such that its discriminant equals a monomial up to unit. In this paper, we study higher derivatives of quasi-ordinary polynomials, also called higher order polars. We find factorizations of these polars. Our research in this paper goes in two directions. We generalize the results of Casas–Alvero and our previous results on higher order polars in the plane to irreducible quasi-ordinary polynomials. We also generalize the factorization of the first polar of a quasi-ordinary polynomial (not necessarily irreducible) given by the first-named author and González-Pérez to higher order polars. This is a new result even in the plane case. Our results remain true when we replace quasi-ordinary polynomials by quasi-ordinary power series.

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