Commutative algebra | Lemmas in algebra | Modular arithmetic

Hensel's lemma

In mathematics, Hensel's lemma, also known as Hensel's lifting lemma, named after Kurt Hensel, is a result in modular arithmetic, stating that if a univariate polynomial has a simple root modulo a prime number p, then this root can be lifted to a unique root modulo any higher power of p. More generally, if a polynomial factors modulo p into two coprime polynomials, this factorization can be lifted to a factorization modulo any higher power of p (the case of roots corresponds to the case of degree 1 for one of the factors). By passing to the "limit" (in fact this is an inverse limit) when the power of p tends to infinity, it follows that a root or a factorization modulo p can be lifted to a root or a factorization over the p-adic integers. These results have been widely generalized, under the same name, to the case of polynomials over an arbitrary commutative ring, where p is replaced by an ideal, and "coprime polynomials" means "polynomials that generate an ideal containing 1". Hensel's lemma is fundamental in p-adic analysis, a branch of analytic number theory. The proof of Hensel's lemma is constructive, and leads to an efficient algorithm for Hensel lifting, which is fundamental for factoring polynomials, and gives the most efficient known algorithm for exact linear algebra over the rational numbers. (Wikipedia).

Video thumbnail

RIngs 22 Hensel's lemma

This lecture is part of an online course on rings and modules. We continue the previous lecture on complete rings by discussing Hensel's lemma for finding roots of polynomials over p-adic rings or over power series rings. We sketch two proofs, by slowly improving a root one digit at a tim

From playlist Rings and modules

Video thumbnail

Commutative algebra 51: Hensel's lemma continued

This lecture is part of an online course on commutative algebra, following the book "Commutative algebra with a view toward algebraic geometry" by David Eisenbud. This lecture continues the discussion of Hensel's lemma. We first use it to find the structure of the group of units of the p-

From playlist Commutative algebra

Video thumbnail

Commutative algebra 50: Hensel's lemma

This lecture is part of an online course on commutative algebra, following the book "Commutative algebra with a view toward algebraic geometry" by David Eisenbud. We describe Hensel's lemma for finding roots of polynomials over complete rings, and give some examples of using it to find wh

From playlist Commutative algebra

Video thumbnail

Number Theory | Hensel's Lemma

We prove Hensel's Lemma, which is related to finding solutions to polynomial congruences modulo powers of primes. http://www.michael-penn.net Thumbnail Image: By Unknown - Universität Marburg, Public Domain, https://commons.wikimedia.org/w/index.php?curid=9378696

From playlist Number Theory

Video thumbnail

Omar Sanchez 5/1/15 Part 2

Title: A Differential Hensel's Lemma for Local Algebras

From playlist Spring 2015

Video thumbnail

Proof of Lemma and Lagrange's Theorem

Please Subscribe here, thank you!!! https://goo.gl/JQ8Nys Proof of Lemma and Lagrange's Theorem. This video starts by proving that any two right cosets have the same cardinality. Then we prove Lagrange's Theorem which says that if H is a subgroup of a finite group G then the order of H div

From playlist Abstract Algebra

Video thumbnail

The Frobenius Problem - Method for Finding the Frobenius Number of Two Numbers

Goes over how to find the Frobenius Number of two Numbers.

From playlist ℕumber Theory

Video thumbnail

Berge's lemma, an animated proof

Berge's lemma is a mathematical theorem in graph theory which states that a matching in a graph is of maximum cardinality if and only if it has no augmenting paths. But what do those terms even mean? And how do we prove Berge's lemma to be true? == CORRECTION: at 7:50, the red text should

From playlist Summer of Math Exposition Youtube Videos

Video thumbnail

Omar Sanchez 5/1/15 Part 1

Title: A Differential Hensel's Lemma for Local Algebras

From playlist Spring 2015

Video thumbnail

Hensel's Lemma Number Theory 15

