Surjectivity on adic completions
ID: surjectivity-on-adic-completions
For any ideal and surjective module map , compatible representatives modulo can be lifted recursively. Having chosen , lift to and put . These define the required element of the adic completion of a module. No finite-generation hypothesis on the modules is required.
New to topics? Read the docs here!