Galois theorem in general algebraic extensions

In summary, the following theorem is generalized from Galois theorem to general algebraic extensions. The theorem states that a subfield is a perfect closure in a field if and only if it contains the perfect closure of the field. This theorem is well known and is mentioned in various texts.
  • #1
coquelicot
299
67
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?

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 news on Phys.org
  • #2
if i read it correctly, yes this is true and well known probably as long as the subject itself. a reference for it, (the first book i opened from my shelf), is the harvard notes by Richard Brauer, on Galois Theory, from 1957, revised 1963, page 73, in paragraph 9 titled "The main theorem of Galois theory". presumably other references exist easier to find copies of.
 
Last edited:
  • #3
well i could not immediately find another such reference. It seems i was led by your question to pull out the one book on my shelf which treats the theorem in exactly this way. congratulations to you for noticing this generalization of most treatments.

It may be that the results proved about purely inseparable extensions, e.g. in Dummit and Foote implies this version. I.e. given such a general finite normal extension E/F, not necessarily separable, take the fixed field L of the galois group. Then L/F is purely inseparacble, E/L is separable (and normal), and the usual galois theory applied to E/L may yield your version. I.e. perhaps one can show that an intermediare field between E and F is a "perfect closure", iff it contains L?

It also seems that one can apply the usual theory by showing that an intermediate field K, between E and F, is a perfect closure iff E/K is (normal and) separable. This implies that every perfect closure is the fixed filed of some subgroup of the galois group. Conversely the approach of artin to the usual galois theory, shows that E is separable over the fixed field of a subgroup, hence such a fixed field is a perfect closure.

anyway, i think you are quite right, and i think it adds something to look at it in this generality. thank you.
 
Last edited:
  • #4
Yes this is the way I prove the theorem: in an algebraic normal extension ##L/K##, a sub extension ##F## is perfect in ##L## if and only if it contains the perfect closure ##K_p## of ##K## in L. Hence everything is usual Galois theory in ##L/K_p## since this extension is separable.
 
  • #5
your question made me think more about non separable extensions and wonder what one knows about the intermediate fields in that case, since it seems the galois theory gives you no handle on them. in particular i wondered if there were any reason for there to be only finitely many intermediate fields, when a google search yielded a theorem of E. Artin that I had forgotten. Namely having only finitely many intermediate fields is equivalent to "simple" extension, i.e. an extension with one generator. so indeed, one may have infinitely intermediate fields in a non separable extension. maybe this is why people often exclude this case in galois theory. as your proof shows, the galois theory only describes the structure of L/Kp, so in some sense one can separate off the study of Kp/K.
 
  • #6
Before I forget it, thank you for your answers mathwonk. Yes, I also think this is the reason for which the Galois correspondence is in general taught only in separable extensions: the study of inseparable extension amounts finally to the study of the separable extension ##L/K_p##. Nevertheless, this point is hardly found in the literature.
 
  • #7
yes at harvard we were often spoiled in this regard, since our professors simply wrote up complete treatises of material so that one never had to look in the literature. the notes i cite were professor brauer's notes for his course and were made available for a few dollars at the department. professor mackey wrote out his lectures on complex variables also and they were published in that form, as an essentially perect book on the topic. professor john tate presented an original treatment of infinite dimensional traces in linear algebra (the "tate trace" for "finite - potent" maps), in order to prove the riemann - roch theorem in his course on curves, and subsequently published one of the student's notes from the lecture as a research paper in a prestigious journal. david mumford's notes from his algebraic geometry lectures are still in print as the famous "red book" of algebraic geometry. of course many courses assigned also usual texts, but often these were not at all used, just recommended as extra reading and alternate approaches. the famous book on advanced calculus by loomis and sternberg was originally handed out as notes for the course math 55 there .i still consider the brauer notes as my favorite source on galois theory.
 

1. What is Galois theorem in general algebraic extensions?

Galois theorem in general algebraic extensions is a fundamental result in mathematics that relates the concept of field extensions to the structure of a group. It provides a powerful tool for understanding the solvability of polynomial equations and has applications in various areas of mathematics, including number theory, algebraic geometry, and cryptography.

2. Who discovered Galois theorem in general algebraic extensions?

The theorem is named after the French mathematician Évariste Galois, who first discovered it in the early 19th century. However, Galois did not publish his work during his lifetime, and it was only after his tragic death in a duel at the age of 20 that his ideas were fully understood and recognized as groundbreaking.

3. What is the significance of Galois theorem in general algebraic extensions?

Galois theorem has far-reaching implications in mathematics, particularly in the study of field extensions and group theory. It provides a bridge between these two areas and allows for a deeper understanding of the structures and symmetries that underlie polynomial equations. It also has practical applications, such as in the construction of mathematical codes for secure communication.

4. How does Galois theorem in general algebraic extensions work?

The theorem states that for a given field extension, there is a one-to-one correspondence between its intermediate fields and its subgroups. This means that every subgroup of the automorphism group of the extension corresponds to a unique intermediate field, and vice versa. This correspondence allows us to study the properties of the extension by studying the properties of its subgroups, which are often easier to understand.

5. What are some real-world applications of Galois theorem in general algebraic extensions?

Galois theorem has been used in various fields, including cryptography, coding theory, and algebraic geometry. In cryptography, it is used to construct secure codes based on the properties of finite fields. In coding theory, it helps in the design and analysis of error-correcting codes. In algebraic geometry, it is used to study the symmetries of algebraic curves and surfaces, which have applications in computer graphics and image processing.

Similar threads

  • Linear and Abstract Algebra
Replies
2
Views
2K
  • Linear and Abstract Algebra
Replies
2
Views
2K
  • Linear and Abstract Algebra
Replies
1
Views
921
  • Linear and Abstract Algebra
Replies
14
Views
2K
  • Linear and Abstract Algebra
Replies
1
Views
1K
  • Linear and Abstract Algebra
Replies
1
Views
1K
  • Linear and Abstract Algebra
Replies
1
Views
1K
  • Linear and Abstract Algebra
Replies
4
Views
858
  • Linear and Abstract Algebra
Replies
6
Views
2K
  • Linear and Abstract Algebra
Replies
6
Views
1K
Back
Top