Units of the fifth cyclotomic field are real up to roots of unity

ID: units-of-the-fifth-cyclotomic-field-are-real-up-to-roots-of-unity

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.

New to topics? Read the docs here!