Local Presentations of Groups: Completion and Smith's Conjecture
For a symmetric subset of a group containing the identity, its universal local presentation records the multiplication relations visible within the subset. We prove that a group is recovered from every such generating subset if and only if it is trivial or cyclic of order two or three, as conjectured by P. A. Smith. The main step is an exact completion theorem: local maps into a target group always extend to generating domains if and only if every target element has a square root. By embedding an arbitrary group in a group with surjective squaring, we deduce that every partial local…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2610.10586
curl -X POST /api/v1/records/arxiv/2610.10586/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2610.10586/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'