Effective finiteness theorems for polynomials with given discriminant and integral elements with given discriminant over finitely domains.
The aim of this paper is to prove an analog of Gras’ conjecture for an abelian field and an odd prime dividing the degree assuming that the -part of group is cyclic.