3
$\begingroup$

If K and L are extensions of Q, the rationals. why is it that if there is a prime p in Z such that p is unramified in K and totally ramified in L, then K and L are linearly disjoint. Any ideas? How does linearly disjointedness even come in?

  • 1
    Let $F=K\cap L$. Then since $F$ is a subfield of $K$, $p$ is unramified in $F$. On the other hand, since $F$ is a subfield of $K$, $p$ must be totally ramified in $F$. The only way $p$ can be both unramified and totally ramified in $F$ is if $F=\mathbf{Q}$. If one of $K,L$ is Galois over $\mathbf{Q}$, then this implies $K$ and $L$ are linearly disjoint, but in general, I can't immediately see that this argument gives you linear disjointness.2012-11-11
  • 1
    Linear disjointness means $K\otimes_\mathbf{Q}L$ is a domain (equivalently since these extensions are finite, a field). If $K^g$ and $L^g$ are the Galois closures of $K$ and $L$, then $K\otimes_\mathbf{Q}L$ is a subring of $K^g\otimes_\mathbf{Q}L^g$, so $K$ and $L$ are linearly disjoint if $K^g$ and $L^g$ are. It's true that $p$ is unramified in $K^g$, but I don't think it has to be totally ramified in $L^g$. The problem is that (I think) $p$ need not be totally ramified in a composite of extensions in which it is totally ramified. So the argument I gave above can't be applied2012-11-11
  • 0
    to $K^g$ and $L^g$.2012-11-11
  • 0
    I'm sorry I'm not familiar with the definitely of your linear disjoint, I thought it means no basis vector in one field extension can appear in the other, or any subset of one basis remains independent over the other.2012-11-11
  • 0
    Keenan, This argument also shows that it suffices to show that $K^g$ and $L$ are linearly disjoint. But you have done that in your first comment.2012-11-11
  • 0
    @Jeff Ah, you're right. That never even occurred to me. Thanks!2012-11-11

1 Answers 1

2

I'm turning my comment into an answer (thanks to Jeff Tolliver for pointing out that it actually does provide an answer).

If $K^g$ is the Galois closure of $K$ (over $\mathbf{Q}$), then since $p$ is unramified in each of the Galois conjugates of $K$, and $K^g$ is the composite of these conjugates, $p$ is unramified in $K^g$. Since $K\otimes_\mathbf{Q}L\rightarrow K^g\otimes_\mathbf{Q}L$ is is injective (since $L$ is flat over $\mathbf{Q}$), it suffices to prove that $K^g$ and $L$ are linearly disjoint (i.e. that $K^g\otimes_\mathbf{Q}L$ is a domain). Therefore I can replace $K$ with $K^g$ and reduce to the case where $K/\mathbf{Q}$ is Galois.

Now I'm going to assume that $K$ and $L$ have been embedded into some common extension of $\mathbf{Q}$, so that it makes sense to take their composite and intersection. We then have a map $K\otimes_{\mathbf{Q}}L\rightarrow KL$, and I will prove it is injective. It is surjective because $K/\mathbf{Q}$ is finite.

Since $F:=K\cap L$ is contained in $K$, $p$ must be unramified in $F$. On the other hand, $F$ is contained in $L$, so $p$ must also be totally ramified in $F$. This forces $F=\mathbf{Q}$. A standard theorem in Galois theory says that the natural map $\mathrm{Gal}(KL/L)\rightarrow\mathrm{Gal}(K/\mathbf{Q})$ is injective with image $\mathrm{Gal}(K/F)$. Since $F=\mathbf{Q}$, the map is an isomorphism, and in particular, $[KL:L]=[K:\mathbf{Q}]=\dim_L(K\otimes_\mathbf{Q}L)$. This equality of dimensions implies that $K\otimes_\mathbf{Q}L\rightarrow KL$, which is $L$-linear and surjective, must be injective too. So $K\otimes_\mathbf{Q}L$ is a domain.

EDIT: Here is a proof that the notion of linear disjointness mentioned by the OP in the comments is equivalent to the notion I'm using (in this situtation, when $K/\mathbf{Q}$ is finite and when both fields $K$ and $L$ are inside of some common field, so it makes sense to take their composite). Let $\alpha_1,\ldots,\alpha_n$ be a $\mathbf{Q}$-linearly independent set in $K$. I'm going to assume the elements form a $\mathbf{Q}$-basis (they are contained in one, so my argument goes through regardless). Then the tensors $\alpha_i\otimes 1$ form an $L$-basis for $K\otimes_\mathbf{Q}L$. So every element of $K\otimes_\mathbf{Q}L$ is of the form $\sum_{i=1}^n\alpha_i\otimes b_i$ for $b_i\in L$ (uniquely determined). The map $K\otimes_\mathbf{Q}L\rightarrow KL$ sends this element to $\sum_i\alpha_ib_i$. Thus the map is injective if and only if the $\alpha_i$ are $L$-linearly independent.

So, if $K$ and $L$ are linearly disjoint in the sense of the OP, the map is injective, and so $K\otimes_\mathbf{Q}L$ is a domain. Conversely, if $K\otimes_\mathbf{Q}L$ is a domain, then, because it is finite over a field, it is a field, and therefore the map is injective, so the $\alpha_i$ are $L$-linearly independent, i.e., $K$ and $L$ are linearly disjoint in the sense of the OP.

  • 0
    Thanks but this uses many facts I'm not aware of and a definition of linearly disjoint that I'm not used to. Is there a different approach with the definition that I've given, if it's even correct.2012-11-11