群和对称性

群和对称性

啥是群啊

群是一组操作的集合，满足如下性质：

1. 集合中必须包含一个操作$e$，代表不做任何操作
2. 如果集合中包含一个操作$a$，那么就必须包含另一个操作$a^{-1}$，使得先后进行这两个操作的效果等于$e$
3. 如果集合中包含两个操作$a$，$b$，那么先进行操作$a$再进行操作$b$(记作$ba$)对应的操作也必须在此集合中；$ab$同理。
4. 如果集合中包含三个操作$a$，$b$，$c$，那么$(ab)c$这两个操作的效果必须等价于$a(bc)$这两个操作，记作$abc$。

但搞数学的人不爱这么说，按他们的说法群(Group)就是一个满足如下要求的集合 G G