的一些单值函数,比如说其中之一为F
(z
),使得
进而,如果a
1
,b
1
,c
1
,d
1
,和a
2
,b
2
,c
2
,d
2
是a
,b
,c
,d
的值集中的任意两个,又如果z
先被
代替,然后在这个式子中,z
被
代替,得到比如说
,那么我们不仅有
而且有
更进一步,如刚才解释的那样保持F
(z
)的值不变的所有置换
(箭头读作"用......代替")的集合形成一个群
:集合中两个置换相继实施的结果
仍在集合中;集合中有一个"恒等置换",即z
→z
(这里a
=1,b
=0,c
=0,d
=1);最后,每一个置换有一个唯一的"逆" -  - 就是说,对于集合中的每一个置换,有一个独立的另一个置换,如果把它作用到第