一、代数结构
函数f : A×A→A称作A上的一个二元运算，通常写作〇(a,b)或a〇b。
此时运算表中的每个元素都属于A，称A对f封闭。例如Z+对除法运算不封闭（除法不是正整数集合上的二元运算）。
函数f : A→A称作A上的一个一元运算，通常写作f(a)或fa。
f1~fk是A上的k个运算，则(A, f1 , f2 , ... , fk)是一个代数结构/代数系统
二、群论
半群(S, ·)：集合S非空、运算·对集合S封闭、运算·可结合
若集合S有限，则一定存在a∈S使得a·a=a
证明：？？？（我不会）
可交换半群：半群(S, ·)中的运算·满足交换性
亚群、含幺半群、单元半群、独异点：含有单位元的半群
群(G，·)：运算·封闭、运算·可结合、集合G中存在单位元、集合G中任意元素都存在逆元（存在则必唯一）
可换群/阿贝尔群/Abel群：运算·在G上是可交换的群
有限群（G中元素个数称为有限群的阶数|G|）和无限群
平凡群：只包含单一元素e的群，其群运算只有e·e=e，它也是Abel群
群方程
若代数系统(G , *)为半群，且G中方程ax=b有唯一解、xa=b有唯一解，则(G , *)为群
同态与同构
群的一些重要性质
例题：设(G , *)为群，试证明若|G|=n，则G中阶>2的元素为偶数个
证明：|a|>2时，必然有a≠a-1，否则a2=e，|a|≤2
故G中阶>2的元素a和a-1成对出现，其个数必然为偶数
循环群
置换与置换群
子群
假设(G , ·)是一个群，H⊆G（H是G的一个子集）
如果H在G中的运算下也构成一个群，则称(H , ·)是(G , ·)的一个子群，记作H≤G
H和K都是G的子群时，H∩K还是G的子群；H∪K是G的子群当且仅当H⊆K或K⊆H
({e} , ·)和(G , ·)是G的平凡子群；其它子群则是非平凡子群
陪集与拉格朗日定理
设(H , ·)是(G , ·)的一个子群，g∈G
由g确定的H在G中的左陪集（H关于g的左陪集）为gH={g·h | h∈H}
由g确定的H在G中的右陪集（H关于g的右陪集）为Hg={h·g | h∈H}
左陪集元素个数|gH|=右陪集元素个数|Hg|=|H|（h1≠h2时，gh1≠gh2，因此gH和Hg中各元素互异）
左陪集gH和右陪集Hg中，必然都包含了代表元g本身
正规子群与商群
