退出

Writing the Different in terms of the trace

代数数论 Math StackExchange 0 票 0 回答 68 浏览 提问者: Daniel Aricatt 2026-06-27 08:00
number-theory field-theory algebraic-number-theory

问题内容

This question is based on Chapter 6 of Field Arithmetic by Fried and Jarden.

Let $R$ be a Dedekind domain with a quotient field $K$. Let $L/K$ be a Galois extension and let $S$ be the integral closure of $R$ in $L$. For a given $z\in S$ we have that $f$ is its irreducible polynomial in $K$.

They then define the different of $S$ over $R$ as the gcd of all the principal ideals $f'(z)S$, with $z\in S$ and then give the following formula

$(\mathrm{Diff}(S/R)^{-1}=\{x\in L|\mathrm{trace}_{L/K}(xS)\subseteq R\}$.

I am not sure how this follows from the way it has been defined. Any hints would be appreciated.

回答 (0)

暂无回答记录。