Dedekind's Criterion and Integral Bases

Lhoussain El Fadil
2019 Tatra Mountains Mathematical Publications  
Let R be a principal ideal domain with quotient field K, and L = K(α), where α is a root of a monic irreducible polynomial F (x) ∈ R[x]. Let ℤL be the integral closure of R in L. In this paper, for every prime p of R, we give a new efficient version of Dedekind's criterion in R, i.e., necessary and sufficient conditions on F (x) to have p not dividing the index [ℤL: R[α]], for every prime p of R. Some computational examples are given for R = ℤ.
doi:10.2478/tmmp-2019-0001 fatcat:jna4ufwmsbhn5lh34w3lfek2cm