群论简略
$$\small 集合\overset{乘法封闭、结合律}{\Rightarrow}半群\overset{含幺元}{\Rightarrow}幺半群\overset{含逆元}{\Rightarrow}群\overset{交换律}{\Rightarrow}交换群\\
\small群\overset{另一群子集}{\Rightarrow}子群\\
\small子群\overset{群元与母群元乘法可交换}{\Rightarrow}中心\\
\small集合\overset{包含此集合的所有子群的交}{\Rightarrow}生成的子群\\
\small群元\overset{n次幂等于幺元}{\Rightarrow}n为周期\\
\small子群\overset{与母群群元相乘}{\Rightarrow}傍集\\
$$