Showing 1–5 of 5 results for author: Rogers, M W

Polynomials Inducing the Zero Function on Local Rings

Authors: Mark W. Rogers, Cameron Wickham

Abstract: For a Noetherian local ring (R, m) having a finite residue field of cardinality q, we study the connections between the ideal Z(R) of R[x], which is the set of polynomials that vanish on R, and the ideal Z(m), the polynomials that vanish on m, using what we call pi-polynomials: polynomials of the form p(x) = \prod_{i = 1}^{q} (x - c_i), where c1, ..., cq is a set of representatives of the residue… ▽ More For a Noetherian local ring (R, m) having a finite residue field of cardinality q, we study the connections between the ideal Z(R) of R[x], which is the set of polynomials that vanish on R, and the ideal Z(m), the polynomials that vanish on m, using what we call pi-polynomials: polynomials of the form p(x) = \prod_{i = 1}^{q} (x - c_i), where c1, ..., cq is a set of representatives of the residue classes of m. When R is Henselian we prove that p(R) = m and show that a generating set for Z(R) may be obtained from a generating set for Z(m) by composing with p(x). When m is principal and has index of nilpotency e, we prove that if e \leq q then Z(m) = (x, m)^e, and if e = q + 1 then Z(m) = (x, m)^e + (x^q - m^{q - 1} x). When R is finite, we prove that Z(R) = \cap_{i = 1}^{q} Z(c_i + m) is a minimal primary decomposition. We determine when Z(R) is nonzero, regular, or principal, respectively, and do the same for Z(m). We prove that when R is complete, repeated application of p(x) + x to elements of R will produce a sequence converging to the roots of p(x). We show that Z(R) is the intersection of the principal ideals generated by the pi-polynomials. △ Less

Submitted 8 July, 2016; originally announced July 2016.

MSC Class: 13M10; 13B25 (Primary) 11C08; 13J15; 13E10; 13F20 (Secondary)

Sets of Lengths of Powers of a Variable

Authors: Richard Belshoff, Daniel Kline, Mark W. Rogers

Abstract: A positive integer k is a length of a polynomial if that polynomial factors into a product of k irreducible polynomials. We find the set of lengths of polynomials of the form x^n in R[x], where (R, m) is an Artinian local ring with m^2 = 0. A positive integer k is a length of a polynomial if that polynomial factors into a product of k irreducible polynomials. We find the set of lengths of polynomials of the form x^n in R[x], where (R, m) is an Artinian local ring with m^2 = 0. △ Less

Submitted 8 July, 2016; originally announced July 2016.

Comments: To appear in the Rocky Mountain Journal of Mathematics

MSC Class: 13A05 (Primary) 13E10 (Secondary)

Gorenstein rings and irreducible parameter ideals

Authors: Thomas Marley, Mark W. Rogers, Hideto Sakurai

Abstract: Given a Noetherian local ring (R,m) it is shown that there exists an integer l such that R is Gorenstein if and only if some system of parameters contained in m^l generates an irreducible ideal. We obtain as a corollary that R is Gorenstein if and only if every power of the maximal ideal contains an irreducible parameter ideal. Given a Noetherian local ring (R,m) it is shown that there exists an integer l such that R is Gorenstein if and only if some system of parameters contained in m^l generates an irreducible ideal. We obtain as a corollary that R is Gorenstein if and only if every power of the maximal ideal contains an irreducible parameter ideal. △ Less

Submitted 6 September, 2006; v1 submitted 26 August, 2006; originally announced August 2006.

Comments: 9 pages; submitted; Replacement: Coauthor H. Sakurai added, reference to work of J. R. Strooker added, introduction shortened

MSC Class: 13D45 (Primary) 13H10 (Secondary)

The Index of Reducibility of Parameter Ideals and Mostly Zero Finite Local Cohomology

Authors: J. C. Liu, M. W. Rogers

Abstract: We prove that if M is a finitely-generated module of dimension d with finite local cohomologies over a Noetherian local ring, and if the ith local cohomology module of M is zero unless i = d, i = 0, and i = r for some r strictly between 0 and d, then there is an integer l such that every parameter ideal for M contained in the lth power of the maximal ideal has the same index of reducibility on M… ▽ More We prove that if M is a finitely-generated module of dimension d with finite local cohomologies over a Noetherian local ring, and if the ith local cohomology module of M is zero unless i = d, i = 0, and i = r for some r strictly between 0 and d, then there is an integer l such that every parameter ideal for M contained in the lth power of the maximal ideal has the same index of reducibility on M. This theorem generalizes work of the second author (math.AC/0408143) and is closely related to work of S. Goto, H. Sakurai (math.AC/0306148), and N. Suzuki. △ Less

Submitted 15 October, 2005; originally announced October 2005.

Comments: Under review. 21 pages

MSC Class: 13D45 (Primary) 13H10 (Secondary)

The index of reducibility of parameter ideals in low dimension

Authors: Mark W. Rogers

Abstract: Results are presented concerning the following question: If M is a finitely-generated module with finite local cohomologies over a Noetherian local ring (A, m), does there exist an integer n such that every parameter ideal for M contained in m^n has the same index of reducibility? We show that the answer is yes if M has dimension 1 or if M has dimension 2 and positive depth. This research is clo… ▽ More Results are presented concerning the following question: If M is a finitely-generated module with finite local cohomologies over a Noetherian local ring (A, m), does there exist an integer n such that every parameter ideal for M contained in m^n has the same index of reducibility? We show that the answer is yes if M has dimension 1 or if M has dimension 2 and positive depth. This research is closely related to work of Goto-Suzuki and Goto-Sakurai; Goto-Sakurai have supplied an answer of yes in case M is Buchsbaum. △ Less

Submitted 10 August, 2004; originally announced August 2004.

Comments: 12 pages. J. Algebra 278/2 (2004) 571-584 (to appear)

MSC Class: 13H10 (Primary); 13D45 (Secondary)