Talk:Hilbert's Theorem 90

Can we take cohomology out of the lead? Please remember that our intention is to be clear to those who don't know what the subject is, at least at the beginning of an article. Septentrionalis PMAnderson 19:18, 12 March 2008 (UTC)

The proof of the theorem given in the "Proof" section seems incomplete: it ends by finding an eigenvector after extending scalars to L, but doesn't give an argument why this eigenvector descends to one for the original map. — Preceding unsigned comment added by 2601:644:601:1460:6567:5CB0:3661:3F8C (talk) 08:40, 6 December 2022 (UTC)