Flat dimension for power series over valuation rings

arXiv2305.03483MaRDI QIDQ6435482FDOQ6435482

Adam Jones

Publication date: 5 May 2023

Abstract: We examine the power series ring $R[[X]]$ over a valuation ring $R$ of rank 1, with proper, dense value group. We give a counterexample to Hilbert's syzygy theorem for $R[[X]]$, i.e. an $R[[X]]$-module $C$ that is flat over $R$ and has flat dimension at least 2 over $R[[X]]$, contradicting a previously published result. The key ingredient in our construction is an exploration of the valuation theory of $R[[X]]$. We also use this theory to give a new proof that $R[[X]]$ is not a coherent ring, a fact which is essential in our construction of the module $C$.

Mathematics Subject Classification ID

Injective and flat modules and ideals in commutative rings (13C11) Formal power series rings (13F25) Valuation rings (13F30) Homological dimension in associative algebras (16E10) Valuations and their generalizations for commutative rings (13A18) Chain conditions on other classes of submodules, ideals, subrings, etc.; coherence (associative rings and algebras) (16P70)

This page was built for publication: Flat dimension for power series over valuation rings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6435482)