Galois group
中间域与伽罗瓦群的子群之间有一个反向的包含对应关系：如果伽罗瓦群的某个子群是另一个子群的子群，那么对应的中间域是对应的中间域的扩域。