伽罗瓦扩张

Galois extension