Characterization of primes dividing the index of a trinomial

Abstract

Let [Formula: see text] denote the ring of algebraic integers of an algebraic number field [Formula: see text], where [Formula: see text] is a root of an irreducible trinomial [Formula: see text] belonging to [Formula: see text]. In this paper, we give necessary and sufficient conditions involving only [Formula: see text] for a given prime [Formula: see text] to divide the index of the subgroup [Formula: see text] in [Formula: see text]. In particular, we deduce necessary and sufficient conditions for [Formula: see text] to be equal to [Formula: see text].