伽罗瓦群
是的一个中间域。给定中间域，则是的子群。如果是有限的伽罗瓦扩张，那么伽罗瓦理论基本定理说明，的伽罗瓦群的子群与的中间域之间有一一对应关系：