{"id":"arxiv/2608.17748","url":"https://arxiv.org/abs/2608.17748","tags":["math.RA","math.AC","math.LO"],"score":0,"title":"A strongly compact cardinal yields a left and right coherent ring with $\\mathcal{PGF}(R)\\subsetneq\\mathcal{GP}(R)$","domain":"math.RA","source":"arxiv","authors":["Chencheng Zhang"],"reviews":0,"subject":"math.RA","summary":"For a ring $R$, let $\\mathcal{GP}(R)$, $\\mathcal{GF}(R)$, and $\\mathcal{PGF}(R)$ denote the classes of Gorenstein projective, Gorenstein flat, and projectively coresolved Gorenstein flat left $R$-modules, respectively. We isolate the local ultrafilter hypothesis $\\textsf{LUH}$: the existence of a strongly compact cardinal implies $\\textsf{LUH}$, while $\\textsf{LUH}$ implies the existence of a measurable cardinal. Assuming $\\textsf{LUH}$, we construct a left and right coherent ring $R$ and a strongly Gorenstein projective left $R$-module $G$ which is not Gorenstein flat; hence…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-18","reactions":{}}