{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:27TEJSGPNUWF32HERWE6OSA4IQ","short_pith_number":"pith:27TEJSGP","schema_version":"1.0","canonical_sha256":"d7e644c8cf6d2c5de8e48d89e7481c4425dff74300d75cfdeaf38a6ca3cff177","source":{"kind":"arxiv","id":"2605.16450","version":1},"attestation_state":"computed","paper":{"title":"Simple groups with narrow prime spectrum: Extended list","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"All non-abelian finite simple groups whose order has largest prime divisor at most 10000 have been determined.","cross_cats":[],"primary_cat":"math.GR","authors_text":"Andrei V. Zavarnitsine","submitted_at":"2026-05-15T03:18:13Z","abstract_excerpt":"Generalising a previous result, we determine all non-abelian finite simple groups whose order has largest prime divisor not exceeding $10^4$. The computer code for this and similar calculations is made available."},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":true,"formal_links_present":true},"canonical_record":{"source":{"id":"2605.16450","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2026-05-15T03:18:13Z","cross_cats_sorted":[],"title_canon_sha256":"9f3b267e7567b9e94cd517aed1296d660b124d493637355aa448e9c7051d3443","abstract_canon_sha256":"b016bc5b3fcbff4a657e38fb11afddc3c94b9c25dd682bab17a397a8e5c46253"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-20T00:02:22.697822Z","signature_b64":"tWonOqsdp+Dcx2u7R6q7z3mG8M7Y5rdxBfZN3c8ze2dcJP9sF2Pgn9RBs7ow+5G9Sf3uVZoUAWbcNQufAStWDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d7e644c8cf6d2c5de8e48d89e7481c4425dff74300d75cfdeaf38a6ca3cff177","last_reissued_at":"2026-05-20T00:02:22.696983Z","signature_status":"signed_v1","first_computed_at":"2026-05-20T00:02:22.696983Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Simple groups with narrow prime spectrum: Extended list","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"All non-abelian finite simple groups whose order has largest prime divisor at most 10000 have been determined.","cross_cats":[],"primary_cat":"math.GR","authors_text":"Andrei V. Zavarnitsine","submitted_at":"2026-05-15T03:18:13Z","abstract_excerpt":"Generalising a previous result, we determine all non-abelian finite simple groups whose order has largest prime divisor not exceeding $10^4$. The computer code for this and similar calculations is made available."},"claims":{"count":4,"items":[{"kind":"strongest_claim","text":"We determine all non-abelian finite simple groups whose order has largest prime divisor not exceeding 10^4.","source":"verdict.strongest_claim","status":"machine_extracted","claim_id":"C1","attestation":"unclaimed"},{"kind":"weakest_assumption","text":"The classification of finite simple groups is complete and the orders of all known simple groups are correctly tabulated in the literature or databases used by the program.","source":"verdict.weakest_assumption","status":"machine_extracted","claim_id":"C2","attestation":"unclaimed"},{"kind":"one_line_summary","text":"All non-abelian finite simple groups with largest prime divisor at most 10^4 are listed via exhaustive computational search over the known simple groups.","source":"verdict.one_line_summary","status":"machine_extracted","claim_id":"C3","attestation":"unclaimed"},{"kind":"headline","text":"All non-abelian finite simple groups whose order has largest prime divisor at most 10000 have been determined.","source":"verdict.pith_extraction.headline","status":"machine_extracted","claim_id":"C4","attestation":"unclaimed"}],"snapshot_sha256":"2b8f046e0694f463afc75126ef9fd1286f72a1d74ead309c675ccc7e4759ecfa"},"source":{"id":"2605.16450","kind":"arxiv","version":1},"verdict":{"id":"090ff5b7-a67f-4bda-88ff-bc8d3e4f6a91","model_set":{"reader":"grok-4.3"},"created_at":"2026-05-19T21:52:51.046430Z","strongest_claim":"We determine all non-abelian finite simple groups whose order has largest prime divisor not exceeding 10^4.","one_line_summary":"All non-abelian finite simple groups with largest prime divisor at most 10^4 are listed via exhaustive computational search over the known simple groups.","pipeline_version":"pith-pipeline@v0.9.0","weakest_assumption":"The classification of finite simple groups is complete and the orders of all known simple groups are correctly tabulated in the literature or databases used by the program.","pith_extraction_headline":"All non-abelian finite simple groups whose order has largest prime divisor at most 10000 have been determined."},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2605.16450/integrity.json","findings":[],"available":true,"detectors_run":[{"name":"doi_compliance","ran_at":"2026-05-19T22:01:30.345419Z","status":"completed","version":"1.0.0","findings_count":0},{"name":"doi_title_agreement","ran_at":"2026-05-19T22:01:23.305927Z","status":"completed","version":"1.0.0","findings_count":0},{"name":"ai_meta_artifact","ran_at":"2026-05-19T19:34:35.256001Z","status":"skipped","version":"1.0.0","findings_count":0},{"name":"claim_evidence","ran_at":"2026-05-19T19:21:57.082109Z","status":"completed","version":"1.0.0","findings_count":0}],"snapshot_sha256":"7aeb7d315c56a6e14e5c45ffb0daddc9211b876b2c14c24e0196c43f8f6b2144"},"references":{"count":5,"sample":[{"doi":"","year":1985,"title":"J. H. Conway, R. T. Curtis, S. P. Norton, R. A. Parker, R. A. Wil- son, Atlas of finite groups: maximal subgroups and ordinary characters for simple groups. Oxford. Clarendon Press (1985), xxxiii + 25","work_id":"73134111-3643-4078-a332-9e496b803c34","ref_index":1,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":2025,"title":"URL: http://www.gap-system.org","work_id":"fc5f597f-b150-41a2-a544-6a632ae2a919","ref_index":2,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":1994,"title":"V. D. Mazurov, On the set of orders of elements of a finite group, Algebra and Logic,33, N 1 (1994), 49–55","work_id":"0fb07358-1796-4e01-b634-4fd30730e2e7","ref_index":3,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":2009,"title":"A. V. Zavarnitsine, Finite simple groups with narrow prime spectrum,Sib. Elect. Math. Reports,6(2009), 1–12. URL: http://semr.math.nsc.ru/v6/p1-12.pdf","work_id":"22b484d2-0d23-4559-ac51-5b71777b3870","ref_index":4,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":2026,"title":"A. V. Zavarnitsine, GAP code accompanying this paper (2026). URL:https://github.com/zavandr/pi-simple The tables T able 1: Primes p∈ { 1000, . . . ,10000} with generic Sp 1009, 1013, 1019, 1033, 1039,","work_id":"6ce37b87-3648-440c-aa25-ccdb7e5b1226","ref_index":5,"cited_arxiv_id":"","is_internal_anchor":false}],"resolved_work":5,"snapshot_sha256":"d3839cb247e94542cd158c622e838238d38a505fb6b40083872e713dc6b4b623","internal_anchors":0},"formal_canon":{"evidence_count":2,"snapshot_sha256":"d990abfe1913e7199caa2699345562a5fa242b9ceed6a1ac30e22da11e96f9d7"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"2605.16450","created_at":"2026-05-20T00:02:22.697128+00:00"},{"alias_kind":"arxiv_version","alias_value":"2605.16450v1","created_at":"2026-05-20T00:02:22.697128+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.16450","created_at":"2026-05-20T00:02:22.697128+00:00"},{"alias_kind":"pith_short_12","alias_value":"27TEJSGPNUWF","created_at":"2026-05-20T00:02:22.697128+00:00"},{"alias_kind":"pith_short_16","alias_value":"27TEJSGPNUWF32HE","created_at":"2026-05-20T00:02:22.697128+00:00"},{"alias_kind":"pith_short_8","alias_value":"27TEJSGP","created_at":"2026-05-20T00:02:22.697128+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":2,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/27TEJSGPNUWF32HERWE6OSA4IQ","json":"https://pith.science/pith/27TEJSGPNUWF32HERWE6OSA4IQ.json","graph_json":"https://pith.science/api/pith-number/27TEJSGPNUWF32HERWE6OSA4IQ/graph.json","events_json":"https://pith.science/api/pith-number/27TEJSGPNUWF32HERWE6OSA4IQ/events.json","paper":"https://pith.science/paper/27TEJSGP"},"agent_actions":{"view_html":"https://pith.science/pith/27TEJSGPNUWF32HERWE6OSA4IQ","download_json":"https://pith.science/pith/27TEJSGPNUWF32HERWE6OSA4IQ.json","view_paper":"https://pith.science/paper/27TEJSGP","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2605.16450&json=true","fetch_graph":"https://pith.science/api/pith-number/27TEJSGPNUWF32HERWE6OSA4IQ/graph.json","fetch_events":"https://pith.science/api/pith-number/27TEJSGPNUWF32HERWE6OSA4IQ/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/27TEJSGPNUWF32HERWE6OSA4IQ/action/timestamp_anchor","attest_storage":"https://pith.science/pith/27TEJSGPNUWF32HERWE6OSA4IQ/action/storage_attestation","attest_author":"https://pith.science/pith/27TEJSGPNUWF32HERWE6OSA4IQ/action/author_attestation","sign_citation":"https://pith.science/pith/27TEJSGPNUWF32HERWE6OSA4IQ/action/citation_signature","submit_replication":"https://pith.science/pith/27TEJSGPNUWF32HERWE6OSA4IQ/action/replication_record"}},"created_at":"2026-05-20T00:02:22.697128+00:00","updated_at":"2026-05-20T00:02:22.697128+00:00"}