群，子群概念理解

定义集合映射 $f:{\mathbb{Z}}_n\to {\mathbb{Z}}_n$，其中
$$f(x)=x\cdot m(\mathrm{m}\mathrm{o}\mathrm{d}n),x\in {\mathbb{Z}}_n$$

1. 当$\gcd (m,n)=1$时，不妨设 $m<n$,则当 $k_1<k_2$，且 $k_1,k_2<n$时，则有

$$m\cdot k_1\ne m\cdot k_2(\mathrm{m}\mathrm{o}\mathrm{d}n)⟺m\cdot (k_1-k_2)\ne 0(\mathrm{m}\mathrm{o}\mathrm{d}n)⟺n\nmid (k_1-k_2)(\mathrm{m}\mathrm{o}\mathrm{d}n)$$

这意味着在集合 ${\mathbb{Z}}_n$ 中，在函数 $f$ 下
{ 1 , ⋯   , n − 1 , 0 } → { m , 2 ⋅ m , ⋯   , ( n − 1 ) ⋅ m , n ⋅ m } ( m o d n ) \{1,\cdots,n-1,0\}\rightarrow \{m,2\cdot m,\cdots,(n-1)\cdot m,n\cdot m \}\pmod n {1,⋯,n−1,0}→{m,2⋅m,⋯,(n−1)⋅m,n⋅m}(modn)
即 { m , 2 ⋅ m , ⋯   , ( n − 1 ) ⋅ m , n ⋅ m } \{m,2\cdot m,\cdots,(n-1)\cdot m,n\cdot m \} {m,2⋅m,⋯,(n−1)⋅m,n⋅m} 为 { 1 , ⋯   , n − 1 , 0 } \{1,\cdots,n-1,0\} {1,⋯,n−1,0}的一个置换(permutation)

2. 当$\gcd (m,n)=t\ne 1$时，有

$$lcm(m,n)=\frac{m\cdot n}{\gcd (m,n)}$$

(lcm为Least Common Multiple)这意味着在集合 ${\mathbb{Z}}_n$ 中，在函数 $f$ 下
{ 1 , ⋯   , n − 1 , 0 } → { m , 2 ⋅ m , ⋯   , ( l c m ( m , n ) m − 1 ) ⋅ m , l c m ( m , n ) m ⋅ m } ( m o d n ) \{1,\cdots,n-1,0\}\rightarrow \{m,2\cdot m,\cdots,(\frac{lcm(m,n)}{m}-1)\cdot m,\frac{lcm(m,n)}{m}\cdot m \}\pmod n {1,⋯,n−1,0}→{m,2⋅m,⋯,(mlcm(m,n)​−1)⋅m,mlcm(m,n)​⋅m}(modn)
实际上 $f$ 可以看成 同态映射(Homomorphic Mapping)，且当 $\gcd (m,n)=1$时，为 同构映射(Isomorphic Mapping)，此时函数值序列为原序列的平凡子群，当 $\gcd (m,n)\ne 1$时，函数值序列为原序列的非平凡子群(Subgroup)，由 Lagrange’s theorem可以知道，当群$S$ 为群 $G$的子群时，$|S|$ | $|G|$，即子群元素个数整除原始群元素个数，在上述情况2中，子群($S$,+)中元素个数为 $\frac{lcm(m,n)}{m}=\frac{n}{\gcd (m,n)}$，群 $(G,+)$中元素个数为 $n$，子群($S$,+)的元素个数为 $n$ 的因子。

另外当$\gcd (m,n)\ne 1$ 时，$f$ 为满射(Surjection)，且不为入射(Injection)，即存在$x_1,x_2\in {\mathbb{Z}}_n,x_{!}\ne x_2$ 满足 $f(x_1)=f(x_2)$。于是定义关于任意函数$h:G\to H$ 映射的 核(Kernal)：
k e r ( h ) = { x ∈ G ∣ h ( x ) = 1 H } ker(h)=\{x\in G|h(x)=1_H\} ker(h)={x∈G∣h(x)=1H​}
即函数$h$的核为原像的集合$G$的子集，这个子集的所有元素在 映射$h$下 成为集合$H$的单位元。

