 Complete local rings satisfy Hensel's lemma, which roughly speaking allows extending solutions (of various problems) over the residue field "k" to "R".Several deeper aspects of commutative rings have been studied using methods from homological algebra.lists some open questions in this area of active research.