# Tagged Questions

53 views

### Does it hold that the $p$-adic completion of the integers equals the completion of the localization in $p$?

maybe this is a stupid question, but I could not solve it even for the ordinary integers $\mathbb{Z}$. Furthermore, I don't have to much knowledge on algebraic number theory and ramifications. Let ...
43 views

### Strong approximation theorem for Dedekind Domains

This is a theorem in "Maximal Orders" by Reiner. Page 48 stated without proof. And is said to be an easy consequence of The Chinese remainder Theorem. I am attempting to prove the theorem and need a ...
18 views

### Do lattices in a field of fractions contain an ideal?

Let $R$ be a noetherian commutative integrally closed domain whose field of fractions $K$ is a finite extension of the field of fractions $Q$ of $\Lambda = \mathbb{Z}_p[[T]]$. Let $L \subset R$ be a ...
75 views

### How to prove this innocent looking isomorphism

I've got a Dedekind domain $R$ with quotient field $K$, a non-zero prime ideal $P$ of $R$. I form the completion $\widehat{K}$ of $K$ wrt the valuation $v_P$ associated to $P$. Let $\widehat{R}$ be ...
40 views

### Rings of algebraic integers

A basic question on algebraic numbers. If $L/K$ is a finite extension of number fields with respective rings of integers $\mathcal O_L$ and $\mathcal O_K$ then is it true that $\mathcal O_L$ is ...
102 views

### Localization in formal power series

I saw in a textbook the following assertion: Let $R$ be a commutative ring with unity, and $R[[X]]$ be the ring of power series in one indeterminate $X$. If the homomorphism $\phi∶ R[[X]] \to R$ ...
181 views

### Why study integrality?

Here are a few of the basic definitions related to integrality. (1) A polynomial in $R[x]$ is monic if its leading coefficient is $1$. (2) An element is integral over a ring $R$ if it ...
47 views

### Degree of extension is equal to linear combination of prime factor multiplicities with prime factor index coefficients in Dedekind domains

I'm working on the following problem... Suppose that $A$ is a Dedekind domain with fraction field $K$. $L/K$ is a finite separable extension of $A$ of degree $n$, and $B$ is the integral closure ...
70 views

### $(p)$ is a prime ideal in $\mathbb{Z}[\sqrt{n}]$ if and only if $n$ is not a square mod $p$

Let $n$ be a square-free integer such that $n\equiv 2,$ or $3\bmod 4$. If $p\in\mathbb{Z}$ be a prime such that $n$ is not a square modulo $p$, then $(p)$ is a prime ideal in ...
82 views

### When does coprimality carry over to the base ring in an extension of Dedekind domains?

Let $A$ be a Dedekind domain. Let $K$ be the field of fractions of $A$ and $L$ is some finite field extension of $K$. Then let $B$ be the integral closure of $A$ in $L$. (Sorry I don't know how to ...
59 views

### Exact sequence out of commutative exact diagram

I'm trying to get grip on the following commutative exact diagram: I know where the maps come from and could verify the exactness and the other maps. (It is induced by the long exact sequence of ...
148 views

### A quotient $\mathcal{O}/\mathfrak{a}$ of a Dedekind domain is principal (Neukirch exer 1.3.5)

The exercise states: The quotient ring $\mathcal{O}/\mathfrak{a}$ of a Dedekind domain by an ideal $\mathfrak{a}\ne 0$ is a principal ideal domain. The proof by localization ...
67 views

### maximal vs non-maximal order in an algebraic number field

I am trying to determine whether an order in a (cubic) number field is maximal or not. I have picked up two different fields. One has a power basis the other does not have it. 1) Let ...
87 views

### Define, $p^{-1} = \{x \in K: xp \subset D\}$. Then show that there exists a non zero $c \in D$ such that $cp^{-1} \subset D$.

Let $D$ be an integral domain and $K$ be its field of fraction. Also, given that $D$ is Notherian, Integrally closed, and every non-zero prime ideal in $D$ is maximal ideal. Let $p$ be a ideal of ...
61 views

### Example 4.3.19 in Liu: unramification with schemes and numbers

In exemple 4.3.19 of Liu's book one hase $L/K$ an extension of number fields with integer rings $\mathcal{O}_L$ and $\mathcal{O}_K$, $\mathfrak{q}\subseteq\mathcal{O}_L$ a prime ideal and ...
114 views

### $p$-adic valuation.

Let $\alpha_1,\alpha_2\in \mathbb Z_p$ such that $v_p(\alpha_1)<v_p(\alpha_2).$ How to prouve that $v_p(\alpha_2-\alpha_1)=v_p(\alpha_1)$ ? I think this is a stupid question but I'm really ...
83 views

76 views

### Questions about a proof in Greenberg's Book.

I am trying to understand the proof of the following lemma : Lemma ' : Suppose that $X$ is a finitely generated $\Lambda$-module ($\Lambda =\mathbb Z_p[[T]]$) and that ...
81 views

102 views

### Pro$-p-$group as a $\Lambda-$module

Let $p$ be a prime number, and let $X$ be an abelian pro$-p-$group (i.e for some indexing set $I,$ we have $X=\varprojlim X_i$ where $X_i$ is a finite, abelian $p-$group for each index $i \in I .$) ...
### $||x||=1$ in $K/\mathbb{Q}$ implies $x$ is a root of unity.
Let $K/\mathbb{Q}$ a finite (i.e. algebraic and finitely generated) extension. Let $x \in K$, such that $||x||=1$ for all normalized absolute values of $K$ but at most one. Then $x$ is a root of ...