There is a theorem in Lang which says that if $L/k$ is Galois and $k\subseteq K$ is any field extension, if $L,K$ are subfields of a larger field, then $LK$ is Galois over $K$. I was wondering if $LK$ is also Galois over $L$?
I think this would be true if $K\subseteq L$ since then we can apply the same theorem to the extension $K\subseteq LK$ and use that $(LK)L=LK$. Is that right?