Questions tagged [dedekind-domains]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
21 votes
4 answers
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 ...
Pete L. Clark's user avatar
14 votes
4 answers
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? ...
Ariyan Javanpeykar's user avatar
13 votes
1 answer
619 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 ...
PLez's user avatar
  • 133
9 votes
2 answers
827 views

Number of ways to write an integer as a product of irreducibles

Is there any way to tell the number of distinct ways to factor $a\in\mathcal{O}_k$ (up to units, of course) when $k$ is not a PID? A simple investigation in $\mathbb{Q}(\sqrt{-5})$ with integer ring $\...
Adam Hughes's user avatar
  • 1,049
7 votes
1 answer
670 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^{...
Tom's user avatar
  • 322
7 votes
1 answer
699 views

Do all Dedekind domains have the "Riemann-Roch property"?

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 ...
Pete L. Clark's user avatar
6 votes
3 answers
791 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-...
Andrew Chiriac's user avatar
6 votes
1 answer
251 views

Is there a finite extension with a non-trivial class group of any PID?

Let $R$ be a PID with infinitely many prime ideals. Does there always exist a finite extension $R\subset R'$ with $R'$ being a Dedekind domain with a non-trivial class group?
danand's user avatar
  • 73
6 votes
1 answer
266 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, ...
darij grinberg's user avatar
5 votes
3 answers
1k views

Orders of Number Fields

Let $K$ be a number field over $\mathbb{Q}$ of degree $n$, and $\mathcal{O} \subset \mathcal{O}_K$ an order. $\textbf{Questions:}$ $\newcommand{\Spec}{\textrm{Spec }}$ $\newcommand{\cO}{\mathcal{O}}$ ...
LMN's user avatar
  • 3,525
5 votes
1 answer
2k views

Generalizing Dedekind's Factorization Theorem

A classical theorem due to Dedekind states the following: Let $O_{K}$ be the ring of integers of a number field $K$, and assume $K$ is generated by adjoining the algebraic integer $\alpha$ to $...
Ofir Gorodetsky's user avatar
4 votes
2 answers
2k views

Prime ideals in the ring of algebraic integers

Let $m(x) = x^n + a_{n-1}x^{n-1} + \dots + a_1 x+ a_0$, $a_i \in \mathbb{Z}$, be an irreducible polynomial over $\mathbb{Q}$ and $K = \mathbb{Q}[x] / {m(x)\mathbb{Q}[x]}$, so $K$ is an algebraic ...
Xiaolei Wu's user avatar
  • 1,588
4 votes
2 answers
399 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 ...
user75377's user avatar
4 votes
0 answers
442 views

Quotient of Dedekind domains

Is there any characterization for a commutative ring to be a quotient of a Dedekind domain?
bastini's user avatar
  • 41
3 votes
1 answer
309 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 ...
Matthieu Romagny's user avatar
3 votes
1 answer
525 views

On integral domains over which special kind of modules are projective

For an integral domain $R$ let $\mathrm{Frac}(R)$ denote its field of fractions. Then $R$ is embedded in $\mathrm{Frac}(R)$ and we can consider $\mathrm{Frac}(R)$ as an $R$-module. Can we ...
user avatar
3 votes
1 answer
251 views

Existence of algebraic integer with absolute value equal to reciprocal of maximum of $1$ and absolute value of a given algebraic number

Consider a number field $K$, and let $v_1, \cdots v_n$ ($n \in \mathbb N$) be some finite (i.e. non-archimedean) places of $K$. Is the following true? For every $\alpha \in K^\times$ there exists $\...
asrxiiviii's user avatar
2 votes
2 answers
500 views

About the ring used in the definition of drinfeld modules. Why is that ring a dedekind domain?

Let $K/F$ be a function field with exact field of constants $F$ ($F$ is a finite field of characteristic $p$ prime). A prime in $K$ is a discrete valuation in $K$ containing $F$. It has a unique ...
Rahery Jacques's user avatar
2 votes
1 answer
356 views

quotient by ideals and fractional ideals

Let $A$ be a Dedekind domain, $I$ be an ideal in $A$ and let $I^{-1}$ be the inverse of $I$ as a fractional ideal in $K$, where $K$ is the quotient field of $A$. It seems quite natural to have a $A-$...
Hair80's user avatar
  • 655
2 votes
1 answer
80 views

Extension of Dedekind domains and their codifferent

Let $A\subset B$ be a finite extension of Dedekind domains. Let $0\neq b\in B$ and $0\neq a\in A$ such that $(a)=(b)\cap A$. In particular, we have $a=b\cdot c$ for some $c\in B$. Now for any $A$-...
Hans's user avatar
  • 2,863
2 votes
1 answer
148 views

Special submodules over almost Dedekind domains

An integral domain $R$ is an almost Dedekind domain if for each maximal ideal $m$ of $R$, the ring $R_m$ is a Dedekind domain, where $R_m$ is the localization of $R$ at $m$. Question: Let $M$ ...
user140640's user avatar
2 votes
1 answer
223 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 ...
user75148's user avatar
2 votes
0 answers
121 views

Are higher Chow groups and motivic cohomology isomorphic for smooth schemes over a Dedekind domain?

Voevodsky famously proved that his motivic cohomology defined by presheaves with transfers was isomorphic to Bloch's higher Chow groups for smooth schemes over a field. There have long been ...
xir's user avatar
  • 1,964
2 votes
0 answers
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 ...
Somatic Custard's user avatar
2 votes
0 answers
141 views

Characterization of algebraic integers providing a prime ideal

Let $\alpha$ be an algebraic integer and let $\mathcal{O}_{\mathbb{Q}(\alpha)}$ be the ring of integers of $\mathbb{Q}(\alpha)$. Question: How to characterize an algebraic integer $\alpha$ such that $\...
Sebastien Palcoux's user avatar
2 votes
0 answers
458 views

Decomposition and inertia groups, and reduction modulo primes

Let $R$ be a Dedekind domain with fraction field $K$, and let $\mathfrak p$ be a maximal ideal of $R$. Let $f\in R[x]$ be a monic, separable polynomial and let $N/K$ be a splitting field of $f$. A ...
352506's user avatar
  • 991
1 vote
1 answer
118 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 ...
SAIKYO's user avatar
  • 113
1 vote
1 answer
434 views

The union of the totally split primes

Let $R$ be a Dedekind domain with quotient field $K$, let $L$ be a finite separable extension of $K$, and let $S$ be the integral closure of $R$ in $L$. If $\mathfrak{p}$ is a nonzero prime ideal of $...
Jesse Elliott's user avatar
1 vote
1 answer
134 views

Decomposing Noetherian hereditary rings of Krull dimension $1$ into product of hereditary domains (i.e. Dedekind domains)

Let $R$ be a commutative Noetherian hereditary ring (https://en.wikipedia.org/wiki/Hereditary_ring) of Krull dimension $1$. Then is it true that $R$ is a finite direct product of Dedekind domains ?
user521337's user avatar
  • 1,189
1 vote
1 answer
151 views

Locally isomorphic algebras over a Dedekind domain

Let $R$ be a Dedekind domain. Let $A$ and $B$ be two finitely generated domains over $R$. Assume that for every maximal ideal $\mathfrak{p}\subset R$ the $R_{\mathfrak{p}}$-algebras $A_{\mathfrak{p}}$ ...
danand's user avatar
  • 73
1 vote
1 answer
424 views

A question about Dedekind schemes and proper morphisms

The following is Exercise 15.3 of Görtz-Wedhorn Algebraic Geometry I: Let $S$ be a Dedekind scheme with function field $K$ and let $f: X\to S$ be a proper morphism of schemes. Then the canonical map $...
Lao-tzu's user avatar
  • 1,856
1 vote
1 answer
448 views

Noetherian almost Dedekind domain

A Dedekind domain is an integral domain in which every nonzero proper ideal factors into a product of prime ideals, and an integral domain $R$ is called almost Dedekind whenever $R_m$ is Dedekind ...
Andro  Zimone's user avatar
1 vote
1 answer
180 views

An example of a special $1$-dimensional non-Noetherian valuation domain

I am looking for a $1$-dimensional non-Noetherian valuation domain $R$ such that there exists a sequence $\{a_i\}_{i=1}^\infty$ of elements of $R$ such that $\langle a_1\rangle \subsetneqq\langle a_2\...
S. T. Stanly's user avatar
1 vote
0 answers
409 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 ...
asrxiiviii's user avatar
1 vote
0 answers
199 views

Does separability of residue fields implies separability of $L/K$?

Let $A$ be discrete valuation domain, and $K$ be quotient field of $A$. Let $L$ be a finite extension of $K$ and $B$ be the integral closure of $A$ in $L$.Does separability of residue fields implies ...
SUNIL PASUPULATI's user avatar
1 vote
0 answers
234 views

Quotient of polynomial ring over a Dedekind domain

Let $A$ be a Dedekind domain and let $B:=A[X]/(f(X))$, where $f(X)\in A[X]$ is some monic polynomial such that $B$ is a domain. If I take the canonical map $A\longrightarrow B$, then it nduces a ...
Vincenzo Zaccaro's user avatar
0 votes
2 answers
577 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 ...
T.B.'s user avatar
  • 327
0 votes
1 answer
523 views

On $L$-function of permutation representation

I came across the statement in a book: Let $k$ be a number field and $K$ be a Galois extension of $\mathbb Q$ containing $k$, with Galois group $G=\operatorname{Gal}(K/\mathbb Q)$ and let $G_k:=\...
asrxiiviii's user avatar
0 votes
0 answers
263 views

Flatness over Hopf subalgebra

Let $A\subset B$ be flat Hopf algebras over a Dedekind ring $R$. J. Moore has proved in the article Compléments sur les algèbres de Hopf, John C. Moore, Séminaire Henri Cartan (1959-1960), Volume: ...
Phung Ho Hai's user avatar