⭐Support the channel⭐ Patreon: https://www.patreon.com/michaelpennmath Merch: https://teespring.com/stores/michael-penn-math My amazon shop: https://www.amazon.com/shop/michaelpenn ⭐my other channels⭐ Main Channel: https://www.youtube.com/michaelpennmath non-math podcast: http

From playlist Number Theory

Video thumbnail

Hensel's Lemma -- Number Theory 15

Suggest a problem: https://forms.gle/ea7Pw7HcKePGB4my5 Please Subscribe: https://www.youtube.com/michaelpennmath?sub_confirmation=1 Patreon: https://www.patreon.com/michaelpennmath Merch: https://teespring.com/stores/michael-penn-math Personal Website: http://www.michael-penn.net Randolp

From playlist Number Theory v2

Video thumbnail

Algebraic geometry 41: Completions

This lecture is part of an online algebraic geometry course, based on chapter I of "Algebraic geometry" by Hartshorne. It reviews completions of rings and Hensel's lemma, and gives an example of two analytically isomorphic singularities.

From playlist Algebraic geometry I: Varieties

Video thumbnail

Introduction to number theory lecture 19. Hensel and Newton's method

This lecture is part of my Berkeley math 115 course "Introduction to number theory" For the other lectures in the course see https://www.youtube.com/playlist?list=PL8yHsr3EFj53L8sMbzIhhXSAOpuZ1Fov8 We describe a method due to Hensel and Newton for lifting a solution of an equation mod p t

From playlist Introduction to number theory (Berkeley Math 115)

Video thumbnail

Introduction to number theory lecture 20. p-adic numbers.

This lecture is part of my Berkeley math 115 course "Introduction to number theory" For the other lectures in the course see https://www.youtube.com/playlist?list=PL8yHsr3EFj53L8sMbzIhhXSAOpuZ1Fov8 We descibe the general case of Hensel's lemma (or Newton's method) for solving equations, a

From playlist Introduction to number theory (Berkeley Math 115)

Video thumbnail

[ANT15] p-adic integers: a primer, and an application (part 1)

The p-adic integers are pretty easy to define, but it's far from obvious what the point of them is, or how we should even think about them. In this video, I describe them as a practical tool: a collection of number systems that are related to the usual integers Z, but where solving equatio

From playlist [ANT] An unorthodox introduction to algebraic number theory

Video thumbnail

On a conjecture of Poonen and Voloch I: Probabilistic models(...) - Sawin - Workshop 1 - CEB T2 2019

Will Sawin (Columbia University) / 21.05.2019 On a conjecture of Poonen and Voloch I: Probabilistic models for counting rational points on random Fano hypersurfaces Poonen and Voloch have conjectured that almost every degree d Fano hypersur- face in Pn defined over the field of rational

From playlist 2019 - T2 - Reinventing rational points

Video thumbnail

Riemann-Lebesgue Lemma

In this video, I prove the famous Riemann-Lebesgue lemma, which states that the Fourier transform of an integrable function must go to 0 as |z| goes to infinity. This is one of the results where the proof is more important than the theorem, because it's a very classical Lebesgue integral

From playlist Real Analysis

Related pages

Factorization of polynomials | Quotient ring | Mathematical object | Bézout's identity | Inverse limit | Linear algebra | Frobenius endomorphism | Étale topology | Ideal (ring theory) | Maximal ideal | Locally compact field | Quadratic residue | Hasse–Minkowski theorem | Root of unity | Polynomial | Rational number | Principal ideal domain | Canonical map | P-adic analysis | Monic polynomial | Mathematics | Unit (ring theory) | Field (mathematics) | Analytic number theory | Integer | Constructive proof | Henselian ring | Noetherian ring | Mathematical induction | Category theory | P-adic valuation | Eisenstein's criterion | Prime number | Irreducible polynomial | Local ring | Lifting-the-exponent lemma | Completion of a ring | Unique factorization domain | Newton polygon | Commutative ring | Newton's method | Modular arithmetic | Kurt Hensel