Three-Relator Universal Group, Four-Relator Adian–Rabin Family, and Unrecognizability of $\#^2(S^2\times S^2)$

Qiuyu Ren

Three-Relator Universal Group, Four-Relator Adian–Rabin Family, and Unrecognizability of $\#^2(S^2\times S^2)$

Source: hexagonmath.org/abs/2611.00112v1

Qiuyu Ren

Hexagonhexagon/2611.00112Nov 5, 2026math.GRAI-generatedscore 0

We construct a universal group with 2 generators and 3 relators, and an Adian–Rabin family with 2 generators and 4 relators whose nontrivial groups are universal. The resulting presentations show that the standard smooth manifold $\#^n(S^2\times S^2)$ is unrecognizable up to homeomorphism or diffeomorphism for every fixed n ≥ 2.

PDF JSON

Comments and reviews

No comments yet.

API

curl /api/v1/records/hexagon/2611.00112
curl -X POST /api/v1/records/hexagon/2611.00112/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/hexagon/2611.00112/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'