Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

I am looking for a better reference for the results in this extremely short and elementary paper:

Tôyama, Hiraku, `A note on the different of the composed field', Kōdai Math. Sem. Rep. 7 (1955), 43–44.

You can find it here: http://projecteuclid.org/DPubS?service=UI&version=1.0&verb=Display&handle=euclid.kmj/1138843605

In case the link stops working, the primary theorem states that if $K_1$ and $K_2$ are finite extensions of a number field $K_0$ with compositum $K_3 = K_1K_2$, then $$\text{lcm}\left(\mathcal{D}_{K_1/K_0},\mathcal{D}_{K_2/K_0}\right) ~\big|~ \mathcal{D}_{K_3/K_0} ~\big|~ \mathcal{D}_{K_1/K_0}\mathcal{D}_{K_2/K_0}, $$ where $\mathcal{D}_{K_i/K_j}$ denotes the relative different.

As a corollary, if the relative discriminants $D_{K_1/K_0}$ and $D_{K_2/K_0}$ are relatively prime, then $$D_{K_3/K_0} = D_{K_1/K_0}^{[K_2:K_0]} \cdot D_{K_2/K_0}^{[K_1:K_0]}.$$

It's a very elementary result, and I can find the statement of at least the corollary in several places, but only stated in the case where $K_0 = \mathbb{Q}$. The Tôyama paper is a little frustrating to read because it contains some small errors, plus the typesetting is offensive to modern eyes. I would expect this to be in a basic algebraic number theory book. Does anyone know a nicer reference?


Edit: I meant to assume that $K_1$ and $K_2$ are linearly disjoint over $K_0$, so $K_1 \cap K_2 = K_0$. (Algebraic closure fixed before-hand, etc.) I think maybe Tôyama was assuming this tacitly.

share|improve this question

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.