These days I much prefer a different proof of this fact, attributed to Conway: h...

red_trumpet · 2024-08-22T16:20:29 1724343629

The cool thing is this argument immediately generalizes to zeroes of monic polynomials with integer coefficients, i.e. x^n + a_0 x^{n-1} + ... + a_n.

In commutative algebra one says "the ring Z is integrally closed in its field of fractions Q", or short "Z is normal".[1]

scythmic_waves · 2024-08-22T14:29:54 1724336994

I hadn't seen this before, it's fantastic! Thanks!