Zur Arithmetik einiger Serien nichtauflösbarer Gleichungen 5. Grades (Q800414): Difference between revisions

Let \(K=\mathbb{Q}(\alpha)\) be an algebraic number field generated by a root \(\alpha\) of the polynomial \(f(x)=x^5+ax+b\) over \(\mathbb{Q}\). The author gives conditions for the Galois group of \(f(x)\) to be the symmetric group \(S_5\), and gives an integral basis and discriminant of \(K\) under some conditions. Then he proves that a fundamental unit system of the order \(\mathbb{Z}[\alpha]\) is (i) \(\{\alpha,\alpha^2 - 2A\alpha +2A^2\}\) when \(f(x)=x^5+4A^4 x+1,\ 1\leq A\in\mathbb{Z},\) or (ii) \(\{\alpha,\alpha +D,\alpha -D\}\) when \(f(x) = x^5 - D^4 x+1,\ 2\leq D\in\mathbb{Z}\), where both the polynomials \(f(x)\) have Galois group \(S_5\). Some conditions for the above unit system to be a fundamental unit system of \(K\) are also obtained.