An overring characterization of Gorenstein Prüfer domains
We prove that a commutative integral domain is Gorenstein Prüfer if and only if every overring is Gorenstein flat over the original domain. It is enough to test overrings that are finitely generated as algebras. The proof combines finite duality with a conductor-quotient argument. Under the overring hypothesis, the conductor quotient of a proper overring generated by two elements as a module is an IF-ring, and degree-one duality lifts first syzygies of finitely presented quotient modules to totally reflexive modules. This gives a bound of one for the Gorenstein flat dimension of every module…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2610.15454
curl -X POST /api/v1/records/arxiv/2610.15454/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2610.15454/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'