{"id":"arxiv/2609.06477","url":"https://arxiv.org/abs/2609.06477","tags":["math.AC","math.RA"],"score":0,"title":"A Solution to Iima--Yoshino Problem 2.3","domain":"math.AC","source":"arxiv","authors":["Junyu Guo","Hao Shen","Junqi Liu","Lihong Zhi"],"reviews":0,"subject":"math.AC","summary":"Iima and Yoshino asked for an ideal $I$ in $S=k[x_1,x_2,\\ldots]$, with $\\operatorname{deg} x_i=i$, and a monomial order such that $S/I\\cong k[x_i:i\\equiv\\pm1\\pmod5], \\operatorname{in}(I)=(x_i^2,x_ix_{i+1}:i\\geq1).$ We construct such an ideal and monomial order over every field $k$ of characteristic different from $5$ containing an element $c$ with $c^2+c=1$. The ideal has an explicit infinite homogeneous reduced Gröbner basis. A five-periodic syzygy derived from a pentagon identity proves that all basis relations belong to $I$ and supplies standard representations for the non-coprime…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-06","reactions":{}}