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.

I added a reference at ring of integers to the recently published paper *Defining $\mathbb{Z}$ in $\mathbb{Q}$*.

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.

]]>And I have expanded the Idea-sentence just a little and added two more simple examples in the Example-section.

]]>I have added the definition to *ring of integers* for the case of a local non-archimedean field.

I probably will then, but not on this lousy phone!

]]>I wouldn’t mind, but I don’t feel like doing it myself. If you want to, please do!

]]>Do you still want to merge them?

]]>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.

Btw, thanks for fixing my text. I suppose I left out the condition that the coefficients are integra.

]]>Oh, I didn’t see this, sorry. Should be merged.

]]>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.)

]]>Fixed a mathematical typo and added a little more to the Idea section.

]]>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.