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!