Suppose $K, F \subseteq L$ are fields. Say $\alpha_1, \dots \alpha_n \in L$ are both $K$- and $F$-linearly independent. Are they $KF$-linearly independent, where the compositum is taken inside $L$? This is somehow motivated by trying to understand towers of (transcendental) separable extensions -- namely, if $K \subseteq F \subseteq L$ is a tower of (not necessarily algebraic) field extensions and $L$ is separable over $K$, is then $L$ separable over $F$?
2026-05-15 08:18:41.1778833121
Linear independence over the compositum of two fields
48 Views Asked by Bumbble Comm https://math.techqa.club/user/bumbble-comm/detail At
2
Try $K=\Bbb{Q}(2^{1/3}),F=\Bbb{Q}(e^{2i\pi/3} 2^{1/3}),L=KF=\Bbb{Q}(2^{1/3},e^{2i\pi/3}),\alpha_1=1,\alpha_2 = e^{2i\pi/3}$