{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:JWQCDPOZNDPSHNL3WIZ6X6ESWQ","short_pith_number":"pith:JWQCDPOZ","schema_version":"1.0","canonical_sha256":"4da021bdd968df23b57bb233ebf892b4078384aa5263dfddae5a3d0789132fe4","source":{"kind":"arxiv","id":"2605.14862","version":1},"attestation_state":"computed","paper":{"title":"Commutative decomposition of infinite symmetric groups and transformation monoids","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.GR","authors_text":"Alex Levine, Luna Elliott","submitted_at":"2026-05-14T14:09:48Z","abstract_excerpt":"The commutative subgroup width of a group $G$ is the smallest $k$ such that there are abelian subgroups $A_0,A_1,\\ldots,A_{k-1}\\leq G$ with $G=A_0A_1\\cdots A_{k-1}$. Commutative (inverse) submonoid width is defined analogously. In 2002, Ab\\'{e}rt showed, rather surprisingly, that the commutative subgroup width of the symmetric group on an infinite set is always finite. It was later shown by Seress that it is always bounded above by $14$. We answer a question of Seress and show that in fact the commutative subgroup width of $\\operatorname{Sym}(\\mathbb{N})$ is at most $9$. We improve the best kn"},"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":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2605.14862","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2026-05-14T14:09:48Z","cross_cats_sorted":[],"title_canon_sha256":"cfcbf5d96a1e4d89dbc5c2f271d180aa7c6fe473403a6ecdec70560572b376ec","abstract_canon_sha256":"91fccab6186f13be298b68c017ce4d4d03f5c3360985684700604f9a0b8a22a1"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:38:56.224604Z","signature_b64":"OsvhvgWRZKAhOuJ0HVLE7N8/qU7NAKkIWNWFw+nkTUioRK+MYJ0/NA0dM5DZ0jre4dVzg3gzOY+QQ+U0TLNZDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4da021bdd968df23b57bb233ebf892b4078384aa5263dfddae5a3d0789132fe4","last_reissued_at":"2026-05-17T23:38:56.223826Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:38:56.223826Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Commutative decomposition of infinite symmetric groups and transformation monoids","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.GR","authors_text":"Alex Levine, Luna Elliott","submitted_at":"2026-05-14T14:09:48Z","abstract_excerpt":"The commutative subgroup width of a group $G$ is the smallest $k$ such that there are abelian subgroups $A_0,A_1,\\ldots,A_{k-1}\\leq G$ with $G=A_0A_1\\cdots A_{k-1}$. Commutative (inverse) submonoid width is defined analogously. In 2002, Ab\\'{e}rt showed, rather surprisingly, that the commutative subgroup width of the symmetric group on an infinite set is always finite. It was later shown by Seress that it is always bounded above by $14$. We answer a question of Seress and show that in fact the commutative subgroup width of $\\operatorname{Sym}(\\mathbb{N})$ is at most $9$. We improve the best kn"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2605.14862","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"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.14862","created_at":"2026-05-17T23:38:56.223951+00:00"},{"alias_kind":"arxiv_version","alias_value":"2605.14862v1","created_at":"2026-05-17T23:38:56.223951+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.14862","created_at":"2026-05-17T23:38:56.223951+00:00"},{"alias_kind":"pith_short_12","alias_value":"JWQCDPOZNDPS","created_at":"2026-05-18T12:33:37.589309+00:00"},{"alias_kind":"pith_short_16","alias_value":"JWQCDPOZNDPSHNL3","created_at":"2026-05-18T12:33:37.589309+00:00"},{"alias_kind":"pith_short_8","alias_value":"JWQCDPOZ","created_at":"2026-05-18T12:33:37.589309+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/JWQCDPOZNDPSHNL3WIZ6X6ESWQ","json":"https://pith.science/pith/JWQCDPOZNDPSHNL3WIZ6X6ESWQ.json","graph_json":"https://pith.science/api/pith-number/JWQCDPOZNDPSHNL3WIZ6X6ESWQ/graph.json","events_json":"https://pith.science/api/pith-number/JWQCDPOZNDPSHNL3WIZ6X6ESWQ/events.json","paper":"https://pith.science/paper/JWQCDPOZ"},"agent_actions":{"view_html":"https://pith.science/pith/JWQCDPOZNDPSHNL3WIZ6X6ESWQ","download_json":"https://pith.science/pith/JWQCDPOZNDPSHNL3WIZ6X6ESWQ.json","view_paper":"https://pith.science/paper/JWQCDPOZ","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2605.14862&json=true","fetch_graph":"https://pith.science/api/pith-number/JWQCDPOZNDPSHNL3WIZ6X6ESWQ/graph.json","fetch_events":"https://pith.science/api/pith-number/JWQCDPOZNDPSHNL3WIZ6X6ESWQ/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/JWQCDPOZNDPSHNL3WIZ6X6ESWQ/action/timestamp_anchor","attest_storage":"https://pith.science/pith/JWQCDPOZNDPSHNL3WIZ6X6ESWQ/action/storage_attestation","attest_author":"https://pith.science/pith/JWQCDPOZNDPSHNL3WIZ6X6ESWQ/action/author_attestation","sign_citation":"https://pith.science/pith/JWQCDPOZNDPSHNL3WIZ6X6ESWQ/action/citation_signature","submit_replication":"https://pith.science/pith/JWQCDPOZNDPSHNL3WIZ6X6ESWQ/action/replication_record"}},"created_at":"2026-05-17T23:38:56.223951+00:00","updated_at":"2026-05-17T23:38:56.223951+00:00"}