A hybrid Gröbner bases approach to computing power integral bases (Q519989)

In this article the authors characterize all power integral bases of the cyclotomic fields \(\mathbb{Q}(\zeta_p)\) for the prime numbers \(p=29,31,41\). In an earlier paper the first author [J. Number Theory 69, No. 1, 98--118 (1998; Zbl 0923.11150)] has developed a criterion which transforms that task into solving a system of \((p-1)/2\) polynomial equations of degree \((p-1)/2\) in \((p-1)/2\) variables over the finite field \(\mathbb{Z}/p\mathbb{Z}\). In order to solve such a system for prime numbers larger than 23 the authors show that those systems are sparse. Hence, they can not only apply Gröbner bases techniques but also row operations to that system until the result allows exhaustive search.