{"id":1070,"date":"2010-12-07T21:35:00","date_gmt":"2010-12-07T21:35:00","guid":{"rendered":"http:\/\/math.columbia.edu\/~dejong\/wordpress\/?p=1070"},"modified":"2010-12-08T00:25:05","modified_gmt":"2010-12-08T00:25:05","slug":"a-lemma","status":"publish","type":"post","link":"https:\/\/www.math.columbia.edu\/~dejong\/wordpress\/?p=1070","title":{"rendered":"A lemma"},"content":{"rendered":"<p>Did you know that if R is a ring, M is a finite R-module, and &phi; : M &#8212;> M is a surjective module map, then &phi; is an isomorphism? Just learned this today. This is Lemma 4.4a in Eisenbud if you want a reference. Or see Lemma <a href=\"http:\/\/math.columbia.edu\/algebraic_geometry\/stacks-git\/locate.php?tag=05G8\">Tag 05G8<\/a> in the stacks project.<\/p>\n<p>If you know about limit arguments etc, then you immediately see how to prove it for finitely presented modules (reduce to Noetherian case, etc, etc). Thinking about it some more you may come to the conclusion that this is one of those things that is simply not true for finite modules in general. So I enjoy lemmas like this since it feels as if you are getting away with something!<\/p>\n<p>[Edit: Just (6:02 PM) received an alternative proof of this lemma from Thanos D. Papa\u00efoannou which is I would say a more honest and in particular completely standard proof. So now there are two proofs&#8230; More anybody?]<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Did you know that if R is a ring, M is a finite R-module, and &phi; : M &#8212;> M is a surjective module map, then &phi; is an isomorphism? Just learned this today. This is Lemma 4.4a in Eisenbud &hellip; <a href=\"https:\/\/www.math.columbia.edu\/~dejong\/wordpress\/?p=1070\">Continue reading <span class=\"meta-nav\">&rarr;<\/span><\/a><\/p>\n","protected":false},"author":2,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[1],"tags":[],"class_list":["post-1070","post","type-post","status-publish","format-standard","hentry","category-uncategorized"],"_links":{"self":[{"href":"https:\/\/www.math.columbia.edu\/~dejong\/wordpress\/index.php?rest_route=\/wp\/v2\/posts\/1070","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.math.columbia.edu\/~dejong\/wordpress\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.math.columbia.edu\/~dejong\/wordpress\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.math.columbia.edu\/~dejong\/wordpress\/index.php?rest_route=\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/www.math.columbia.edu\/~dejong\/wordpress\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=1070"}],"version-history":[{"count":14,"href":"https:\/\/www.math.columbia.edu\/~dejong\/wordpress\/index.php?rest_route=\/wp\/v2\/posts\/1070\/revisions"}],"predecessor-version":[{"id":1083,"href":"https:\/\/www.math.columbia.edu\/~dejong\/wordpress\/index.php?rest_route=\/wp\/v2\/posts\/1070\/revisions\/1083"}],"wp:attachment":[{"href":"https:\/\/www.math.columbia.edu\/~dejong\/wordpress\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=1070"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.math.columbia.edu\/~dejong\/wordpress\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=1070"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.math.columbia.edu\/~dejong\/wordpress\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=1070"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}