# 离散对偶的 RHom 与导出张量　`prop.rhom-dual-tensor`
$\operatorname{RHom}(\operatorname{RHom}(M, T), N) \cong M \otimes^{\mathbf{L}}_{\mathbb{Z}} N[-1]$
layer 19 · 命题 · 凝聚态上同调 · 凝聚态数学+同调代数
[在星图里打开](../#n=prop.rhom-dual-tensor)　·　[节点索引](../index.md)

设 $M, N$ 是**离散**阿贝尔群，$T = \mathbb{R}/\mathbb{Z}$。则

$$\operatorname{RHom}_{\mathbb{Z}}\bigl(\operatorname{RHom}_{\mathbb{Z}}(M, T),\ N\bigr) \cong M \otimes^{\mathbf{L}}_{\mathbb{Z}} N[-1].$$

## 为什么成立（入边，证明在 proofs/）
- …另有入边，续页见 [nodes/prop.rhom-dual-tensor.2.md](./prop.rhom-dual-tensor.2.md)

refs: Le Stum, Proposition 8.3.7

> 说明见 `notes/prop.rhom-dual-tensor.md`

引用：`prop.rhom-dual-tensor`（内容 v0.9.0）· 条款见 [LICENSE.txt](../LICENSE.txt)