有限次伽罗瓦扩张

Galois extension of finite degree