{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:H3TJBZURTFR5H4X5QJ6MLF3ULC","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"07c1800bbd7dee446efa2c4f580fb574534bf61e5aac30cdd911c332806e6a66","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NT","submitted_at":"2019-01-08T04:13:18Z","title_canon_sha256":"01f7d30d0980a6e560b4fd55545124cfdf5620092ee2f1d166153a241c6d032e"},"schema_version":"1.0","source":{"id":"1901.02149","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1901.02149","created_at":"2026-05-17T23:46:18Z"},{"alias_kind":"arxiv_version","alias_value":"1901.02149v3","created_at":"2026-05-17T23:46:18Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1901.02149","created_at":"2026-05-17T23:46:18Z"},{"alias_kind":"pith_short_12","alias_value":"H3TJBZURTFR5","created_at":"2026-05-18T12:33:18Z"},{"alias_kind":"pith_short_16","alias_value":"H3TJBZURTFR5H4X5","created_at":"2026-05-18T12:33:18Z"},{"alias_kind":"pith_short_8","alias_value":"H3TJBZUR","created_at":"2026-05-18T12:33:18Z"}],"graph_snapshots":[{"event_id":"sha256:4d18a0c26520987b6db3809d9117b94b02aaa8aded913cd6eda6955f23f0e3c5","target":"graph","created_at":"2026-05-17T23:46:18Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"We introduce several classes of monoids satisfying up to five axioms and establish basic theories on their arithmetics. The one satisfying all the axioms is named natural monoid. Two typical examples are 1) the monoid $\\mathbb{N}$ of natural numbers in the group of positive rationals and 2) a certain monoid $\\mathbb{S}$ in one of Thompson's groups. The latter one is non-abelian, which serves as an important example for non-commutative arithmetics.\n  Defining primes in a non-abelian monoid $S$ is highly non-trivial, which relies on a concept we called `castling'. Three types of castlings are es","authors_text":"Boqing Xue","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NT","submitted_at":"2019-01-08T04:13:18Z","title":"Natural Monoids and Non-commutative Arithmetics"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1901.02149","kind":"arxiv","version":3},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:d70a32ae9980ff562a6d95ce5551c74de950f705cd63d66125e4fa82c36f3952","target":"record","created_at":"2026-05-17T23:46:18Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"07c1800bbd7dee446efa2c4f580fb574534bf61e5aac30cdd911c332806e6a66","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NT","submitted_at":"2019-01-08T04:13:18Z","title_canon_sha256":"01f7d30d0980a6e560b4fd55545124cfdf5620092ee2f1d166153a241c6d032e"},"schema_version":"1.0","source":{"id":"1901.02149","kind":"arxiv","version":3}},"canonical_sha256":"3ee690e6919963d3f2fd827cc59774589f7938a05ce9b4f0d9efd90d17b96c30","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"3ee690e6919963d3f2fd827cc59774589f7938a05ce9b4f0d9efd90d17b96c30","first_computed_at":"2026-05-17T23:46:18.885474Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:46:18.885474Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"690UUQS3DvA0SeKLvsRhwwqxMpknxBy4Jj0P8nAyxb5Tf7n5a8gFbxyP7Fa3D1UxcG4GnsAKNjRipJ38FnU3Dg==","signature_status":"signed_v1","signed_at":"2026-05-17T23:46:18.886223Z","signed_message":"canonical_sha256_bytes"},"source_id":"1901.02149","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d70a32ae9980ff562a6d95ce5551c74de950f705cd63d66125e4fa82c36f3952","sha256:4d18a0c26520987b6db3809d9117b94b02aaa8aded913cd6eda6955f23f0e3c5"],"state_sha256":"7d8dc9a8c908eb346606a44cd202c990c26e4e92c6c53c68ce0ee05804f66109"}