Lemma 15.9.1. Let $A$ be a ring, let $I \subset A$ be an ideal, let $\overline{u} \in A/I$ be an invertible element. There exists an étale ring map $A \to A'$ which induces an isomorphism $A/I \to A'/IA'$ and an invertible element $u' \in A'$ lifting $\overline{u}$.

Proof. Choose any lift $f \in A$ of $\overline{u}$ and set $A' = A_ f$ and $u$ the image of $f$ in $A'$. $\square$

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).
{"ft_lang_label":"__label__en","ft_lang_prob":0.66896784,"math_prob":0.9986014,"size":748,"snap":"2022-27-2022-33","text_gpt3_token_len":216,"char_repetition_ratio":0.09811828,"word_repetition_ratio":0.0,"special_character_ratio":0.29010695,"punctuation_ratio":0.090322584,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":0.9995652,"pos_list":[0],"im_url_duplicate_count":[null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2022-08-09T17:47:49Z\",\"WARC-Record-ID\":\"<urn:uuid:7f37b89f-f217-4cd7-b3b7-9ad14da85f16>\",\"Content-Length\":\"13985\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:73a9fbbb-5598-414a-afb8-d2411b67d867>\",\"WARC-Concurrent-To\":\"<urn:uuid:6e4833e5-56e8-4203-b535-75d59b5a0c3a>\",\"WARC-IP-Address\":\"128.59.222.85\",\"WARC-Target-URI\":\"https://stacks.math.columbia.edu/tag/07LX\",\"WARC-Payload-Digest\":\"sha1:7QRWFY3ALKN5SKRSFC4FXAI3XDGPB2DD\",\"WARC-Block-Digest\":\"sha1:TZ7ID2WC2J2ZOV3NPTL5Y4UATJX37QRS\",\"WARC-Identified-Payload-Type\":\"text/html\",\"warc_filename\":\"/cc_download/warc_2022/CC-MAIN-2022-33/CC-MAIN-2022-33_segments_1659882571056.58_warc_CC-MAIN-20220809155137-20220809185137-00122.warc.gz\"}"}