# Questions tagged [dedekind-domains]

The tag has no usage guidance.

38 questions
Filter by
Sorted by
Tagged with
626 views

### Quotients of number fields by certain prime powers

I apologise in advance for what must be a naive question. Let $\mathcal O_K$ be the ring of integers of the algebraic number field $K.$ Let $p$ be a rational prime, and factorize (p)=\mathfrak p_1^{...
• 322
244 views

### What is the right level of generality for $(R/a) \times (R/b) \cong (R/\gcd(a,b)) \times (R/\operatorname{lcm}(a,b))$?

Let $R$ be a principal ideal domain. Let $a$ and $b$ be two elements of $R$. Let $g$ be a greatest common divisor of $a$ and $b$, and let $\ell$ be a least common multiple of $a$ and $b$. (Of course, ...
• 32.7k
609 views

### Can a Dedekind domain have a power basis over a ring that isn't a Dedekind domain?

This aim of this question is to determine whether there exists a proof (or some counterexample) to the following statement : "If $R$ is a subring of Dedekind domain $S$, such that $S$ has a power ...
• 133
65 views

### How to get a concrete description of $\pi_*\Omega_{X/S}(Z)|_Z$, when $X \supset Z \to S$ is a finite extension of Dedekind schemes?

Let $X/S$ be a proper, smooth relative curve over a Dedekind scheme $S$, for example, $X = \mathbb{P}^1_S \xrightarrow{\pi} S$. Suppose that $Z \to X$ is a horizontal effective Cartier divisor such ...
• 1,082
1 vote
376 views

### Examples of almost Dedekind domains that are not Dedekind

All I know about almost Dedekind domains (which I have come to learn about only recently) is that they are integral domains whose localization at every prime is a discrete valuation ring. In other ...
• 709
1 vote
175 views

• 25.2k
1 vote
396 views

• 709
513 views

• 13.4k
1 vote
117 views

### Freeness of the group of principal ideals of a number field

This is just a question wondering whether a concrete (enough) result that can be proved using the axiom of choice can be proved without it. The result being that the group of principal ideals $P_K$ of ...
• 113
397 views

### Transitivity of discriminant for flat algebras

Sorry if the question doesn't feed this site, I'm reposting it from MSE. Nobody answered it there and I couldn't find the proof in general case(whenever it was mentioned the proof was referred to as a ...
766 views

### Algebraic characterization of commutative rings of Krull dimension 1,2, or 3

A commutative ring $R$ (with $1$) is $0$-dimensional if and only if $R/\sqrt 0$ is von Neumann regular. Besides this result, there is a wealth of information about the algebraic structure of zero-...
303 views

### Idempotent fractional ideals of a Noetherian domain

Let $R$ be a commutative Noetherian domain, $K$ its fraction field, and $J$ a fractional ideal (i.e. a finitely generated sub-$R$-module of $K$) such that $J^2=J$. Is it true that $J=0$ or $J=R$? If ...
• 4,312
218 views

### Simultaneous decomposition of modules over Dedekind domains

I posted the question on mathexchange as well, but realized that my chances would be higher posting here; In the paper "Almost diagonal matrices over Dedekind Domains" by L. Levy a specific ...
802 views

• 4,064
561 views

### What is the definition of the valuation of a fractional ideal?

I am reading Local fields and see Serre using $v_{\mathfrak{p}}(\mathfrak{a})$ where $\mathfrak{a}$ is a fractional ideal of the Dedekind domain $A$ and $v_{\mathfrak{p}}$ is the valuation associated ...
• 327
2k views

### Two questions about finiteness of ideal classes in abstract number rings

Let us say that an abstract number ring is an integral domain $R$ which is not a field, and which has the "finite norms" property: for any nonzero ideal $I$ of $R$, the quotient $R/I$ is finite. (I ...
• 64.3k
1k views

### Etale coverings of certain open subschemes in Spec O_K

Let $U$ be an open subscheme of $\textrm{Spec} \ \mathbf{Z}$. The complement of $U$ is a divisor $D$ of $\textrm{Spec} \ \mathbf{Z}$. Q. Can we classify the etale coverings of $U$ of a given degree? ...
• 9,377
Let $R$ be a Dedekind domain with fraction field $K$. Say that a Dedekind domain $R$ has the Riemann-Roch property if: for every nonzero prime ideal $\mathfrak{p}$ of $R$, there exists an element \$f ...