The tag has no wiki summary.

learn more… | top users | synonyms

0
votes
0answers
78 views

Multiplicativity of the Ideal Norm

I asked this question on StackExchange twice, and was never able to get an answer. This is not quite a research-level question, but it is sufficiently difficult and interesting from a pedagogical ...
3
votes
1answer
132 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 ...
2
votes
1answer
147 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 ...
7
votes
2answers
339 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 ...
0
votes
0answers
139 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: ...
3
votes
1answer
381 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)}$. K is an algebraic number ...
4
votes
3answers
426 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}}$ ...
2
votes
2answers
356 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 ...
1
vote
1answer
308 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 ...
0
votes
2answers
315 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 ...
16
votes
4answers
1k 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 ...
14
votes
4answers
748 views

Etale coverings of certain open subschemes in Spec O_K

Although my number theory is really weak, I'm trying to understand the notion of etale coverings in this context. I think this could provide a very interesting point of view. Let $U$ be an open ...
3
votes
1answer
363 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 ...