tion::::定义.设有域扩张。考虑所有上的自同构集合。此处的自同构指的是映射到的环同构，且其限制在上的部分是平凡的（即为恒等映射）。用数学语言描述，一个自同构是指满足以下条件的同态：可以证明，对任意的域扩张，所有上的自同构关于映射的复合运算构成群，称为域扩张的自同构群，记作。如果是一个伽罗瓦扩张，则称为扩张上的伽罗瓦群，通常记做 （有些文献中记作）。在某些介绍伽罗瓦理论的专着中，也会将任何域扩张上的自同构群都称为伽罗瓦群，并记作。
例子.设是一个域，formula