3

Let $K/F$ be a finite field extension.

If $K/F$ is Galois then it is well known that there is a bijection between subgroups of $Gal(K/F)$ and subfields of $K/F$.

Since finding subgroups of a finite group is always easy (at least in the meaning that we can find every subgroup by brute-force or otherwise) this gives a nice way of finding subfields and proving they are the only ones.

What can we do in the case that $K/F$ is not a Galois extension ? that is: How can I find all subfields of a non-Galois field extension ?

Belgi
  • 23,150
  • An easy answer to this would be to compute the Galois closure of $K/F$ and consider the subfields of the Galois closure which are in $K$. Would that work for you? – Patrick Da Silva Oct 14 '12 at 18:54
  • @PatrickDaSilva - what if the extension is not separable ? this answer seems good for the cases of characteristic $0$ and for finite fields so it's very nice on but doesn't answer all of the problem. this is just a question of intrest, I don't need an application for something so any information is good. Thank you for your answer! – Belgi Oct 14 '12 at 18:58
  • Hm. I must say I assumed the extension was separable because I don't see very often non-separable extensions. =P – Patrick Da Silva Oct 14 '12 at 19:09
  • 2
    @PatrickDaSilva - http://www.quickmeme.com/meme/3rc44q/ :P – Belgi Oct 14 '12 at 19:19
  • Very nice meme, I like it – Patrick Da Silva Oct 15 '12 at 02:40

2 Answers2

4

An easy answer in the separable case to this would be to compute the Galois closure of K/F and consider the subfields of the Galois closure which are in K.

Hope that helps,

Patrick Da Silva
  • 41,413
2

In the inseparable case there is an idea for a substitute Galois correspondence due, I think, to Jacobson: instead of considering subgroups of the Galois group, we consider (restricted) Lie subalgebras of the Lie algebra of derivations. I don't know much about this approach, but "inseparable Galois theory" seems to be a good search term.

Qiaochu Yuan
  • 419,620