Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

I think I came up with a proof of the following theorem using non-archimedian completions. But I'm not 100% sure. Is this correct?

Theorem Let $A$ be a Dedekind domain, $K$ its field of fractions. Suppose that for each maximal ideal $P$ of $A$, the residue field $A/P$ is perfect. Let $L$ be a finite separable extension of $K$. Let $B$ be the integral closures of $A$ in $L$. Let $\alpha$ be an element of $B$. Let $f(X)$ be the characteristic polynomial of $\alpha$. Let $f'(X)$ be the formal derivative of $f(X)$. We denote $f'(\alpha)$ by $\delta(\alpha)$. Since $f(X) ∈ B[X]$, $\delta(\alpha) ∈ B$. Let $D_{L/K}$ be the different. Then $D_{L/K}$ is generated by the set $\{\delta(\alpha); \alpha ∈ B\}$.

Proof Let $I$ be the ideal generated by the set $\{\delta(\alpha); \alpha ∈ B\}$. For each prime ideal $P$ of $A$, let $(D_{L/K})_P$ and $I_P$ be the localizations of $D_{L/K}$ and $I$ with respect to the multiplicative subset $S = A - P$ respectively. It suffices to prove that $(D_{L/K})_P$ = $I_P$ for each prime ideal $P$ of $A$. Therefore, by replacing $A$ by $A_P$, we can assume that $A$ is a discrete valuation ring. It is easy to see that the theorem holds if there exists $\alpha ∈ B$ such that $B$ = $A[\alpha]$. Combining the result and the following propositions, I think we are done.

Proposition 1 Let $K$, $L$, $A$, $B$, $D_{L/K}$ be as in the theorem. Let $I$ be the ideal generated by the set $\{\delta(\alpha); \alpha ∈ B\}$. Then $I$ $⊂$ $D_{L/K}$.

Proof Suppose that $\delta(\alpha)$ $≠$ 0. Let $f(X)$ be the characteristic polynomial of $\alpha$. Let $g(X)$ = $f(X)/(X - \alpha)$ = $X^{n-1} $ $ + $ $ a_{n-2}X^{n-2} $ $ + ... + $ $ a_0$ $∈ B[X]$. Let $\mu ∈ (D_{L/K})^{-1}$. Let $h(X)$ = $Tr(\mu{f(X)}/(X - \alpha))$ = $Tr(\mu)X^{n-1}$ $ $ + $ $ $Tr(\mu{a_{n-2}})X^{n-2}$ $ $ + ... + $ $ $Tr(\mu{a_0})$. Since $\mu ∈ (D_{L/K})^{-1}$, $h(X) ∈ B[X]$. Replacing $X$ of $h(X)$ with $\alpha$, we get $\mu{f'(\alpha)}$ = $h(\alpha)$. Hence $\mu{f'(\alpha)} ∈ B$. Hence $f'(\alpha)$ $∈$ $D_{L/K}$. Therefore $I$ $⊂$ $D_{L/K}$.

Proposition 2 Let $A$ be a discrete valuation ring. Let $K$ be its field of fractions. Let $L$ be a finite separable extension. Let $B$ be the integral closure of $A$ in $L$. Suppose that $B$ is a discrete valuation ring. Let $\bar{K}$ be the residue field of A. Let $\bar{L}$ be the residue field of B. Suppose that $\bar{L}$ is a separable extension of $\bar{K}$. Then there exists $\alpha ∈ B$ such that $B$ = $A[\alpha]$.

The proof can be found in Serre's Local fields, Proposition 12 in page 57, or Lang's Algebraic number theory, Proposition 3 in page 59.

Proposition 3 Let $A$ be a complete discrete valuation ring. Let $K$ be its field of fractions. Let $L$ be a finite separable extension. Let $B$ be the integral closure of $A$ in $L$. Let $\bar{K}$ be the residue field of A. Let $\bar{L}$ be the residue field of B. Suppose that $\bar{L}$ is a separable extension of $\bar{K}$. Then there exists $\alpha ∈ B$ such that $B$ = $A[\alpha]$.

The proof is immediate using proposition 2.

Proposition 4 Let $A$ be a discrete valuation ring, $P$ its maximal ideal. Let $\hat{A_P}$ be the completion of $A$ with respect to $P$-adic topology. Then $\hat{A_P}$ is faithfully flat over $A$.

The proof can be found in Bourbaki's Commutative Algebra, Chap. III $§$3, No.5, Prop. 9.

Proposition 5 Let $A$ be a Dedekind domain, $K$ its field of fractions. Let $L$ be a finite separable extension of $K$. Let $B$ be the integral closure of $A$ in $L$. Let P be the maximal ideal of A. Let Q be a maximal ideals of $B$ lying over $P$. Let $D_{L/K}$ be the different. Let $\hat{L_Q}$, $\hat{B_Q}$, $\hat{K_P}$ be completions. Let $(D_{L/K})_Q$ be the ideal of $\hat{B_Q}$ generated by $D_{L/K}$. Then $(D_{L/K})_Q$ is the different of $\hat{L_Q}$ over $\hat{K_P}$

The proof can be found in Serre's Local fields, chapter 3, section 4, Proposition 10 in page 52.

share|improve this question
add comment

Know someone who can answer? Share a link to this question via email, Google+, Twitter, or Facebook.

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.