From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/6389 Path: news.gmane.org!not-for-mail From: dalizan Newsgroups: gmane.science.mathematics.categories Subject: Re: Proving enough injectives for modules over a Grothendieck topos Date: Thu, 25 Nov 2010 19:52:44 -0500 Message-ID: References: Reply-To: dalizan NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable X-Trace: dough.gmane.org 1290813571 5074 80.91.229.12 (26 Nov 2010 23:19:31 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Fri, 26 Nov 2010 23:19:31 +0000 (UTC) Cc: To: Colin McLarty Original-X-From: majordomo@mlist.mta.ca Sat Nov 27 00:19:26 2010 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtpx.mta.ca ([138.73.1.114]) by lo.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1PM7Ze-00088N-93 for gsmc-categories@m.gmane.org; Sat, 27 Nov 2010 00:19:26 +0100 Original-Received: from mlist.mta.ca ([138.73.1.63]:49493) by smtpx.mta.ca with esmtp (Exim 4.71) (envelope-from ) id 1PM7Z3-0003ix-Ky; Fri, 26 Nov 2010 19:18:49 -0400 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1PM7Yz-0005hC-PZ for categories-list@mlist.mta.ca; Fri, 26 Nov 2010 19:18:45 -0400 In-Reply-To: Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:6389 Archived-At: Dear Peter and Colin, The result (and more general one asserting that if a variety V of universal algebras has enough injectives then the category of V-algebras in a Grothendieck topos also has enough injectives) is published in M.M. Ebrahimi, M. M., Algebra in a topos of sheaves: Injectivity in quasi- equational classes, J. Pure and Appl. Alg., 26 (1982), 269=E2=80=93280. The different proof of the same result is given = in D. Zangurashvili, Some categorical algebraic properties in quasi-varieties of algebras in a Grothendieck topos, Bull. Acad. Sci. Georgian SSR, 139, N1, 1990, 25-28. The second paper is mentioned in the Elephant. Together with the property to have enough injectives, the amalgamation, congruence extension, transferability properties and the property to have enough absolute retracts in the categories of V- algebras in a Grothendieck topos are studied in these papers. Best regards, Dali Zangurashvili On Mon, 11 Oct 2010 10:19:12 -0400, Colin McLarty wrote: > 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. >=20 > 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. >=20 > I am glad to hear it will be in the Elephant. >=20 > best, Colin >=20 > 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. >=20 >=20 > 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 >> >=20 > [For admin and other information see: http://www.mta.ca/~cat-dist/ ] [For admin and other information see: http://www.mta.ca/~cat-dist/ ]