Lemma 89.3.5. Let $A \to B$ be a ring map in $\mathcal{C}_\Lambda$. The following are equivalent

1. $f$ is surjective,

2. $\mathfrak m_ A/\mathfrak m_ A^2 \to \mathfrak m_ B/\mathfrak m_ B^2$ is surjective, and

3. $\mathfrak m_ A/(\mathfrak m_\Lambda A + \mathfrak m_ A^2) \to \mathfrak m_ B/(\mathfrak m_\Lambda B + \mathfrak m_ B^2)$ is surjective.

Proof. For any ring map $f : A \to B$ in $\mathcal{C}_\Lambda$ we have $f(\mathfrak m_ A) \subset \mathfrak m_ B$ for example because $\mathfrak m_ A$, $\mathfrak m_ B$ is the set of nilpotent elements of $A$, $B$. Suppose $f$ is surjective. Let $y \in \mathfrak m_ B$. Choose $x \in A$ with $f(x) = y$. Since $f$ induces an isomorphism $A/\mathfrak m_ A \to B/\mathfrak m_ B$ we see that $x \in \mathfrak m_ A$. Hence the induced map $\mathfrak m_ A/\mathfrak m_ A^2 \to \mathfrak m_ B/\mathfrak m_ B^2$ is surjective. In this way we see that (1) implies (2).

It is clear that (2) implies (3). The map $A \to B$ gives rise to a canonical commutative diagram

$\xymatrix{ \mathfrak m_\Lambda /\mathfrak m_\Lambda ^2 \otimes _{k'} k \ar[r] \ar[d] & \mathfrak m_ A/\mathfrak m_ A^2 \ar[r] \ar[d] & \mathfrak m_ A/(\mathfrak m_\Lambda A + \mathfrak m_ A^2) \ar[r] \ar[d] & 0 \\ \mathfrak m_\Lambda /\mathfrak m_\Lambda ^2 \otimes _{k'} k \ar[r] & \mathfrak m_ B/\mathfrak m_ B^2 \ar[r] & \mathfrak m_ B/(\mathfrak m_\Lambda B + \mathfrak m_ B^2) \ar[r] & 0 }$

with exact rows. Hence if (3) holds, then so does (2).

Assume (2). To show that $A \to B$ is surjective it suffices by Nakayama's lemma (Algebra, Lemma 10.20.1) to show that $A/\mathfrak m_ A \to B/\mathfrak m_ AB$ is surjective. (Note that $\mathfrak m_ A$ is a nilpotent ideal.) As $k = A/\mathfrak m_ A = B/\mathfrak m_ B$ it suffices to show that $\mathfrak m_ AB \to \mathfrak m_ B$ is surjective. Applying Nakayama's lemma once more we see that it suffices to see that $\mathfrak m_ AB/\mathfrak m_ A\mathfrak m_ B \to \mathfrak m_ B/\mathfrak m_ B^2$ is surjective which is what we assumed. $\square$

There are also:

• 4 comment(s) on Section 89.3: The base category

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.67854345,"math_prob":0.9999747,"size":1697,"snap":"2022-40-2023-06","text_gpt3_token_len":661,"char_repetition_ratio":0.30360308,"word_repetition_ratio":0.0738255,"special_character_ratio":0.35769004,"punctuation_ratio":0.06760564,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":1.0000086,"pos_list":[0],"im_url_duplicate_count":[null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2023-01-28T22:25:41Z\",\"WARC-Record-ID\":\"<urn:uuid:7bae2e4b-9438-4a5f-9ab3-adced994fb10>\",\"Content-Length\":\"16164\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:7927b836-b040-4d1c-b2d5-a5c4cb59647a>\",\"WARC-Concurrent-To\":\"<urn:uuid:6c2128f0-4d45-415b-bd30-26fc691be901>\",\"WARC-IP-Address\":\"128.59.222.85\",\"WARC-Target-URI\":\"https://stacks.math.columbia.edu/tag/06S3\",\"WARC-Payload-Digest\":\"sha1:IXAWUBEK77A5N4BVBOKLA42JFMBBRSTE\",\"WARC-Block-Digest\":\"sha1:6Q2YEP5FGWEM3ZZ3DZJV4BJKOA64OUIC\",\"WARC-Identified-Payload-Type\":\"text/html\",\"warc_filename\":\"/cc_download/warc_2023/CC-MAIN-2023-06/CC-MAIN-2023-06_segments_1674764499695.59_warc_CC-MAIN-20230128220716-20230129010716-00861.warc.gz\"}"}