Talk:Ring of Algebraic Integers

From ProofWiki
Jump to navigation Jump to search

The following comment was embedded in the Definition section:

This ought to go in the definition.
If $K$ is a number field, then we let $\mathcal O_K = \mathbb A \cap K$ denote the subring of algebraic integers contained in $K$.

In the definition given, however, $\mathbb A$ is a subring of $K$, so I don't know what the previous author is trying to define by $\mathcal O_K = \mathbb A \cap K$.

--Ixionid 23:04, 31 January 2012 (EST)

What definition section? Can you link to the page you found it on? --prime mover 01:16, 1 February 2012 (EST)
It's in Ring_of_Algebraic_Integers. It's in a comment, so you can't see it unless you edit the page. --Ixionid 18:15, 2 February 2012 (EST)
Oh yes. I remember now. I commented it out because I didn't understand it either. --prime mover 18:18, 2 February 2012 (EST)