I have proved for myself the following theorem, generalizing Galois theorem to general algebraic extensions. My question is: is it true, and is there some reference to this theorem in the literature?(adsbygoogle = window.adsbygoogle || []).push({});

Theorem: Recall that a subfield ##M## of a field ##L## is a perfect closure in ##L## if there is no purely inseparable extension of ##M## inside ##L##. In other words, ##\text{char}(M) = 0## or ##\text{char}(M) = p > 0## and all the ##p##-roots of elements of ##M## contained in ##L## already belong to ##M##.

Assume that ##L/K## is a normal extension of fields. Suppose this extension finite for the sake of simplicity (otherwise, consider only closed groups of automorphisms for the Krull topology). Galois theorem becomes:

The application ##M\mapsto H = {\rm Aut}(L/M)## define a ##1\!-\!1## correspondence, reversing the inclusion, between the perfect closures ##M## in ##L## between ##K## and ##L##, and the subgroups ##H## of ##\text{Aut}(L/K)##. The invert is given as usual by ##H\mapsto M = {\rm Fix}(H)##.

**Physics Forums - The Fusion of Science and Community**

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# A Galois theorem in general algebraic extensions

Have something to add?

Draft saved
Draft deleted

Loading...

Similar Threads - Galois theorem general | Date |
---|---|

B Galois Groups ... A&F Example 47.7 ... ... | Jul 7, 2017 |

I Galois Groups ... A&W Theorem 47.1 ... ... | Jul 4, 2017 |

I Galois Theory - Fixed Field of F and Definition of Aut(K/F) | Jun 18, 2017 |

I Galois Theory - Fixed Subfield of K by H ... | Jun 16, 2017 |

I Galois Theory - Structure Within Aut(K/Q) ... | Jun 15, 2017 |

**Physics Forums - The Fusion of Science and Community**