If every subring of an integral domain is atomic, we say that the latter hereditarily atomic. In this paper, study atomic domains. First, characterize when certain direct limits Dedekind domains are in terms overrings. Then use characterization to determine fields On other hand, investigate hereditary atomicity context rings polynomials and Laurent polynomials, characterizing whose respectively...

We present a formalization of coherent and strongly discrete rings in type theory. This is a fundamental structure in constructive algebra that represents rings in which it is possible to solve linear systems of equations. These structures have been instantiated with Bézout domains (for instance Z and k[x]) and Prüfer domains (generalization of Dedekind domains) so that we get certified algorit...

If R is a Dedekind domain, P a prime ideal of R and S ⊆R a finite subset then a P -ordering of S, as introduced by M. Bhargava in (J. Reine Angew. Math. 490:101–127, 1997), is an ordering {ai}i=1 of the elements of S with the property that, for each 1 < i ≤m, the choice of ai minimizes the P -adic valuation of ∏j<i(s− aj ) over elements s ∈ S. If S, S′ are two finite subsets of R of the same ca...

Proof. Let (α1, . . . , αn) be any Q-basis for K; we first claim there for each i, there exists a non-zero di ∈ Z such that diαi ∈ OK . Indeed, it is easy to check that it is enough to let di be the leading term of any integer polynomial satisfied by αi. Thus, for any non-zero β ∈ I, we find that (βd1α1, . . . , βdnαn) is a Q-basis for K contained in I. It remains to show that such a basis with...

Let R = D[x;σ, δ] be an Ore extension over a commutative Dedekind domain D, where σ is an automorphism on D. In the case δ = 0 Marubayashi et. al. already investigated the class of minimal prime ideals in term of their contraction on the coefficient ring D. In this note we extend this result to a general case δ 6= 0.

Call a domain R an sQQR-domain if each simple overring of R, i.e., each ring of the form R[u] with u in the quotient field of R, is an intersection of localizations of R. We characterize Prüfer domains as integrally closed sQQR-domains. In the presence of certain finiteness conditions, we show that the sQQR-property is very strong; for instance, a Mori sQQR-domain must be a Dedekind domain. We ...

In this paper, I present a new decision procedure for the ideal membership problem for polynomial rings over principal domains using discrete valuation domains. As a particular case, I solve a fundamental algorithmic question in the theory of multivariate polynomials over the integers called “Kronecker’s problem”, that is the problem of finding a decision procedure for the ideal membership prob...