Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
needed to point to ring of integers of a number field. The term used to redirect just to integers. I have split it off now with a minimum of content. Have to rush off now.
Fixed a mathematical typo and added a little more to the Idea section.
I made integer link to ring of integers in the Terminology section.
But we also have algebraic integer (written primarily by Todd) ,which seems to cover much the same ground. (It even has the boldface term ‘ring of integers’ in it, so the redirect probably should have been there all along.)
Oh, I didn’t see this, sorry. Should be merged.
Btw, thanks for fixing my text. I suppose I left out the condition that the coefficients are integra.
I gave both algebraic integer and ring of integers a brief Idea-section to help the reader with getting an idea of what’s going on before diving into the technical details. Please check if you agree and feel invited to edit as need be.
Do you still want to merge them?
I wouldn’t mind, but I don’t feel like doing it myself. If you want to, please do!
I probably will then, but not on this lousy phone!
I have added the definition to ring of integers for the case of a local non-archimedean field.
And I have expanded the Idea-sentence just a little and added two more simple examples in the Example-section.
I made a number of changes in ring of integers. Namely the entry had the format which sugested that the definitions in a number field and in a local nonarchimedean field are different and did not include other cases. I made it the standard way with easy general definition in an arbitrary commutative unital ring. The special cases are now under notation and properties as it should be.
I added a reference at ring of integers to the recently published paper Defining $\mathbb{Z}$ in $\mathbb{Q}$.
added to the list of examples:
The ring of intergers of a cyclotomic field $\mathbb{Q}(\zeta_n)$ is $\mathbb{Z}[\zeta_n]$, called the ring of cyclotomic integers.
1 to 14 of 14