From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/8539 Path: news.gmane.org!not-for-mail From: Ronnie Brown Newsgroups: gmane.science.mathematics.categories Subject: groupoids and categories Date: Mon, 09 Mar 2015 15:51:14 +0000 Message-ID: Reply-To: Ronnie Brown NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit X-Trace: ger.gmane.org 1425944373 11782 80.91.229.3 (9 Mar 2015 23:39:33 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Mon, 9 Mar 2015 23:39:33 +0000 (UTC) To: "categories@mta.ca" Original-X-From: majordomo@mlist.mta.ca Tue Mar 10 00:39:27 2015 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp3.mta.ca ([138.73.1.127]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1YV7Gg-0002kK-VD for gsmc-categories@m.gmane.org; Tue, 10 Mar 2015 00:39:27 +0100 Original-Received: from mlist.mta.ca ([138.73.1.63]:60457) by smtp3.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1YV7G8-00016L-Re; Mon, 09 Mar 2015 20:38:52 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1YV7G9-0001Ar-EH for categories-list@mlist.mta.ca; Mon, 09 Mar 2015 20:38:53 -0300 Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:8539 Archived-At: Just to make a correction: I wrote "Brandy in 1926" instead of "Brandt in 1926"! To say more on this story, my survey article of 1987 writes: ------------------------------------- Brandt???s de???nition of groupoid arose out of his work for over thirteen years [6-10] on generalising to quaternary quadratic forms a composition of binary quadratic forms due to Gauss [63]. Brandt then saw how to use the notion of groupoid in generalising to the non-commutative case the arithmetic of ideals in rings of algebraic integers, replacing the classical ???nite abelian group by a ???nite groupoid [12]. -------------------------------------- [12] is H. BRANDT, ???Idealtheorie in Quaternionenalgebren???, Math. Ann. 99 (1928) 1-29. A review by Baer of Jacobson's 1943 book on "The theory of rings" writes: It is shown that for the two-sided ideals in an order one may obtain unique factorization in the classical sense, including the commutativity of multiplication, and that under comparatively simple necessary conditions on the orders in the ring one may construct Brandt's groupoid of ideals. ------------------------ The 1939 Monograph by A A Albert, who was at Chicago, may also say something but I do not have it to hand. Use of groupoids in this area was surely common knowledge in the 1940s. I also came across published correspondence of Hasse on this topic. Ronnie Brown -- [For admin and other information see: http://www.mta.ca/~cat-dist/ ]