Projective dimension is a lattice invariant
英文摘要：
We show that, for a free abelian group $G$ and prime power $p^ν$, every direct sum decomposition of the group $G/p^νG$ lifts to a direct sum decomposition of $G$. This is the key result we use to show that, if $R$ is a commutative von Neumann regular ring, and $\mathcal{E}$ a set of idempotents in $R$, then the projective dimension of the ideal $\mathcal{E} R$ as an $R$-module is the same as the projective dimension of the ideal $\mathcal{EB}$, where $\mathcal{B}$ is the boolean algebra generated by $\mathcal{E} \cup \{1\}$. This answers a thirty year old open question of R. Wiegand. The proof is based on gaussian elimination on an $ω\times ω$ matrix, with adaptations enabling one to pass from the integers modulo $p^ν$ to the integers.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
