From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/6314 Path: news.gmane.org!not-for-mail From: Colin McLarty Newsgroups: gmane.science.mathematics.categories Subject: Re: Proving enough injectives for modules over a Grothendieck topos Date: Mon, 11 Oct 2010 10:19:12 -0400 Message-ID: References: Reply-To: Colin McLarty NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable X-Trace: dough.gmane.org 1286828107 18417 80.91.229.12 (11 Oct 2010 20:15:07 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Mon, 11 Oct 2010 20:15:07 +0000 (UTC) To: categories@mta.ca, "Prof. Peter Johnstone" Original-X-From: majordomo@mlist.mta.ca Mon Oct 11 22:15:05 2010 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtpx.mta.ca ([138.73.1.138]) by lo.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1P5Om1-0007Ev-2E for gsmc-categories@m.gmane.org; Mon, 11 Oct 2010 22:15:05 +0200 Original-Received: from mlist.mta.ca ([138.73.1.63]:35796) by smtpx.mta.ca with esmtp (Exim 4.71) (envelope-from ) id 1P5OlH-000765-B8; Mon, 11 Oct 2010 17:14:19 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1P5OlE-0000cQ-Gt for categories-list@mlist.mta.ca; Mon, 11 Oct 2010 17:14:16 -0300 In-Reply-To: Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:6314 Archived-At: This proof really fell through the cracks. The argument from injective Abelian groups to injective R-modules was known by 1960. The last piece was in place in 1974 with Barr's theorem on coverings with AC. The proof may be published somewhere but I can't find it and Peter suggests it is not. Its absence works mischief. Eisenbud COMMUTATIVE ALGEBRA (p. 621) proves modules (n Set) have enough injectives and then sends readers off to Hartshorne for the Godement construction to prove modules over topological spaces have enough injectives. But he has in effect already proved it for all Grothendieck toposes! He merely has to send readers off to Mike's paper or Peter's (1977) book for the AC result. While Eisenbud states results explicitly for module categories over Sets, he frames them to hold much more generally and he sends readers to sources for that generality. I am glad to hear it will be in the Elephant. best, Colin PS thanks to Carsten Butz for reminding me of Andreas Blass "Injectivity, projectivity, and the axiom of choice" (Trans. AMS Volume 255, November 1979) for both history and a proof that choice will be required. 2010/10/11 Prof. Peter Johnstone : > Dear Colin, > > Yes, the argument is correct, and it'll be in volume 3 of the Elephant. > I don't know why it hasn't been published elsewhere. > > Peter > [For admin and other information see: http://www.mta.ca/~cat-dist/ ]