Unique Factorization of Power Series Rings over Q-UFDs of Dimension at Most 3
Let $R$ be a Noetherian unique factorization domain containing $\mathbb Q$, with $\dim R\leq3$. We prove that $R[[t]]$ is a unique factorization domain if and only if two conditions hold: every two-generated parameter ideal $q$ in every height-two localization satisfies $\overline{q^2}\subseteq q$, and every height-three localization has depth three. No excellence or completion hypothesis is imposed. The main local result is that $A[[t]]$ is not a UFD whenever $A$ is a local $\mathbb Q$-UFD of dimension at least three and depth two. We also prove that the UFD property of $R[[t]]$ passes to…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2610.24551
curl -X POST /api/v1/records/arxiv/2610.24551/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2610.24551/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'