Seja f (x) = x³ + 3x + a³ (a ∈ Z) um polinômio cúbico e seja a raiz real de f (x). Consideramos o grupo de unidades de Q(). Mostramos que u = 1 - a² - a é uma unidade fundamental de Q() sob certas condições. E consideramos o grupo 3-classe de Q().
Eiji Yoshida (Quarta-feira,) estudou essa questão.