离散数学：群与半群

对运算封闭：代数系统

运算结合律（可结合的）：半群

可二元交换：交换半群

存在单位元e，对任意都有交换相等：<s,*,e>为独异点，或称幺半群
幺半群关于*的运算表中任何两行或两列都不相同
幺半群若是对任意a,b都有逆元，逆的逆，a*b的逆{a*b在S中，有逆元}

<I+,->,<R,/>都不是半群
(ρ(S),U,∅),(ρ(S),n,S),f*g*h，幺元是恒等函数

子半群：子集，半群（定理：半群的子集，只要是封闭的就是子半群）

y◦x=e，则称y是x的左逆元，同时左右，是逆元

T：半群若有限，必有a*a=a幂等元

一个独异点，成为循环独异点，若存在a，每个b都是a的n次方，a的0次方是e，称G是由a生成的，生成元
对循环独异点，是交换半群a*b=b*a
<Zm，+，【0】>生成元【1】，N,+,0生成元1

半群同态和同构：
存在映射从半群S->T，半群同态，满射->半群满同态，一一映射|半群同构，自同态自同构

半群导出定理：S是半群，T是代数系统，有同态满射S-T，T也是半群【幺半群同理，且单位元的像是单位元】
    verify：φ（a*b*c）=φ（a*(b*c)）,由满射可以得到φ（a*b）拆分
半群s->n->u,μ*φ是s到u的同态
半群同态关系：自反性，传递性，保持运算性质（交换律和分配率）

单射要求：a中不同元素的像不同

商半群：R是S上的等价关系，<S/R,圈+>是S,*的商半群，*/R
半群和商半群是满同态的，也称自然同态

半群直积：代数系统直积，X为ST的笛卡尔积，圆x：半群直积
半群直积也是半群，交换半群直积也是交换半群，幺半群幺半群，且其独异点（单位元）是两个半群单位元的笛卡尔积
有零元的半群直积的零元是两个半群零元的笛卡尔积，有逆元...



群：
klein四元集合及运算 （k.index(a)）
模N集合及加法<IN,圈+>，模N-{0}集合及乘法<IN,圈+>
结合率，有左单位元，每个元素都有左逆元，G对代数运算*做成一个群
模Ip集：p是素数，模p整数乘法群

群:有逆元的独异点/幺半群
群<独异点<半群<代数系统




疑问：0次方元素还在集合吗？函数符合可交换吗，为啥是半群？