3
votes
1answer
70 views

Trace and Norm maps on differential extensions

I'm working through a proof which is rather algebraic, and my abstract algebra is probably only basic to intermediate. I have a differential extension $E/K$ of a differential field $K$, and the proof ...