群的理解

今天也是被离散数学折磨的一天！

学到了代数系统里的群,据说这是最简单的一种代数系统,不愿意接受自己连最简单的都学不明白的事实，于是看了一堆相关的视频和文章,总结如下:

首先,群是一种代数系统,是代数系统就要求它有一些元素,还要求元素之间能进行某种运算.群的运算必须是二元运算,也就是说进行这种运算的只能是两个元素.

那么随便什么运算只要是两个元素之间进行的就可以吗?
当然也不是.群对这个二元运算有更高的要求。
它要求这个二元运算是封闭的,可结合的,有单位元每个元素都有逆元。

首先封闭要求,群里任意两个元素之间都能进行这种运算,并且运算的结果仍然是群里的元素,不能跑出去

可结合指的是,假设进行运算的是元素abc那么无论我先进行ab还是bc都不影响运算的结果

有单位元指的是群的元素里面存在那么一个元素,它在群的运算中不起作用,不管和谁运算,结果都是人家

有逆元指的是群中任何一个元素都能在群里找到另外一个元素,他们俩进行运算的结果是单位元.

然而一个群中的元素们也有小团体，关系好的一些元素组成了一个子群，这个团体内也满足群的一切性质，只不过是组成元素是大群的一部分。

在此基础上阿贝尔群指的是,小猫和小狗聊天的结果与小狗和小猫聊天的结果一样最终都聊到了小鸭

循环群指的是,小猫和小猫聊天聊着聊着聊出来小狗,小狗和小猫聊天聊着聊着聊出来小猪…直到把集合里所有元素都聊出来,又聊回去小猫自己.也就是说小猫自己经过聊天这个运算聊出来了集合里的全部小动物们