求证当gcd(m,n)=1时，ℤₘₙ是两个子群的内直积及条件关联

首先得明确：ℤₘₙ是加法循环群，所以我们要把乘法版的内直积条件转换成加法适配的版本：

• 1. 整个群可以表示为两个子群的和：G = H + K = { h + k | h ∈ H, k ∈ K }
• 2. 子群元素两两交换：对任意h∈H、k∈K，有h + k = k + h（阿贝尔群天然满足）
• 3. 子群交集仅含单位元（加法群的单位元是0）：H ∩ K = {0}

接下来我们定义两个关键子群，并结合gcd(m,n)=1逐一验证条件：

第一步：定义对应的子群 #

取：

• H = ⟨n⟩：ℤₘₙ中由元素[n]生成的子群（所有元素都是n的整数倍模mn）
• K = ⟨m⟩：ℤₘₙ中由元素[m]生成的子群（所有元素都是m的整数倍模mn）

因为gcd(m,n)=1，可以算出：

• H的阶是mn / gcd(n, mn) = m（循环群元素阶的计算公式），和ℤₘ同构
• K的阶是mn / gcd(m, mn) = n，和ℤₙ同构

第二步：验证三个内直积条件 #

条件3：H ∩ K = {0} #

假设存在元素x ∈ H ∩ K，那么：

• x是n的倍数（因为x∈H），同时也是m的倍数（因为x∈K）
• 所以x是lcm(m,n)的倍数，而gcd(m,n)=1时lcm(m,n)=mn
• 在ℤₘₙ中，mn的倍数等价于0，因此x=0，交集仅含单位元，满足条件。

条件1：G = H + K #

这里直接用到gcd(m,n)=1的核心性质——贝祖定理：存在整数a,b使得a*m + b*n = 1。
对于ℤₘₙ中的任意元素[x]，我们可以把它拆解：

x = x * 1 = x*(a*m + b*n) = (x*a)*m + (x*b)*n

其中：

• (x*a)*m是m的整数倍，属于子群K
• (x*b)*n是n的整数倍，属于子群H
  也就是说，任意元素都能写成H中元素加K中元素的形式，因此G = H + K，满足条件。

条件2：元素交换性 #

因为ℤₘₙ是加法阿贝尔群，所有元素天然满足h + k = k + h，这个条件自动成立。

这样就把gcd(m,n)=1这个条件，通过贝祖定理、最小公倍数性质，和内直积的三个判定规则完全关联起来了——本质上是利用互素保证了子群无重叠（交集仅0），且能覆盖整个群。

内容的提问来源于stack exchange，提问作者Amber Gladman