{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:TI4QA7APDBT64UX3FYVUWNIWWF","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":"80574ab9ef1006a752c3e38db19bd308bfb58cc55d474a4420cc63f561b574d7","cross_cats_sorted":["cs.FL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2012-02-14T12:12:06Z","title_canon_sha256":"43948ef3fc71cc1dd3e434f28561e8d71dea2d8a3d40d4ce6a4c4ed352c21cd7"},"schema_version":"1.0","source":{"id":"1202.3013","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1202.3013","created_at":"2026-05-18T01:29:51Z"},{"alias_kind":"arxiv_version","alias_value":"1202.3013v1","created_at":"2026-05-18T01:29:51Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1202.3013","created_at":"2026-05-18T01:29:51Z"},{"alias_kind":"pith_short_12","alias_value":"TI4QA7APDBT6","created_at":"2026-05-18T12:27:23Z"},{"alias_kind":"pith_short_16","alias_value":"TI4QA7APDBT64UX3","created_at":"2026-05-18T12:27:23Z"},{"alias_kind":"pith_short_8","alias_value":"TI4QA7AP","created_at":"2026-05-18T12:27:23Z"}],"graph_snapshots":[{"event_id":"sha256:e52c53dcc8f8bfe5e292fd334b37793f3bb45a1c10645956207fbd09402e3b1c","target":"graph","created_at":"2026-05-18T01:29:51Z","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":"A group is Markov if it admits a prefix-closed regular language of unique representatives with respect to some generating set, and strongly Markov if it admits such a language of unique minimal-length representatives over every generating set. This paper considers the natural generalizations of these concepts to semigroups and monoids. Two distinct potential generalizations to monoids are shown to be equivalent. Various interesting examples are presented, including an example of a non-Markov monoid that nevertheless admits a regular language of unique representatives over any generating set. I","authors_text":"Alan J. Cain, Victor Maltcev","cross_cats":["cs.FL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2012-02-14T12:12:06Z","title":"Markov semigroups, monoids, and groups"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1202.3013","kind":"arxiv","version":1},"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:2dea962a0be0df853bc1c2c18b8a34689d204ee5eaaa97e98de3344a0ce08620","target":"record","created_at":"2026-05-18T01:29:51Z","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":"80574ab9ef1006a752c3e38db19bd308bfb58cc55d474a4420cc63f561b574d7","cross_cats_sorted":["cs.FL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2012-02-14T12:12:06Z","title_canon_sha256":"43948ef3fc71cc1dd3e434f28561e8d71dea2d8a3d40d4ce6a4c4ed352c21cd7"},"schema_version":"1.0","source":{"id":"1202.3013","kind":"arxiv","version":1}},"canonical_sha256":"9a39007c0f1867ee52fb2e2b4b3516b173ebbff641a99f03813c0b2d4d76d942","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9a39007c0f1867ee52fb2e2b4b3516b173ebbff641a99f03813c0b2d4d76d942","first_computed_at":"2026-05-18T01:29:51.761602Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:29:51.761602Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ouMDcm8QyNbadT+3N02TBamqPmbyTs0WRJKVbyKTGcZQbHmCIyCqfFN4KMKMOawoH5lLtm/d3ynvs7ujTE5vAw==","signature_status":"signed_v1","signed_at":"2026-05-18T01:29:51.762108Z","signed_message":"canonical_sha256_bytes"},"source_id":"1202.3013","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:2dea962a0be0df853bc1c2c18b8a34689d204ee5eaaa97e98de3344a0ce08620","sha256:e52c53dcc8f8bfe5e292fd334b37793f3bb45a1c10645956207fbd09402e3b1c"],"state_sha256":"20b8a68f4a3ce4afaf704c13a35db1e9f441044e56c93653fb5184f904c9e957"}