There is a (very) long essay by Grothendieck with the ominous title La Longue Marche à travers la théorie de Galois (The Long March through Galois Theory). As usual, Grothendieck knew what he was talking about: Galois Theory, far from being confined to its primary example, namely field extensions, is pervasive throughout mathematics, and still to be fully understood.
Ever since I first heard of forcing I was struck by its compelling analogy with field extensions: the ground model (read Q), the generic G (read a new element, say $\sqrt{2}$), the new M[G] (read
Q[$\sqrt{2}$]), etc.
I quote Joel Hamkins 's words here, in his sparkling paper on the multiverse:
In effect, the forcing extension has
adjoined the “ideal” object G to V ,
in much the same way that one might
build a field extension such as
Q[$\sqrt{2}$]
Of course, matters are a bit more complicated in set theory, you have to make sure the extension satisfies the axioms, that it does not "bother" the ordinals, and so on.
Yet, one cannot really think that the analogy stops here.
And it does not: in Galois theory, the main thing is the central theorem, establishing the Galois Connection between subfields of the extension and the subgroups of the Galois group, ie the group of the automorphisms of the extension leaving fixed the underlying field.
No Galois connection, no Galois Theory. But wait, first we need the group. So where is it?
A hint is in the great classic result by Jech-Sochor on showing the independence of AC: by considering a group of automorphisms of P, the ordered set of forcing conditions, one can obtain a new model which is (essentially) the set of fixed points of the induced automorphisms. This is even clearer when one looks at it from the point of view of boolean valued models: each automorphism of the boolean algebra induces an automorphism of the extended universe.
Now my question: is there some
systematic work on classifying forcing
extensions by their Galois group? Can one develop a full machinery which will apply to relative extensions?
NOTE: I think this is no idle brooding: someone for instance has asked here on MO about the 2-category of the multiverse. That is a tough question, and my sense is that before giving it a satisfactory answer some preliminary work needs to be done. Which work? Well, one needs to re-think the classical set constructions from a structural standpoint, leaving behind its gory technical details. Now, forcing is a huge part of the multiverse, and understanding the structural algebra underpinning it would be, I trust, a huge step toward an algebraic understanding of the multiverse.
Best Answer
Yes and No... There are strong parallels between forcing and symmetric extensions and field extensions and this way of thinking has been fruitful. However, like in the case of general ring extensions and group extensions and similar problems, this analogy is not perfect and pushing the similarity too far may actually obscure what is really going on.
That said, symmetric extensions do indeed show a great deal of similarity with Galois theory. Some work, notably that of Serge Grigorieff [Intermediate Submodels and Generic Extensions in Set Theory, Annals of Mathematics 101 (1975), 447–490] shows that there is indeed a way to understand intermediate forcing extensions in a manner extremely similar to the way understand field extensions through Galois theory. Some have even pushed this analogy so far as to study some problems roughly analogous to the Inverse Galois Problem in this context, for example [Groszek and Laver, Finite groups of OD-conjugates, Period. Math. Hungar. 18 (1987), 87–97].
There are some very algebraic ways of understanding forcing and symmetric models in a more global sense. For example, forcing extensions correspond in a well-understood way to the category of complete Boolean algebras under complete embeddings. Moreover, the automorphism groups of these algebras plays a crucial role in our understanding of the inner model structure of forcing extensions. An even farther reaching approach comes from transposing the sheaf constructions from topos theory into the set-theoretic context [Blass and Scedrov, Freyd's models for the independence of the axiom of choice, Mem. Amer. Math. Soc. 79 (1989), no. 404]. One could argue that this suggests a stronger analogy with topology rather than algebra, but there are plenty of very deep analogies between Galois theory and topology.
The above is not a complete survey of these types of connections, it is just to demonstrate that connections do exist and that they have been looked at and useful for a long time. Because of the relative sparsity of the literature, one could argue that these aspects are underdeveloped but that is hasty judgement. The truth is that there appear to be disappointingly few practical aspects to this kind of approach, perhaps because they are not relevant to most current questions in set theory or perhaps for deeper reasons. For example, the inner model structure of the first (and largely regarded as the simplest) forcing extension, namely the simple Cohen extension, is incredibly rich and complex [Abraham and Shore, The degrees of constructibility of Cohen reals, Proc. London Math. Soc. 53 (1986), 193–208] and there does not appear to be a reasonable higher-level approach that may help us sort through this quagmire in a similar way that Galois theory can help us sort through the complex structure of $\overline{\mathbb{Q}}$.