信息安全数学基础（七）：运算和群

映射：
设A和B是两个集合，R是A和B的元素之间的对应关系，如果R满足：对于A中的每一个元素，通过R在B中都存在唯一一个元素与之对应，则称对应关系R为从A到B的映射。其中A称为原像集，B称为像集。

集合A有a个元素，集合B有b个元素 。则集合A到集合B的不同映射有b^a个（a轮，每轮b种选择）
注：这里可能会出道填空题
设S是一个非空集合，S×S到S的映射f叫做S的运算(二元运算)；称S是具有运算的集合。

运算的性质：
设S是一个具有运算 “·”的非空集合。
1.结合律
如果对S中的任意元素a, b, c都有(a · b) ·c＝a · (b · c)
则称该运算满足结合律。
2.交换律
对于S中任意两个元素a, b，则它们的运算结果有两个
a · b 和 b · a，
如果对S中的任意元素a, b, c都有
a · b＝b · a
则称该运算满足交换律。交换律可以通过关系矩阵关于主对角线对称看出

半群：设S是一个具有运算的非空集合。如果S的运算满足结合律，那么S叫做半群。

单位元：设S是一个具有运算的非空集合，如果S中有一个元素e使得对S中所有元素a都有:
ea=ae=a
则称e为S的单位元

设S是一个具有运算的非空集合，且S关于该运算有单位元e 。设a是S中的一个元素，如果S存在一个元素a’使得
aa’＝a’a＝e
则称元素a为S中的可逆元， a’ 称为a的逆元，记为a^-1

性质：设S是一个有单位元e的半群，单位元e是唯一的。且对S中任意可逆元a, 其逆元a^-1是惟一的。

本章重点，判断一个集合是否为群，实际上也就是上面几个定义性质的运用罢了。

群G的元素个数叫做G的阶，记为| G |。 当| G |为有限数时，称G为有限群，否则，称G为无限群。

特别的，当群的运算还满足交换律时，将这个群称作交换群或阿贝尔群。