Statement
Let be a polynomial with integer (or p-adic integer) coefficients, and let m,k be positive integers such that m ≤ k. If r is an integer such that
- and
then there exists an integer s such that
- and
Furthermore, this s is unique modulo pk+m, and can be computed explicitly as
- where
In this formula for t, the division by pk denotes ordinary integer division (where the remainder will be 0), while negation, multiplication, and multiplicative inversion are performed in .
As an aside, if, then 0, 1, or several s may exist (see Hensel Lifting below).
Read more about this topic: Hensel's Lemma
Famous quotes containing the word statement:
“After the first powerful plain manifesto
The black statement of pistons, without more fuss
But gliding like a queen, she leaves the station.”
—Stephen Spender (1909–1995)
“Eroticism has its own moral justification because it says that pleasure is enough for me; it is a statement of the individual’s sovereignty.”
—Mario Vargas Llosa (b. 1936)
“One is apt to be discouraged by the frequency with which Mr. Hardy has persuaded himself that a macabre subject is a poem in itself; that, if there be enough of death and the tomb in one’s theme, it needs no translation into art, the bold statement of it being sufficient.”
—Rebecca West (1892–1983)