Let and let complex conjugation be denoted by a bar. For , every conjugate of has modulus one, so the kernel of the logarithmic unit embedding shows that is a root of unity. Reduction modulo gives , so this root belongs to . Squaring permutes , hence multiplication by a suitable root of unity makes real. The real unit belongs to and the units of the quadratic field Q square root of five finish the calculation.
Articles by others on the same topic
There are currently no matching articles.