Tuesday, April 11, 2017

abstract algebra - Linearly disjoint vs. free field extensions

Consider two field extensions K and L of a common subfield k and suppose K and L are both subfields of a field Ω, algebraically closed.



Lang defines K and L to be 'linearly disjoint over k' if any finite set of elements of K that are linearly independent over k stays linearly independent over L (it is, in fact, a symmetric condition). Similarly, he defines K and L to be 'free over k' if any finite set of elements of K that are algebraically independent over k stays algebraically independent over L.



He shows right after that if K and L are linearly disjoint over k, then they are free over k.



Anyway, Wikipedia gives a different definition for linearly disjointness, namely K and L are linearly disjoint over k iff KkL is a field, so I was wondering:




do we have a similar description of 'free over k' in terms of the tensor product KkL?



It should be a weaker condition than KkL being a field, perhaps it needs to be a integral domain?

No comments:

Post a Comment

analysis - Injection, making bijection

I have injection f:AB and I want to get bijection. Can I just resting codomain to f(A)? I know that every function i...