Coherence and the Hilbert-syzygy identity for power series over valuation domains

Mohamed Amine Aouichaoui, Adam Jones, Yiding Wang

Let $V$ be a complete valuation domain of rank 1, and let $\Gamma$ be its value group. We investigate the power series ring $V[[t]]$, and finally answer the long standing question of wh…