2
$\begingroup$

Consider two field extensions $K$ and $L$ of a common subfield $k$ and suppose $K$ and $L$ are both subfields of a field $\Omega$, 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 $K \otimes_k L$ is a field, so I was wondering:

do we have a similar description of 'free over $k$' in terms of the tensor product $K \otimes_k L$?

It should be a weaker condition than $K \otimes_k L$ being a field, perhaps it needs to be a integral domain?

  • 0
    Linear disjointness and freeness are broadly discussed in Zariski-Samuel, Commutative Algebra I, Chapter 3. In particular the point, that QiL mentions in his answer, is emphasized.2012-09-13

1 Answers 1

2

The condition of being linearly disjoint or free depends much on the "positions" of $K, L$ inside $\Omega$, while the isomorphism class of the $k$-algebra $K\otimes_k L$ doesn't. For instance, consider $\Omega=\mathbb C(X,Y)$, $K=\mathbb C(X)$, $L_1=\mathbb C(Y)$ and $L_2=K$. Then $K\otimes_\mathbb C L_1\simeq K\otimes_{\mathbb C} L_2$ as $\mathbb C$-algebras. But $K, L_1$ are linearly disjoint (so free) in $\Omega$, not $K, L_2$. This example shows that in general, the linear disjointness nor the freeness can be determined by intrinsic properties of $K\otimes_k L$.

If $K$ or $L$ is algebraic over $k$, then it is true that linear disjointness is equivalent to $K\otimes_k L$ is a field. But in this situation the freeness is automatic whenever the tensor product is a field or not (can even be non-reduced).