伽罗瓦群

与域扩张相伴的代数结构
群是一种只有一个运算的、比较简单的代数结构;是可用来建立许多其他代数系统的一种基本结构。而伽罗瓦群(GroupedeGalois)是与某个类型地域扩张相伴的群。是伽罗瓦理论的重要概念。
域扩张源于多项式,通过伽罗瓦群研究域扩张以及多项式称为伽罗瓦理论,以发现者法国天才数学家埃瓦里斯特·伽罗瓦命名。

概述

伽罗瓦群是伽罗瓦理论的一个重要概念。设K是域F的伽罗瓦扩域,K的F自同构群G(K/F)称为K/F的伽罗瓦群。当K为F可分闭包时,G(K/F)称为F的绝对伽罗瓦群。若K是F的一个有限次伽罗瓦扩域,则G(K/F)是一个[K∶F]阶群。由于有限次伽罗瓦扩域等同于某一可分多项式的分裂域,因此,若域K是域F上一个可分多项式f(x)的分裂域,则其伽罗瓦群G(K/F)就称为f(x)的伽罗瓦群,从而有限次伽罗瓦扩域的伽罗瓦群必为某一多项式的伽罗瓦群。在历史上,是伽罗瓦(Galois,E.)首先对多项式引入伽罗瓦群的概念.
数学中,伽罗瓦群(GroupedeGalois)是与某个类型地域扩张相伴的群。