群论学习笔记

一、群的定义
群定义在二元组(S,$\oplus$)上，S是一个集合，$\oplus$是一个运算。要求二元组满足群公理：
1、封闭性：$\forall x,y \in S,x \oplus y \in S$(x,y可以相等)
2、结合律：$\forall a,b,c \in S,a\oplus b \oplus c=a \oplus (b\oplus c)$(a,b,c可以相等)
3、单位元：$\exists e \in S,\forall x \in S,e \oplus x=x \oplus e=x$(x,e可以相等，我们往往用e代表单位元，也叫幺元)
4、逆元：$\forall x \in S,\exists y \in S,x\oplus y=y\oplus x=e$(x,y可以相等，我们称y为x的逆元，记作$x^{-1}$)
二、一些比较简单的想法。
如果$s \oplus x=e$，我们称s是x的左逆元；如果$x \oplus t=e$,我们称t是x的右逆元。
若x有左逆元，则x有相等且唯一的左右逆元；在S有限时，x有逆元与对x有消去律等价，而在S无限时消去律是逆元存在的必要条件。
证明：
①若$\forall a \in S,\exists s,s\oplus a=e$，则$\forall a \in S,a \oplus s=e$。即a的左逆元就是a的右逆元。
设$t\oplus s=e$，则$a\oplus s=(t\oplus s)\oplus (a\oplus s)=t\oplus (s\oplus a)\oplus s=t\oplus s=e$.
②在有限集合中，逆元存在于消去律存在等价（即我们把群公理第四条换为$\forall a,x,y\in S,ax=ay<=>x=y$）。
消去律：$x \oplus a=y \oplus a$与$x=y$互为充要条件。
（消去律=>逆元）只需在等式两边$\oplus a^{-1}$即可。
（逆元=>消去律）对于a，若$\forall x,y\in S,ax=ay<=>x=y$，则令 S′=ax|x∈