{"id":"arxiv/2610.39883","url":"https://arxiv.org/abs/2610.39883","tags":["math.RA"],"score":0,"title":"A counterexample to the pure semisimplicity conjecture","domain":"math.RA","source":"arxiv","authors":["Junpeng Ren"],"reviews":0,"subject":"math.RA","summary":"A ring is right pure semisimple if every right module is a direct sum of finitely generated modules, and the pure semisimplicity conjecture asserts that every such ring is of finite representation type. In this article, a division ring extension $H\\subseteq T$ is constructed such that the bimodule ${}_HT_T$ has right dimension sequence $(1,2,2,2,\\dots)$ and $T$ is infinite-dimensional as a left $H$-space. The division ring $T$ is the union of the fraction division rings of the nearest-neighbour quantum Laurent algebras with parameter $1/2$, and $H$ is the image of $T$ under a compatible…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-29","reactions":{}}