Polynomials Inducing the Zero Function on Local Rings

DOI10.24330/IEJA.325942MaRDI QIDQ4975098zbMATH OpenOpenAlexFDO

Authors Mark W. Rogers, Cameron Wickham

Publication date 8 August 2017

Published in International Electronic Journal of Algebra (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://arxiv.org/abs/1607.02482

zbMATH Keywords

Artinian ringfinite ringnull idealvanishing polynomial

Mathematics Subject Classification ID

Polynomials in number theory (11C08) Polynomials over commutative rings (13B25) Commutative Artinian rings and modules, finite-dimensional algebras (13E10) Polynomial rings and ideals; rings of integer-valued polynomials (13F20) Local rings and semilocal rings (13H99) Henselian rings (13J15) Polynomials and finite commutative rings (13M10)

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

Recommendations

• Polynomials inducing the zero function on chain rings
• scientific article; zbMATH DE number 5014787
• scientific article; zbMATH DE number 1340217
• Locally nilpotent derivations of polynomial rings
• scientific article; zbMATH DE number 1221069
• scientific article; zbMATH DE number 3989499
• On zero-divisors of near-rings of polynomials
• scientific article; zbMATH DE number 1904865
• Nullstellenzahlen von Polynomfunktionen auf Restklassenringen
• Zeros of polynomials over local fields. The Galois action

Cited in

(10)

• A survey on fixed divisors
• On polynomial functions over finite commutative rings
• Reduced commutative rings where polynomials have many roots
• Polynomials inducing the zero function on chain rings
• The ideal of polynomials vanishing on a commutative ring
• Polynomials Contained in a Finite Number of Maximal Ideals
• Integer-valued polynomials on algebras: a survey of recent results and open questions
• A Propos De La Condition (C₂) Pour Les Idéaux Monômiaux
• On a property of the ideals of the polynomial ring $R[x]$
• Everywhere vanishing polynomial functions

This page was built for publication: Polynomials Inducing the Zero Function on Local Rings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4975098)