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:
“Most personal correspondence of today consists of letters the first half of which are given over to an indexed statement of why the writer hasn’t written before, followed by one paragraph of small talk, with the remainder devoted to reasons why it is imperative that the letter be brought to a close.”
—Robert Benchley (1889–1945)
“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)
“If we do take statements to be the primary bearers of truth, there seems to be a very simple answer to the question, what is it for them to be true: for a statement to be true is for things to be as they are stated to be.”
—J.L. (John Langshaw)