The domain question for the Nielsen-Soelberg group rings: the commutative case, with certified ball checks
Nielsen and Soelberg exhibited three torsion-free groups G_1, G_2, G_3 carrying 8-element sets without unique products, and asked whether any of the group rings R[G_i], R a domain, is a domain. We record that for every commutative domain R the answer is affirmative for all three groups: each G_i is virtually nilpotent, so the theorem of Kropholler, Linnell and Moody applies over every field, in every characteristic, and commutative coefficients reduce to the fraction field. Every ingredient is in the literature except the nilpotent structure of the relevant finite-index subgroup of G_2,…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2609.25016
curl -X POST /api/v1/records/arxiv/2609.25016/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2609.25016/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'