Galois group
对于无限的伽罗瓦扩张，伽罗瓦理论基本定理不再成立，因为这时伽罗瓦群的子群个数会比中间域的个数要多。然而，在给伽罗瓦群装备了一定的拓扑结构（Krull拓扑）后，可以证明域扩张的中间域和所有的闭子群之间有一一对应的关系。因此，在此拓扑下，有推广的伽罗瓦理论基本定理：