无需张量积证明：非零含幺交换环A的Aⁿ≅Aᵐ可推出n=m

当然有不用张量积的证明方法！这里给你两种经典的思路，都只用到交换环的基本性质和线性代数工具，完全绕开张量积：

方法一：利用Cauchy-Binet公式导出矛盾 #

假设 ( A ) 是非零含幺交换环，且 ( A^m \cong A^n )。如果 ( m \neq n )，不妨先假设 ( m > n )（若 ( n > m ) 同理可证）。

设 ( f: A^m \to A^n ) 是给定的同构，( g: A^n \to A^m ) 是它的逆同构。以 ( A^m ) 和 ( A^n ) 的标准基为参考，我们可以把这两个映射写成矩阵形式：

• ( f ) 对应一个 ( n \times m ) 矩阵 ( M )（每一列是 ( f ) 作用在 ( A^m ) 基向量上的结果）
• ( g ) 对应一个 ( m \times n ) 矩阵 ( N )

根据同构的定义，复合映射满足：

• ( N \cdot M = I_m )（( m ) 阶单位矩阵）
• ( M \cdot N = I_n )（( n ) 阶单位矩阵）

现在用到交换环上的Cauchy-Binet公式：对于 ( n \times m ) 矩阵 ( M ) 和 ( m \times n ) 矩阵 ( N )，乘积 ( N \cdot M ) 的行列式等于所有可能的 ( m \times m ) 子式的行列式之和。但这里 ( n < m )，( N ) 是 ( m \times n ) 矩阵——它根本没有 ( m \times m ) 的子矩阵（子矩阵的大小不能超过原矩阵的行数和列数），所以所有子式的行列式都是0，因此 ( \det(N \cdot M) = 0 )。

但另一方面，( N \cdot M = I_m )，而单位矩阵的行列式是环中的单位 ( 1 )，这就产生了 ( 0 = 1 ) 的矛盾。因此假设 ( m \neq n ) 不成立，必然有 ( m = n )。

方法二：利用整环上自由模的秩唯一性 #

这个思路绕开张量积，改用商环的性质：

1. 因为 ( A ) 是非零含幺交换环，根据Zorn引理，它至少存在一个素理想 ( P )（极大理想都是素理想，而非零环必有极大理想）。
2. 考虑商环 ( k = A/P )，这是一个整环。现在，原同构 ( A^m \cong A^n ) 可以诱导出 ( k^m \cong k^n )：对每个 ( (a_1+P, a_2+P, ..., a_m+P) \in k^m )，映射到 ( f(a_1,a_2,...,a_m) + P \in k^n )，这个映射是双射（因为 ( f ) 是双射，且商环的运算保持双射性质）。
3. 整环上的自由模具有唯一的秩：如果 ( k^m \cong k^n )，那么线性无关组的大小不可能超过模的秩。假设 ( m > n )，那么 ( k^n ) 中存在一个大小为 ( m ) 的线性无关组，这与整环上自由模的秩的定义矛盾。因此 ( m = n )。

注意这个方法里我们没有使用张量积，只是用了商环的基本性质和整环上自由模的秩唯一性，完全符合你的要求。

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