[抽带随便记-更新中]群

原作者基本上都在我的关注里，就不交代了，若资料来自其他来源会进行声明。若有不妥直接删除此博客。
随时更新。
之前其实了解过，但忘了不少。。再过一遍，内容主要针对自己遗忘的部分把相关知识进行汇总。

同余类就是剩余类。

=========================
以下内容摘自知乎：@小狐狸M
https://www.zhihu.com/question/293890350/answer/488445108
%定义 同构 与 同态 的意义%

我们若想研究某一未知代数体系的结构，一个自然的想法是，通过建立这个未知代数体系与某一已知代数体系之间的联系进行研究，而这种联系就刻画了这两个代数体系之间的相似程度。

我们所能提出的最高的要求，就是让这两个代数体系的结构完全一致，这时这两个代数体系的联系就用“同构”进行刻画。

Fig.1 群同构
同构是两个代数体系之间最精细的刻画，然而一般情况下，同构映射很难找到，于是我们退而求其次，提出一个比同构弱一些的要求：同态。也就是说，我们不要求这个映射是双射，那此时对这两个代数体系联系刻画的精细程度就低了很多。继续上边的例子，比如我现在要求这个映射只是满同态，那么由同态基本定理有： [公式] 。也就是说 [公式] 对同态核的商群与 [公式] 是同构的。我们知道商群中的元素是左陪集，而左陪集的运算归结为代表元的运算，我们用一张图来表示这种关系，如下。

Fig. 2 群的满同态
也就是说，我们虽然建立不了两个群中元素之间的一一对应，但是起码我们建立了已知群的一个子集合和未知群中的一个元素之间的一一对应，我们对未知群了解的多少取决于这种刻画的精度，也就是取决于同态核的大小。这样我们对未知群的结构多少就有了一些了解。

%商群另谈%
来源：
https://zhuanlan.zhihu.com/p/294221308