5
$\begingroup$

If $K$ is a field, then as is well known every finite separable extension $L$ of $K$ is of the form $L=K(\alpha)$ for some $\alpha \in L$.

A similar statement can be made about an extension of discrete valuation rings with separable residue field extension.

These statements very much resemble the statement "every projective module over a principal ideal domain $A$ is free". This last statement can be interpreted as the vanishing of a certain cohomology group. Now my question is: can the primitive element theorem be interpreted as the vanishing of a cohomology group?

Thank you!

$\endgroup$
3
  • 1
    $\begingroup$ What vanishing statement is the same as "projective=free over a PID"? $\endgroup$ Mar 21, 2013 at 2:54
  • 1
    $\begingroup$ Mariano: Presumably the statement is that $H^1(Spec(R),GL_n)=0$ for all $n$. $\endgroup$ Mar 21, 2013 at 2:57
  • 3
    $\begingroup$ This is the sort of thing that I have in mind: For a Dedekind domain $A$, every projective $A$-module is free if and only if $\text{Pic}(A) = H^1(X, \mathcal O_X^*) = 0$ (where $X=\text{Spec }A$). $\endgroup$ Mar 21, 2013 at 2:58

1 Answer 1

13
$\begingroup$

The vanishing of the cohomology group $H^1(Spec(R),GL_n)$ doesn't actually say that all projectives of rank $n$ are free; it says only that all projectives of rank $n$ are isomorphic. Combining this with the observation that at least one such projective is free, we get that they're all free.

But in the case of field extensions, it is not true that all finite separable extensions are isomorphic, even though they're all generated by primitive elements. Therefore, I think the analogy you're seeing is largely illusory.

$\endgroup$
3
  • 1
    $\begingroup$ That's a good point! $\endgroup$ Mar 21, 2013 at 3:07
  • $\begingroup$ Ok this rules out an interpretation that a cohomology group vanishes. But perhaps the primitive element theorem gives a surjective map to some cohomology group? $\endgroup$ Mar 22, 2013 at 1:29
  • $\begingroup$ @Martin, I also have not completely given up on the idea. If you think of anything, please share! Regards, $\endgroup$ Mar 22, 2013 at 16:50

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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