求证：有理数的整数线性组合构成加法循环群
我来帮你梳理这个证明的核心思路，其实只要把有理数的问题转化为整数的最大公约数（GCD）问题，就能轻松突破你之前遇到的瓶颈：
步骤1：统一所有有理数的分母
首先，把每个有理数 ( r_i ) 写成既约分数的形式：( r_i = \frac{p_i}{q_i} )，其中 ( p_i \in \mathbb{Z} )，( q_i \in \mathbb{N}^* )，且 ( \gcd(p_i, q_i) = 1 )。
接下来，找所有分母 ( q_1, q_2, ..., q_n ) 的最小公倍数 ( Q )。对每个 ( r_i )，我们可以把它改写为：
[
r_i = \frac{p_i \cdot \frac{Q}{q_i}}{Q}
]
记 ( k_i = p_i \cdot \frac{Q}{q_i} )，显然 ( k_i ) 是整数（因为 ( Q ) 是 ( q_i ) 的倍数）。这样一来，群 ( G ) 中的任意元素都可以表示为：
[
\sum_{i=1}^n n_i r_i = \frac{\sum_{i=1}^n n_i k_i}{Q} \quad (n_i \in \mathbb{Z})
]
步骤2：分析分子的整数线性组合
令 ( H = \left{ \sum_{i=1}^n n_i k_i \mid n_i \in \mathbb{Z} \right} )，这是整数加法群 ( \mathbb{Z} ) 的一个子群。我们知道整数加法群的所有子群都是循环群，具体来说：
- 存在唯一的正整数 ( d = \gcd(k_1, k_2, ..., k_n) )，使得 ( H = d\mathbb{Z} )（也就是所有 ( d ) 的整数倍构成的集合）。
这一步正好解决了你之前的困惑：那些“大型整数线性组合”其实就是 ( d ) 的所有整数倍，而 ( d ) 就是所有 ( k_i ) 的最大公约数。
步骤3：推导群 ( G ) 的结构
把 ( H = d\mathbb{Z} ) 代入 ( G ) 的表达式，可得：
[
G = \left{ \frac{d \cdot m}{Q} \mid m \in \mathbb{Z} \right}
]
这显然是由元素 ( \frac{d}{Q} ) 生成的循环群——因为 ( G ) 中的任意元素都是 ( \frac{d}{Q} ) 的整数倍，符合循环群的定义（加法群中，循环群就是某个元素的所有整数倍构成的集合）。
举个简单例子验证
比如取 ( n=2 )，( r_1 = \frac{1}{2} )，( r_2 = \frac{1}{3} )：
- 分母的最小公倍数 ( Q=6 )，转化后 ( k_1=3 )，( k_2=2 )；
- ( \gcd(3,2)=1 )，所以 ( H = 1 \cdot \mathbb{Z} = \mathbb{Z} )；
- ( G = \left{ \frac{m}{6} \mid m \in \mathbb{Z} \right} )，由 ( \frac{1}{6} ) 生成，确实是循环群。
内容的提问来源于stack exchange，提问作者yoshi
