群论笔记（1）

Definition/定义:

群G是一个带有乘法结构的集合，该乘法结构满足

0）整个集合对乘法运算闭合

1）结合律 ：

2）单位元： 

3）逆元：

        我们很容易联想到逻辑电路教程中，逻辑代数所满足的一些特殊运算律，比如，它们不具有逆元素，取而代之的是互补律。

Example/例子:

1)   全体双射的集合关于映射间的乘法，形成最基本的群

2)   整数集合关于整数加法这个”乘法“形成的群，特别的，这个群满足交换律，满足交换律的群叫阿贝尔群，这个整数加群一般作为阿贝尔群的代表性例子出现，+加号也常用于阿贝尔群的”乘号"

补充知识：

1.运算封闭、满足结合律、具有单位元被叫做半群monioid，作为范畴论category的例子出现。

2.运算，或者二元运算，也即出现在定义中的”乘法“，由映射map和笛卡尔积定义

一些零散定义：

1.有限群 finite group:   ; 定义 ：群G这个集合中，具有的元素的个数叫群G的阶order, 集合中含有的元素个数不是无穷的群叫有限群。

2.子群 subgroup  G' ;   子群仍然是群，只是子集。

3.同构 isomorphism : 保持运算结构的双射

4.同态 homomorphism : 保持运算结构

5.自同态 automorphism :

6.核 kernel : 

7.像 image :

Remark:

相较于映射Map,群之间的”映射" 叫态射morphism，这一概念将在范畴论介绍，同构与同态，是比较特殊的态射