ddd 代数学习

群

{ G , ∘ } \{G,\circ\} {G,∘}称为一个群,其中$\circ$表示一个运算。性质

1. 结合律，$(a\circ b)\circ c=a\circ (b\circ c)$
2. 存在单位元，$a\circ e=a=e\circ a$,单位元一定满足交换律
3. 存在逆元，$a\circ b=e=b\circ a$。记$b=a^{-1},a=b^{-1}$。

交换群

满足交换律，即$a\circ b=b\circ a$

拉格朗日定理

$H\in G,H也是一个群，则有|H|整除|G|$。
对于$a^{\prime }\ne a$，且$a\notin a\circ H$，则$a\circ H\cap a^{\prime }\circ H=\varnothing$. a ∘ H = d e f { a ∘ b ∣ b ∈ H } a\circ H\overset{def}{=}\{a\circ b|b\in H\} a∘H=def{a∘b∣b∈H}
反证法，假设存在，则有
$$a\circ c=b=a^{\prime }\circ b^{\prime }$$
$$a=a\circ c\circ c^{-1}=b\circ c^{-1}=a^{\prime }\circ c^{\prime }\circ c^{-1}=a^{\prime }\circ (c^{\prime }\circ c^{-1})\in a^{\prime }\circ H$$，矛盾。
因此$G被H划分$。

应用：当一个数$n$不是素数时，不会有超过$n/2$个数与之互素。
当一个数$n$，我们无法判断其是否为素数时，我们随机选取一个数$1<x<n$，判定$n$不是素数的概率就大于$1/2$。
重复20次，判定正确的概率不小于$1-(1/2{)}^{20}=0.9999990463256836$。

群元素的阶

$a^i=e,a\in G$，$i$称为$a$的阶。
定理：
$|G|\mathrm{mod}i=0$，记为$ord(a)|G$。