{
  "schema_version": 1,
  "problem_number": "KOU-18.117",
  "title": "On Shumyatsky's Question on Coprime Commutators: Nineteen Sporadic Groups, the Tits Group and All Simple Groups of Order Less Than 10⁹",
  "author": {
    "name": "Alper Ferudun",
    "affiliation": "Mercury Software GmbH",
    "url": "https://github.com/AlperTheKing"
  },
  "abstract": "Shumyatsky asked whether each element of a nonabelian finite simple group can be written as [x,y] with x and y of coprime orders (Kourovka Notebook, Problem 18.117). The answer is known to be yes for the alternating groups (Shumyatsky), for the groups PSL(2,q) (Pellegrini and Shumyatsky) and for the Suzuki groups (Zini); without the condition on the orders the statement is Ore's conjecture, proved by Liebeck, O'Brien, Shalev and Tiep. We give a partial answer; the proofs are computer-assisted. In the sporadic groups M11, M12, M22, M23, M24, J1, J2, J3, HS, McL, He, Ru, Suz, Co3, Co2 and Fi22, in the Tits group and in 36 simple groups of Lie type, every element is a commutator [x,y] with x a 2-element and y of odd order; the certificate is one stored pair per conjugacy class, re-checked by exact conjugacy tests in GAP. In O'N, Ly and J4 every element is a commutator of two elements of coprime orders, by short lemmas applied to the character tables of the GAP Character Table Library and explicit witnesses in five constructed subgroups, every step through a subgroup being checked against all possible class fusions. Consequently every nonabelian finite simple group of order less than 10⁹ has the property, and so do 19 of the 26 sporadic groups. A withdrawn preprint of Lucchini and Spiga had reported a computer search, without published witnesses, for 19 groups, among them O'N and Fi23. The question remains open: for HN, Th, Co1, Fi23, Fi24', B and M only some of the classes are certified here, and the groups of Lie type of order at least 10⁹, apart from PSL(2,q), the Suzuki groups and five groups of the list above, are not treated. The results rest on GAP's exact algorithms, on the library character tables and on the ATLAS lists of maximal subgroups. This is an unrefereed note.",
  "result_type": "PARTIAL_RESULT",
  "categories": [
    "math.GR"
  ],
  "keywords": [
    "Kourovka Notebook",
    "Shumyatsky",
    "coprime commutators",
    "finite simple groups",
    "sporadic groups",
    "Ore's conjecture",
    "character tables",
    "class fusions",
    "computer-assisted proof",
    "GAP",
    "partial answer",
    "UnsolvedMath",
    "KOU-18.117",
    "math.GR",
    "open mathematics"
  ],
  "manuscript_version_date": "2026-10-27",
  "publication_date": "2026-10-27",
  "publication_date_kind": "first public online release",
  "version": "1.0",
  "date_modified": "2026-10-27",
  "presentation_revision_only": false,
  "doi_archived_file_version": "1.0",
  "status": "unrefereed preprint",
  "canonical_url": "https://eulersolve.org/papers/kou-18-117/",
  "pdf_url": "https://eulersolve.org/papers/kou-18-117/paper.pdf?v=d6c30defa8ca",
  "doi": "10.5281/zenodo.23692984",
  "zenodo_record_url": "https://zenodo.org/records/23692984",
  "license": "https://creativecommons.org/licenses/by/4.0/",
  "scope_caveat": "The question stays open: HN, Th, Co1, Fi23, Fi24', B, M and the groups of Lie type of order at least 10⁹ (apart from PSL(2,q), the Suzuki groups and five listed groups) are not settled; the results are computer-assisted (GAP, CTblLib); unrefereed.",
  "files": {
    "paper.pdf": {
      "sha256": "d6c30defa8ca6a01b84ff0914f5245b48c368a95475e3d62dad83e7b287b1900"
    },
    "source.zip": {
      "sha256": "ac6ef9ee9c7f55a2b430f59a4fda81db24814b90b3c7e7a99ac38fb022fe3343",
      "url": "https://zenodo.org/records/23692984/files/KOU-18.117-source.zip",
      "note": "26.6 MB, above the 25 MiB file limit of the site host; served from the Zenodo record (same file, same SHA-256)"
    },
    "verification_report.md": {
      "sha256": "af6a0981cfb6abed73d98e4907223e8fbc844ffda7fad75a2bd05b719f0cb5cf"
    }
  },
  "ai_use_disclosure": "AI-assisted tools supported research, computation, proof development, and manuscript preparation. The author remains responsible for all claims and the final text."
}