Counting Roots of Polynomials over $\mathbb{Z}/p^2\mathbb{Z}$
Abstract
Until recently, the only known method of finding the roots of polynomials over prime power rings, other than fields, was brute force. One reason for this is the lack of a division algorithm, obstructing the use of greatest common divisors. Fix a prime $p \in \mathbb{Z}$ and $f \in ( \mathbb{Z}/p^n \mathbb{Z} ) [x]$ any nonzero polynomial of degree $d$ whose coefficients are not all divisible by $p$. For the case $n=2$, we prove a new efficient algorithm to count the roots of $f$ in $\mathbb{Z}/p^2\mathbb{Z}$ within time polynomial in $(d+\operatorname{size}(f)+\log{p})$, and record a concise formula for the number of roots, formulated by Cheng, Gao, Rojas, and Wan.
- Publication:
-
arXiv e-prints
- Pub Date:
- August 2017
- DOI:
- 10.48550/arXiv.1708.04713
- arXiv:
- arXiv:1708.04713
- Bibcode:
- 2017arXiv170804713H
- Keywords:
-
- Mathematics - Number Theory;
- Computer Science - Computational Complexity;
- Computer Science - Symbolic Computation;
- Mathematics - Commutative Algebra;
- 11Y05;
- 11Y16;
- 13F20 (Primary). 11M38;
- 11S05;
- 11T06 (Secondary)
- E-Print:
- 6 pages, comments welcome! Rewritten to address referee feedback. Bibliography updated. There is a new Corollary 3.3 giving a formula for the number of degenerate roots modulo p that fail to lift to roots modulo p^2