PID上模同构证明咨询：R/(a)⊕R/(b)≅R/gcd(a,b)⊕R/lcm(a,b)

嘿，这个问题是PID上有限生成挠模结构的经典结论，我来一步步帮你构造出所需的同构，避开你之前遇到的良定义性问题～

首先先明确几个符号和PID的核心性质：

• 令 ( d = \gcd(a,b) )，( m = \text{lcm}(a,b) )。在PID中，我们知道：
  1. 存在 ( s,t \in R ) 满足贝祖等式：( sa + tb = d )；
  2. ( m = \frac{ab}{d} )，且 ( d \mid m )（因为 ( a = d \cdot a_1 )，( b = d \cdot b_1 )，其中 ( \gcd(a_1,b_1)=1 )，所以 ( m = d a_1 b_1 )）。

构造同构映射 #

我们利用贝祖等式构造一个可逆矩阵诱导的线性映射，这样天然保证良定义性和同构性：

定义映射 ( \varphi: R/(a) \oplus R/(b) \to R/(d) \oplus R/(m) ) 为：
[
\varphi([x], [y]) = \left( [sx + ty], \left[ \frac{b}{d}x - \frac{a}{d}y \right] \right)
]

接下来分三步验证这个映射是同构：

1. 验证良定义性

• 对于第一个分量：
  若 ( x \equiv x' \pmod{a} )，则 ( x - x' = ka )（( k \in R )），代入得 ( s(x-x') = ska )。由贝祖等式 ( sa = d - tb )，所以 ( ska = k(d - tb) )，模 ( d ) 后 ( ska \equiv -ktb \equiv 0 \pmod{d} )（因为 ( tb = d - sa \equiv 0 \pmod{d} )）。同理，若 ( y \equiv y' \pmod{b} )，( t(y-y') \equiv 0 \pmod{d} )。因此 ( [sx + ty] = [sx' + ty'] \pmod{d} )。
• 对于第二个分量：
  若 ( x \equiv x' \pmod{a} )，( y \equiv y' \pmod{b} )，则 ( \frac{b}{d}(x-x') - \frac{a}{d}(y-y') = \frac{b}{d}ka - \frac{a}{d}lb = \frac{ab}{d}(k-l) = m(k-l) )，显然 ( m(k-l) \equiv 0 \pmod{m} )，因此第二个分量也良定义。

2. 验证是模同态

显然，( \varphi ) 是线性组合，直接满足：

• ( \varphi([x_1+x_2], [y_1+y_2]) = \varphi([x_1],[y_1]) + \varphi([x_2],[y_2]) )
• ( \varphi([rx], [ry]) = r\varphi([x],[y]) )（( r \in R )）

3. 验证是同构（双射）

我们可以通过证明 ( \varphi ) 对应的矩阵是可逆的，来推导它是双射：
映射 ( \varphi ) 对应的矩阵为：
[
P = \begin{pmatrix} s & t \ \frac{b}{d} & -\frac{a}{d} \end{pmatrix}
]
计算行列式：
[
\det(P) = s \cdot \left(-\frac{a}{d}\right) - t \cdot \frac{b}{d} = -\frac{sa + tb}{d} = -\frac{d}{d} = -1
]
( -1 ) 是 ( R ) 中的单位（可逆元），因此 ( P ) 是 ( R^2 ) 上的自同构。

进一步，( P ) 会将子模 ( \text{diag}(a,b)R^2 = aR \oplus bR ) 映射到 ( \text{diag}(d,m)R^2 = dR \oplus mR )：
[
P \cdot \text{diag}(a,b) = \begin{pmatrix} sa & tb \ \frac{b}{d}a & -\frac{a}{d}b \end{pmatrix} = \begin{pmatrix} d - tb & tb \ m & -m \end{pmatrix}
]
这个矩阵生成的子模和 ( \text{diag}(d,m)R^2 ) 完全相同（因为 ( d-tb ) 和 ( tb ) 生成理想 ( (d) )，( m ) 和 ( -m ) 生成理想 ( (m) )）。因此，商模的映射 ( \varphi ) 是同构。

补充：为什么你的初始思路有问题？ #

你尝试用 ( \gcd(x,y) ) 和 ( \text{lcm}(x,y) ) 构造映射，但PID中元素的gcd是理想生成元，不是元素的直接运算，而且模类中的元素代表元不唯一，直接取gcd会导致良定义性失效（不同代表元的gcd可能不在同一个模类中）。而用贝祖等式构造的线性映射，利用了PID的理想性质，天然避开了这个问题。

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