Notes for Abstract Algebra

Some notation
\circ for $\circ$
\bull for $\bullet$
\cdot for $\cdot$
\odot for $\odot$
\oplus for $\oplus$

Some concepts
二元运算、代数系
左、右分配律（distributive law）
左、右幺元
左、右零元

对称性

几何图形的对称性、根的对称性

群

$S$是一个非空集合，$\circ$ 为封闭二元运算 i.e. $\circ :S\times S\to S$

若 $\circ$ 满足结合律，则称$(S,\circ )$为半群（semigroup）

幺元（单位元）：左幺元、右幺元、幺元

（含）幺半群（monoid）

逆元

群：结合律（associative），幺元，逆元

交换律

交换半群

若群$(S,\circ )$满足交换律（commutative），则称$(S,\circ )$是一个Abel群（交换群）

实例

一般线性群 G L n ( K ) = { n 阶 可 逆 矩 阵 ∣ K } GL_n(K)=\{n阶可逆矩阵|K\} GLn​(K)={n阶可逆矩阵∣K}，$K$为数域
特殊线性群$S{L}_n(K)$，$det=1$
二元运算都是矩阵乘法

二面体群
考虑正n边形的对称

置换群

Hamilton群

Klein群
$K_2\times K_2$

Homomorphism

单满同态为同构，同构视为等效。同态的核 $\mathrm{K}\mathrm{e}\mathrm{r}(\phi )$ 体现了单射(injective) 的程度，同态的像 $\mathrm{I}\mathrm{m}(\phi )$ 体现了满射(surjective)的程度，两者一起描述了同态偏离同构的程度。

商群

数学趣谈：商群到底是个什么玩意