Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I have a question about a practical application of (some) generalised form of Hensel's Lemma. I cannot find it stated in an appropriate form in Bourbaki or anywhere else, so here goes ...

Let $p$ be an odd prime: we work over the $p$-adic numbers $Q_p$ with ring of integers $Z_p$ and residue field $F_p$. I have a bunch of quadratic and quartic polynomial equations in N variables, with coefficients in $F_p$, and I have a (non-unique) solution set in $F_p^{N}$.

To simplify things assume that the number of variables N exceeds the total number of equations.

Is it possible to conclude from the non-vanishing of some sort of generalised Jacobian determinant, that my solution set lifts to $Z_p$?

share|cite|improve this question
Please do use LaTeX to write down your mathematics, as otherwise it appears very cumbersome. In the FAQ section you can find directions on this... – DonAntonio Feb 19 '13 at 13:26
up vote 4 down vote accepted

The same proof method works in higher dimension.

Let $F: \mathbb{Z}_p^m \to \mathbb{Z}_p^n$ be our system of polynomial functions.

If $x \in \mathbb{Z}_p^m$ satisfies

$$ F(x) \equiv 0 \pmod {p^e} $$


$$ F(x) \equiv p^e y \pmod {p^{e+1}} $$

for some vector $y$. Furthermore, the Taylor expansion about $x$ tells us

$$ F(x + p^e z) \equiv p^e y + p^e dF(x) \cdot z \pmod{p^{e+1}} $$

so as long as

$$ dF(x) \cdot z \equiv -y \pmod p$$

always has a solution for the vector $z$ (e.g. more variables than equations and $dF(x)$ has full rank), then lifts exist.

share|cite|improve this answer
Thank you - very elegant! – GaryMak Feb 21 '13 at 10:05

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.