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

How does one prove that if $L/K$ is an extension of number fields with rings of integers $B/A$, then the module of Kahler differentials $\Omega^1_{B/A}$ can be generated by one element as a $B$-module? When one proves that the annihilator of $\Omega^1_{B/A}$ is the different of the extension, one localizes and completes since both the different and the module of Kahler differentials are compatible with localization and completion. In the local complete case one has $B = A[b]$ for some $b\in B$ and both the claim about the different and my question are easy. What I don't see is how to pick a $b\in B$ before localization and completion which would "work at all finite places" (assuming this approach could be used to solve my question, to begin with)?

share|improve this question

1 Answer 1

up vote 5 down vote accepted

You don't have to pick a $b\in B$ that works at all finite places. Indeed, such a $b$ might not exist. (I think there's an MO question about that.) But by the Chinese remainder theorem, a module over $B$ is cyclic if and only if it is so locally. So you can localize $B$, and then it's enough to check on the completion, where as you point out, it is true.

share|improve this answer
    
Thanks! For those who might read this in the future: I found en.wikipedia.org/wiki/… useful to understand the "by the Chinese remainder theorem" part. –  Kestutis Cesnavicius Jul 12 '11 at 13:13

Your Answer

 
discard

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

Not the answer you're looking for? Browse other questions tagged or ask your own question.