I've done some search in Internet and other sources about this question. Why the name ring to this particular object? Just curiosity.
Thanks.
I've done some search in Internet and other sources about this question. Why the name ring to this particular object? Just curiosity.
Thanks.
The name "ring" is derived from Hilbert's term "Zahlring" (number ring), introduced in his Zahlbericht for certain rings of algebraic integers. As for why Hilbert chose the name "ring", I recall reading speculations that it may have to do with cyclical (ring-shaped) behavior of powers of algebraic integers. Namely, if $\:\alpha\:$ is an algebraic integer of degree $\rm\:n\:$ then $\:\alpha^n\:$ is a $\rm\:\mathbb Z$-linear combination of lower powers of $\rm\:\alpha\:,\:$ thus so too are all higher powers of $\rm\:\alpha\:.\:$ Hence all powers cycle back onto $\rm\:1,\:\alpha,\:,\ldots,\alpha^{n-1}\:,\:$ i.e. $\rm\:\mathbb Z[\alpha]\:$ is a finitely generated $\:\mathbb Z$-module. Possibly also the motivation for the name had to do more specifically with rings of cyclotomic integers. However, as plausible as that may seem, I don't recall the existence of any historical documents that provide solid evidence in support of such speculations.
Beware that one has to be very careful when reading such older literature. Some authors mistakenly read modern notions into terms which have no such denotation in their original usage. To provide some context I recommend reading Lemmermeyer and Schappacher's Introduction to the English Edition of Hilbert’s Zahlbericht. Below is a pertinent excerpt.
Below is an excerpt from Leo Corry's Modern algebra and the rise of mathematical structures, p. 149.
Below are a couple typical examples of said speculative etymology of the term "ring" via the "circling back" nature of integral dependence, from Harvey Cohn's Advanced Number Theory, p. 49.
$\quad$The designation of the letter $\mathfrak D$ for the integral domain has some historical importance going back to Gauss's work on quadratic forms. Gauss $\left(1800\right)$ noted that for certain quadratic forms $Ax^2+Bxy+Cy^2$ the discriminant need not be square-free, although $A$, $B$, $C$ are relatively prime. For example, $x^2-45y^2$ has $D=4\cdot45$. The $4$ was ignored for the reason that $4|D$ necessarily by virtue of Gauss's requirement that $B$ be even, but the factor of $3^2$ in $D$ caused Gauss to refer to the form as one of "order $3$." Eventually, the forms corresponding to a value of $D$ were called an "order" (Ordnung). Dedekind retained this word for what is here called an "integral domain."
$\quad$The term "ring" is a contraction of "Zahlring" introduced by Hilbert $\left(1892\right)$ to denote (in our present context) the ring generated by the rational integers and a quadratic integer $\eta$ defined by $$\eta^2+B\eta+C=0.$$ It would seem that module $\left[1,\eta\right]$ is called a Zahlring because $\eta^2$ equals $-B\eta-C$ "circling directly back" to an element of $\left[1,\eta\right]$ . This word has been maintained today. Incidentally, every Zahlring is an integral domain and the converse is true for quadratic fields.
and from Rotman's Advanced Modern Algebra, p. 81.