Ideal Membership in Polynomial Rings Over the Integers

181 p.Thesis (Ph.D.)--University of Illinois at Urbana-Champaign, 2001.The approach to the ideal membership problem for Z [X] followed here is based on some properties (such as Weierstrass Division) of the ring Z p⟨X⟩ of restricted power series with coefficients in the ring Z p of p-adic integers. We also consider the ideal membership problem for ideals of the ring Z p⟨X⟩ itself, and for ideals of its subring Z p⟨X⟩alg consisting of the restricted p-adic power series which are algebraic over Z [X]. Here, we make extensive use of a height function on the algebraic closure of Q (X) introduced by Kani (1978). Among other things, we obtain an effective version of the Weierstrass Division Theorem for the ring Z p⟨X⟩alg.U of I OnlyRestricted to the U of I community idenfinitely during batch ingest of legacy ETD