{"id":"arxiv/2609.14338","url":"https://arxiv.org/abs/2609.14338","tags":["math.AC"],"score":0,"title":"Baer Splitting Beyond $τ_q$-Semisimplicity","domain":"math.AC","source":"arxiv","authors":["Xiaolei Zhang","Guocheng Dai"],"reviews":0,"subject":"math.AC","summary":"For a commutative ring $R$, we call an $R$-module $B$ Baer if $\\Ext_R^1(B,T)=0$ for torsion $R$-module $T$. It is known that every Baer module is projective when $R$ is $τ_q$-semisimple, i.e., rings whose total rings of quotients are semisimple. And it was conjectured that the converse characterizes $τ_q$-semisimple rings. We show that the converse fails in two substantially different ways. First, the failure is already systematic in the non-reduced Noetherian case. If $D$ is a Dedekind domain which is not a field and $R=D[\\varepsilon]/(\\varepsilon^2)$, then every Baer $R$-module is…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-13","reactions":{}}