不难看出 $ker(f)$ 构成$({\mathbb{Z}}_n,+)$的一个子群。

集合
k e r ( f ) = { n gcd ⁡ ( n , m ) , 2 ⋅ n gcd ⁡ ( n , m ) , ⋯   , gcd ⁡ ( n , m ) ⋅ n gcd ⁡ ( n , m ) = n } ker(f)=\{\frac{n}{\gcd(n,m)},2\cdot\frac{n}{\gcd(n,m)},\cdots,\gcd(n,m)\cdot\frac{n}{\gcd(n,m)}=n \} ker(f)={gcd(n,m)n​,2⋅gcd(n,m)n​,⋯,gcd(n,m)⋅gcd(n,m)n​=n}
在函数$f$ 下映射为 $({\mathbb{Z}}_n,+)$下的单位元$0$，其大小为 $|ker(f)|=\gcd (n,m)$。

在抽象代数里，上述概念是很多有用结论的背后原因，有了上述知识，可以很方便的理解一些题目

比如书本 $Introductiontocodingtheory(2006,CambirdgeUniversityPress)$中有下题(可 ctrl+F搜索“Problem A.9”)

Problem A.9 Let $a$ be an element of finite order in a group $G$.

1. Show that for every positive integer $\ell$,
   $$a^{\ell }=1\text{if and only if }\mathcal{O}(a)\mid \ell$$

2. Show that for every positive integer n,
   $$\mathcal{O}(a^n)=\frac{\mathcal{O}(a)}{\gcd (\mathcal{O}(a),n)}$$

证明：

1. 反证法，假定$\ell =k\cdot \mathcal{O}(a)+r$，如果 $\mathcal{O}(a)\nmid \ell$，因为 $\mathcal{O}(a)>r>0$ 且 $a^{\mathcal{O}(a)}=1$，于是有
   $$a^{\ell }=a^{k\cdot \mathcal{O}(a)+r}=(a^{\mathcal{O}(a)}{)}^k\cdot a^r=a^r=1$$

此时 $r<\mathcal{O}(a)$，这与 $\mathcal{O}(a)$的定义矛盾，故 $\mathcal{O}(a)\mid \ell$。

2. 记 $a^n=m$，并记集合$S$= { m , m 2 , ⋯   , m O ( a n ) } \{m,m^2,\cdots,m^{\mathcal{O(a^n)}} \} {m,m2,⋯,mO(an)}，集合 G = { a , a 2 , ⋯   , a O ( a ) } G=\{a,a^2,\cdots,a^{\mathcal{O(a)}} \} G={a,a2,⋯,aO(a)}，根据题目给定条件，我们知道集合$G$在$\ast$上构成群，且元素 $a$ 为群$(G,\ast )$的生成元，另外不难证得集合$S$在$\ast$上也构成群，于是群$(S,\ast )$为群$(G,\ast )$的子群。于是有
   $$m^{\mathcal{O}(a^n)}=a^{n\cdot \mathcal{O}(a^n)}=a^{\mathcal{O}(a)}=1$$
   这说明 $\mathcal{O}(a^n)$是满足 $\mathcal{O}(a)\mid n\cdot k$ 的最小正整数 $k$，即
   $$\mathcal{O}(a^n)=\arg \underset{k\in {\mathbb{Z}}^{+}}{\min }(\mathcal{O}(a)\mid n\cdot k)=\frac{lcm(\mathcal{O}(a),n)}{n}=\frac{\mathcal{O}(a)\cdot n}{\gcd (\mathcal{O}(a),n)\cdot n}=\frac{\mathcal{O}(a)}{\gcd (\mathcal{O}(a),n)}$$
   于是得证。