Sums of two values of x cubed plus three x over the 3-adic integers
ID: sums-of-two-values-of-x-cubed-plus-three-x-over-the-3-adic-integers
For , the equation has a solution in the p-adic integers exactly for the displayed residue classes. The polynomial has values modulo nine, whose pairwise sums are . For sufficiency choose initial pairs for those five classes respectively, fix the second coordinate, and lift the first. Its derivative is , always of 3-adic norm , while its second Taylor coefficient is , of norm below one. The residual is divisible by nine, so either the strict or the Boundary case of Hensel's lemma with a small quadratic coefficient applies.
New to topics? Read the docs here!