Why All Rings Should Have a 1
Should the definition of ring require the existence of a multiplicative identity 1? Emmy Noether, when giving the modern axiomatic definition of a commutativering, in 1921, did not include such an axiom [15, p. 29]. For several decades, algebra books followed suit [16, x3.1], [18, I.x5]. But startin...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Article |
| Language: | English |
| Published: |
Informa UK Limited,
2020-08-07T20:45:40Z.
|
| Subjects: | |
| Online Access: | Get fulltext |
| Summary: | Should the definition of ring require the existence of a multiplicative identity 1? Emmy Noether, when giving the modern axiomatic definition of a commutativering, in 1921, did not include such an axiom [15, p. 29]. For several decades, algebra books followed suit [16, x3.1], [18, I.x5]. But starting around 1960, many books by notable researchers began using the term "ring" to mean "ring with 1" [7, 0.(1.0.1)], [14, II.x1], [17, p. XIV], [1, p. 1]. Sometimes a change of heart occurred in a single person, or between editions of a single book, always towards requiring a 1: compare [11, p. 49] with [13, p. 86], or [2, p. 370] with [3, p. 346], or [4, I.x8.1] with [5, I.x8.1]. Reasons were not given; perhaps it was just becoming increasingly clear that the 1 was needed for many theorems to hold; some good reasons for requiring a 1 are explained in [6]. But is either convention more natural? The purpose of this article is to answer yes, and to give a reason: existence of a 1 is a part of what associativity should be. National Science Foundation (Grants DMS-1069236, DMS-1601946) Simons Foundation (Grants 340694, 402472) |
|---|