多重 zeta 值的 Z-模由不含 1 的指标所对应的值生成

我们证明了每个多重 zeta 值都是 $\zeta(k_1,\dots, k_r)$ （其中 $k_i\geq 2$）的 $\mathbb{Z}$-线性组合。我们的证明也为此类展开提供了一个显式算法。关键之处在于引入修正的多重调和和，它们部分满足多重 zeta 值之间的关系，并确定由它们生成的空间的结构。