{"id":"arxiv/2608.12642","url":"https://arxiv.org/abs/2608.12642","tags":["math.AC"],"score":0,"title":"The Noetherian Case of Bayart's Power-Series Question","domain":"math.AC","source":"arxiv","authors":["Viet-Hoang Tran","Dung V. Nguyen","Quang X. Nguyen","Thieu N. Vo","Tan M. Nguyen"],"reviews":0,"subject":"math.AC","summary":"Let $R$ be a commutative Noetherian ring. We prove that if the one-variable formal power-series ring $R[[x]]$ is a unique factorization domain, then so is the two-variable formal power-series ring $R[[x,y]]$. This resolves a question raised by Bayart in 1973 for Noetherian coefficient rings. The proof uses the divisor theory of Noetherian normal domains, expressed through finite rank-one reflexive modules.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-12","reactions":{}}