Skip to main content

Questions tagged [prufer-domain]

Filter by
Sorted by
Tagged with
1 vote
1 answer
67 views

Decomposing semihereditary rings

Let $R$ be a commutative semihereditary ring (i.e. every finitely generated ideal of $R$ is projective https://en.wikipedia.org/wiki/Hereditary_ring). Then is $R$ a finite direct product of Prufer ...
user521337's user avatar
  • 1,209
3 votes
0 answers
150 views

Integral domain $R$ with fraction field $K$ such that for every $u \in K$, the subring $R[u]$ of $K$ is flat $R$-module

Let $R$ be an integral domain with fraction field $K$. If for every $u \in K$, the subring $R[u]$ of $K$ is a flat $R$-module, then is it true that $R$ is a Prufer domain ? If $R$ were moreover a ...
user avatar
2 votes
3 answers
304 views

GCD and LCM of elements in Prufer domain

Let $R$ be a Prufer domain. If $0 \ne a \in R$ is such that $Ra \cap Rb$ is principal ideal for every $b \in R$, then is it true that $Ra+Rb$ is also principal for every $b\in R$ ? Over Prufer ...
user avatar
12 votes
1 answer
655 views

What kind of arithmetic information does the ring of integers in an infinite extension carry?

The fact that the ring of integers in a finite extension of $\Bbb Q$ is a Dedekind domain and purely algebraic properties of Dedekind domains are absolutely essential for algebraic number theory. So ...
Lukas Heger's user avatar
3 votes
1 answer
128 views

Indecomposable quotient of Prüfer domains

Let $D$ be a Prüfer domain. I am looking for equivalent condition on an ideal $I$ of $D $ under which $D/I $ is an indecomposable ring.
user119996's user avatar
5 votes
2 answers
534 views

On Prufer domains

Are there any Prufer domains that have an infinity of prime ideals but only one of those primes is not finitely generated?
Stefan's user avatar
  • 51
17 votes
1 answer
1k views

Is the ring of all cyclotomic integers a Bezout domain?

My previous question about the theorem (apparently due to Dedekind -- thanks, Arturo Magidin!) that the ring $\overline{\mathbb{Z}}$ of all algebraic integers is a Bezout domain got me thinking about ...
Pete L. Clark's user avatar