MathDB
exceptional units

Source: miklos schweitzer 1993 q3

October 20, 2021
abstract algebrafinite fields

Problem Statement

Let K be the field formed by the addition of a root of the polynomial x42x21x^4 - 2x^2 - 1 to the rational field. Prove that there are no exceptional units in the ring of integers of K. (A unit ε\varepsilon is called exceptional if 1ε1-\varepsilon is also a unit.)