有限次扩域

extension field of finite degree