Fundamental theorem of Galois theory 伽罗瓦理论基本定理
In mathematics, the fundamental theorem of Galois theory is a result that describes the structure of certain types of field extensions.
In its most basic form, the theorem asserts that given a field extension E/F that is finite and Galois, there is a one-to-one correspondence between its intermediate fields and subgroups of its Galois group. (Intermediate fields are fields K satisfying F ⊆ K ⊆ E; they are also called subextensions of E/F.)