For questions regarding Hensel's lifting lemma in modular arithmetic and its generalization to commutative rings.
Hensel's Lemma. If a polynomial equation has a simple root modulo a prime number $p$, then this root corresponds to a unique root of the same equation modulo any higher power of $p$, which can be found by iteratively "lifting" the solution modulo successive powers of $p$.
