2
votes
2answers
149 views

Domains $D$ for which for any prime $P$, $D_P$ is a PID

Is there any name or alternative characterization for the class of integral domains $D$ such that for any prime ideal $P$, $D_P$ is a principal ideal domain?
3
votes
1answer
336 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 ...
3
votes
1answer
123 views

How to estimate a local hilbert samuel funcion

Let $X$ be a reduced hypersurface in the projective variety $\mathbb{P}^n(K)$, where $K$ is a number field. Select $\xi$ is a $F_{\mathfrak{p}}$-rational point of $X$ where $\mathfrak{p}$ is a prime ...
14
votes
1answer
707 views

Principal maximal ideals in Z[x]/(F)

Is there some irreducible $F \in \mathbb{Z}[x]$ such that $\mathbb{Z}[x]/(F)$ has no principal maximal ideal? Equivalently, is it possible that the $1$-dimensional integral domain $\mathbb{Z}[x]/(F)$ ...
4
votes
3answers
402 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}}$ ...
16
votes
3answers
1k views

Commutative Algebra with a View Toward Algebraic Number Theory

Someone asked me this today, and I don't know what the standard answer is: Is there an analogue of David Eisenbud's rather amazing Commutative Algebra With a View Toward Algebraic Geometry but with a ...
6
votes
2answers
710 views

Decomposition of finite algebras over finite fields

Let $K$ be a number field, $Z_K$ its ring of integers, and $p$ a rational prime number. Then $A_p = Z_K/(p)$ is a finite ${\mathbb F}_p$-algebra. Using ideal arithmetic in $Z_K$ and the Chinese ...
4
votes
0answers
266 views

What to call the following variant of tame ramification

Suppose that $R \subseteq S$ is a generically separable extension of 1-dimensional normal domains (you can assume that $R$ is local if you'd like) of equal-characteristic $p > 0$ (for simplicity, ...
6
votes
1answer
382 views

The Jacobian ideal generates the socle of a complete intersection

This is with reference to theorem 5.20 in Vasconcelos book linked (google books) here: http://tinyurl.com/2967eov I shall restate the theorem here for easy reference: "If $A=k[[x_1,x_2,...,x_n]]/I$ ...
4
votes
3answers
369 views

Examples of DVRs of residue char p and ramification e

I am looking for concrete examples of a complete discrete valuation ring $R$ of characteristic 0, residue characteristic $p$ and ramification index $e$. By residue characteristic, I mean the ...
6
votes
2answers
330 views

Does regularity of a prime ideal in the fibre imply regularity of the prime?

Recall that a prime $\mathfrak{p}$ is called nonsingular (regular) if the localization at that prime is a regular local ring. If all primes of a ring $R$ are nonsingular, $R$ is called regular. Let ...
1
vote
0answers
140 views

Ideals weak equivalence and “finite” equivalence

Let $R$ be an order in a number field. Two $R$-ideals $I$ and $J$ are weak equivalent if there exist (necessarily invertible) ideals $X$ and $Y$ such that $I X=J$ and $J Y=I$. This is equivalent to ...
8
votes
4answers
1k views

Is there much difference between Kronecker's and Dedekind's methods in algebraic number theory and commutative algebra?

Edwards, in his book "Divisor theory" says that Kronecker's methods are quite different to Dedekind's and those of today. Is there really much of a difference apart from Kronecker's methods being more ...
3
votes
1answer
356 views

Non-existence ofintegral basis of integral closure in a finite extension of Frac(A), A Dedekind.

Let $A$ be a Dedekind domain, $K:=\text{Frac}(A)$ and $L/K$ finite so that the integral closure $B$ of $A$ in $L$ is Dedekind. If $A$ is a PID, for example, then there exists an integral basis : $B$ ...
9
votes
1answer
408 views

How to find examples of non-trival kernel of maps between Brauer groups Br(R) -> Br(K)

Background/Motivation: The facts about the Brauer groups I will be using are mainly in Chapter IV of Milne's book on Etale cohomology (unfortunately it was not in his online note). Let $R$ be a ...