{"id":"arxiv/2605.08108","url":"https://arxiv.org/abs/2605.08108","tags":["math.RA","math.KT"],"score":0,"title":"The structure of $\\lim^1$-groups","domain":"math.RA","source":"arxiv","authors":["Ioannis Emmanouil"],"reviews":0,"subject":"math.RA","summary":"If $(A_n)_n$ is a decreasing filtration of a module $A$ and $\\widehat{A} = \\lim_n A/A_n$, then $\\lim^1_n A_n$ is identified with the cokernel of the canonical map $A \\longrightarrow \\widehat{A}$. In this note, we show that any $\\lim^1$-group is canonically of that form: For any inverse sequence of modules $(X_n)_n$ there exists an inverse sequence $(A_n)_n$ as above and a morphism $(A_n)_n \\longrightarrow (X_n)_n$, depending functorially on $(X_n)_n$, that induces an isomorphism on $\\lim^1$. The proof is based on Quillen's small object argument, as formulated by Eklof and Trlifaj in their…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-04-27","reactions":{}}