Source authenticated

Commutator Relators Do Not Force Hopficity, Residual Finiteness or Automaticity

Registry resolution: resolved. Reported result type: disproved. The registry record and named primary source provide the statement and scope.

Exact FrontierDelta

disproved→disproved

Scope and record

Occurred: Oct 29, 2026

Delta type: REGISTRY REVISION

Assumptions: VibeMathed verification: unreviewed. Publication: preprint. AI contribution: ai-assisted. VibeMathed editorial classifications, scores, notes, relations, and dataset structure are CC BY 4.0. Source statements and linked content retain their own rights.

Canonical aliases: Commutator Relators Do Not Force Hopficity, Residual Finiteness or Automaticity · One-relator groups

Confidence: Not scored

Registry verification: unreviewed · preprint · resolved

Open the source record ↗

Attribution

VibeMathed
registry · event recorded by

ChatGPT
model · ai model contributor · OpenAI

Ke Wang
human · human collaborator

Qiang Zhang
human · human collaborator

Lineage and corrections

Corrects Commutator Relators Do Not Force Hopficity, Residual Finiteness or Automaticity →

Supersedes Commutator Relators Do Not Force Hopficity, Residual Finiteness or Automaticity →

This event attributed to Qiang Zhang

Registry resolution: resolved. Reported result type: disproved. The registry record and named primary source provide the statement and scope. parent of this event

This event attributed to Ke Wang

This event attributed to ChatGPT

Commutator Relators Do Not Force Hopficity, Residual Finiteness or Automaticity evidence for this event

Baumslag et al 1998, Questions OR7, OR8: Problem statement evidence for this event

VibeMathed record: Commutator Relators Do Not Force Hopficity, Residual Finiteness or Automaticity evidence for this event

Commutator Relators Do Not Force Hopficity, Residual Finiteness or Automaticity parent of this event

Act on this frontier

Verify, challenge, or extend the result.

Commutator Relators Do Not Force Hopficity, Residual Finiteness or Automaticity — Mathematical Frontier Network