张量积与外积间的自然同构构造问题求助
嘿，我完全懂你卡在这儿的感觉——用泛性质构造同构的时候，总需要在两边来回找映射，还要验证互逆，确实容易绕晕。我来一步步帮你理清楚这个问题，咱们就顺着你说的，用张量积和外积的泛性质来做：
首先先明确两个关键的泛性质，这是咱们的核心工具：
- 外积的泛性质：对于$R$-模$A$，$\bigwedge^k A$是满足“反对称$k$-线性映射的泛分解”的$R$-模。也就是说，任何从$A^k$到$R$-模$M$的反对称$k$-线性映射$\phi$，都存在唯一的$R$-模同态$\bar{\phi}: \bigwedge^k A \to M$，使得$\phi = \bar{\phi} \circ \pi$（这里$\pi$是把$(a_1,...,a_k)$映为$a_1 \wedge...\wedge a_k$的投影映射）。
- 张量积的泛性质：对于$R$-模$M,N$，任何双线性映射$M \times N \to P$都能唯一分解为$M \otimes_R N \to P$的$R$-模同态。
第一步：构造从$(\bigwedge^k A) \otimes_R S$到$\bigwedge^k(A \otimes_R S)$的同态$F$
我们先从$A^k$出发，定义映射：
$$\phi: A^k \to \bigwedge^k(A \otimes_R S), \quad (a_1,...,a_k) \mapsto (a_1 \otimes 1_S) \wedge (a_2 \otimes 1_S) \wedge...\wedge (a_k \otimes 1_S)$$
显然这个映射是反对称$k$-线性的（外积本身的反对称性保证了这一点）。根据$\bigwedge^k A$的泛性质，存在唯一的$R$-模同态$\bar{\phi}: \bigwedge^k A \to \bigwedge^k(A \otimes_R S)$，满足$\bar{\phi}(a_1 \wedge...\wedge a_k) = (a_1 \otimes 1_S) \wedge...\wedge (a_k \otimes 1_S)$。
接下来，利用张量积的泛性质：我们把$\bar{\phi}$和$S$的数乘结合，构造映射$(\bigwedge^k A) \times S \to \bigwedge^k(A \otimes_R S)$，其中$(x, s) \mapsto s \cdot \bar{\phi}(x)$（这里$x \in \bigwedge^k A$，$s \in S$，而$s \cdot (-)$是$S$作为$R$-代数在$\bigwedge^k(A \otimes_R S)$上的模作用）。这个映射是双线性的，因此存在唯一的$R$-模同态：
$$F: (\bigwedge^k A) \otimes_R S \to \bigwedge^k(A \otimes_R S)$$
具体到生成元上，$F$的作用就是：
$$F((a_1 \wedge...\wedge a_k) \otimes s) = s \cdot [(a_1 \otimes 1_S) \wedge...\wedge (a_k \otimes 1_S)]$$
第二步：构造反向的同态$G: \bigwedge^k(A \otimes_R S) \to (\bigwedge^k A) \otimes_R S$
这次我们从$(A \otimes_R S)^k$出发，定义映射：
$$\theta: (A \otimes_R S)^k \to (\bigwedge^k A) \otimes_R S, \quad (a_1 \otimes s_1,...,a_k \otimes s_k) \mapsto (a_1 \wedge...\wedge a_k) \otimes (s_1 s_2...s_k)$$
我们需要验证这个映射是反对称$k$-线性的：
- 线性性：对任意一个变量，比如第一个变量，$(a+a' \otimes s_1,...,a_k \otimes s_k)$会被映为$[(a+a') \wedge a_2 \wedge...\wedge a_k] \otimes (s_1...s_k)$，拆开来就是$\theta(a \otimes s_1,...) + \theta(a' \otimes s_1,...)$，满足线性；
- 反对称性：交换任意两个变量，比如前两个，$(a_2 \otimes s_2, a_1 \otimes s_1,...,a_k \otimes s_k)$会被映为$(a_2 \wedge a_1 \wedge...\wedge a_k) \otimes (s_2 s_1...s_k)$，因为外积反对称，这等于$- (a_1 \wedge a_2 \wedge...\wedge a_k) \otimes (s_1 s_2...s_k) = -\theta(a_1 \otimes s_1, a_2 \otimes s_2,...)$，满足反对称。
根据$\bigwedge^k(A \otimes_R S)$的泛性质，存在唯一的$R$-模同态：
$$G: \bigwedge^k(A \otimes_R S) \to (\bigwedge^k A) \otimes_R S$$
它在生成元上的作用是：
$$G((a_1 \otimes s_1) \wedge...\wedge (a_k \otimes s_k)) = (a_1 \wedge...\wedge a_k) \otimes (s_1 s_2...s_k)$$
第三步：验证$F$和$G$是互逆同态
现在我们只需要验证$F \circ G = \text{id}$和$G \circ F = \text{id}$即可：
验证$G \circ F = \text{id}$：
取$(\bigwedge^k A) \otimes_R S$的生成元$(a_1 \wedge...\wedge a_k) \otimes s$，先经过$F$映射得到$s \cdot [(a_1 \otimes 1_S) \wedge...\wedge (a_k \otimes 1_S)]$，再经过$G$映射时，利用$G$的$R$-线性性，可得$G(s \cdot x) = s \cdot G(x)$，所以$G$作用后得到$s \cdot [(a_1 \wedge...\wedge a_k) \otimes 1] = (a_1 \wedge...\wedge a_k) \otimes s$，正好等于原生成元。验证$F \circ G = \text{id}$：
取$\bigwedge^k(A \otimes_R S)$的生成元$(a_1⊗s_1)∧...∧(a_k⊗s_k)$，先经过$G$映射得到$(a_1∧...∧a_k)⊗(s_1 s_2...s_k)$，再经过$F$映射得到$(s_1 s_2...s_k) \cdot [(a_1⊗1)∧...∧(a_k⊗1)]$。而另一方面，因为$(a_1⊗s_1)=s_1 \cdot (a_1⊗1)$，结合$S$的交换性，$(a_1⊗s_1)∧...∧(a_k⊗s_k)=s_1 s_2...s_k \cdot [(a_1⊗1)∧...∧(a_k⊗1)]$，所以$F(G(-))$正好等于原元素！
这样就证明了$F$和$G$是互逆的，因此$(\bigwedge^k A) \otimes_R S \cong \bigwedge^k(A \otimes_R S)$，这就是我们要构造的同构。
备注：内容来源于stack exchange，提问作者Abced Decba
