{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:XGR6UCSHS3SMKEJKJBATEY6NES","short_pith_number":"pith:XGR6UCSH","canonical_record":{"source":{"id":"1309.5980","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2013-09-23T20:47:56Z","cross_cats_sorted":[],"title_canon_sha256":"309271bd981a79ef10bf5aa1d8cde65864a55e6ce7b0dad42f9d6343a7c6839a","abstract_canon_sha256":"313641f884707accf2beece3bf336e4bf8fe59a9b08bae9d2e67d2a6baf7ab52"},"schema_version":"1.0"},"canonical_sha256":"b9a3ea0a4796e4c5112a48413263cd24acac51911d2abf898ac9adcf010ded75","source":{"kind":"arxiv","id":"1309.5980","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1309.5980","created_at":"2026-05-18T02:52:41Z"},{"alias_kind":"arxiv_version","alias_value":"1309.5980v1","created_at":"2026-05-18T02:52:41Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1309.5980","created_at":"2026-05-18T02:52:41Z"},{"alias_kind":"pith_short_12","alias_value":"XGR6UCSHS3SM","created_at":"2026-05-18T12:28:06Z"},{"alias_kind":"pith_short_16","alias_value":"XGR6UCSHS3SMKEJK","created_at":"2026-05-18T12:28:06Z"},{"alias_kind":"pith_short_8","alias_value":"XGR6UCSH","created_at":"2026-05-18T12:28:06Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:XGR6UCSHS3SMKEJKJBATEY6NES","target":"record","payload":{"canonical_record":{"source":{"id":"1309.5980","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2013-09-23T20:47:56Z","cross_cats_sorted":[],"title_canon_sha256":"309271bd981a79ef10bf5aa1d8cde65864a55e6ce7b0dad42f9d6343a7c6839a","abstract_canon_sha256":"313641f884707accf2beece3bf336e4bf8fe59a9b08bae9d2e67d2a6baf7ab52"},"schema_version":"1.0"},"canonical_sha256":"b9a3ea0a4796e4c5112a48413263cd24acac51911d2abf898ac9adcf010ded75","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:52:41.878197Z","signature_b64":"Xfn87Nza4Ao/fH5tlixjxLjAP4fEIgrIGnK3SpYaJmPZpydYfAF+1xL2JjVljyL9bDdqoq6osubThnz9E3yPAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b9a3ea0a4796e4c5112a48413263cd24acac51911d2abf898ac9adcf010ded75","last_reissued_at":"2026-05-18T02:52:41.877702Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:52:41.877702Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1309.5980","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T02:52:41Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"GpHBJmj2QH3nuQg8K1sdiDVNDdSkGxL+p5SXOxnAgiHz+n16byjqLdpwLxjQzFGqLCGeyO+MKqhlP/Fl9ye6AA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-12T05:36:25.321224Z"},"content_sha256":"1791db68e50117f3c0a11353535f8bc80b7affef2167de0ed2155398f72296a0","schema_version":"1.0","event_id":"sha256:1791db68e50117f3c0a11353535f8bc80b7affef2167de0ed2155398f72296a0"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:XGR6UCSHS3SMKEJKJBATEY6NES","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Maximal subgroups of amalgams of finite inverse semigroups","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.GR","authors_text":"Alessandra Cherubini, Emanuele Rodaro, Tatiana B. Jajcayova","submitted_at":"2013-09-23T20:47:56Z","abstract_excerpt":"We use the description of the Schutzenberger automata for amalgams of finite inverse semigroups given by Cherubini, Meakin, Piochi to obtain structural results for such amalgams. Schutzenberger automata, in the case of amalgams of finite inverse semigroups, are automata with special structure possessing finite subgraphs, that contain all essential information related to the whole automaton. Using this crucial fact, and the Bass-Serre theory, we show that the maximal subgroups of an amalgamated free-product are either isomorphic to certain subgroups of the original semigroups or can be describe"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1309.5980","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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T02:52:41Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"6cUWThobHrwpjMarsMRD5QtXPXwE8elb2todcpw12H38YmfZSg6nrP5XUPrTwSzL1Wi4VAcGlcRnYJXY6nE8DA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-12T05:36:25.321585Z"},"content_sha256":"9f71c0f6a342e1b247b67fadd6dae71ea2d6dc97e609bb4887ca6b5e91166ab2","schema_version":"1.0","event_id":"sha256:9f71c0f6a342e1b247b67fadd6dae71ea2d6dc97e609bb4887ca6b5e91166ab2"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/XGR6UCSHS3SMKEJKJBATEY6NES/bundle.json","state_url":"https://pith.science/pith/XGR6UCSHS3SMKEJKJBATEY6NES/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/XGR6UCSHS3SMKEJKJBATEY6NES/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-06-12T05:36:25Z","links":{"resolver":"https://pith.science/pith/XGR6UCSHS3SMKEJKJBATEY6NES","bundle":"https://pith.science/pith/XGR6UCSHS3SMKEJKJBATEY6NES/bundle.json","state":"https://pith.science/pith/XGR6UCSHS3SMKEJKJBATEY6NES/state.json","well_known_bundle":"https://pith.science/.well-known/pith/XGR6UCSHS3SMKEJKJBATEY6NES/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:XGR6UCSHS3SMKEJKJBATEY6NES","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":"313641f884707accf2beece3bf336e4bf8fe59a9b08bae9d2e67d2a6baf7ab52","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2013-09-23T20:47:56Z","title_canon_sha256":"309271bd981a79ef10bf5aa1d8cde65864a55e6ce7b0dad42f9d6343a7c6839a"},"schema_version":"1.0","source":{"id":"1309.5980","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1309.5980","created_at":"2026-05-18T02:52:41Z"},{"alias_kind":"arxiv_version","alias_value":"1309.5980v1","created_at":"2026-05-18T02:52:41Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1309.5980","created_at":"2026-05-18T02:52:41Z"},{"alias_kind":"pith_short_12","alias_value":"XGR6UCSHS3SM","created_at":"2026-05-18T12:28:06Z"},{"alias_kind":"pith_short_16","alias_value":"XGR6UCSHS3SMKEJK","created_at":"2026-05-18T12:28:06Z"},{"alias_kind":"pith_short_8","alias_value":"XGR6UCSH","created_at":"2026-05-18T12:28:06Z"}],"graph_snapshots":[{"event_id":"sha256:9f71c0f6a342e1b247b67fadd6dae71ea2d6dc97e609bb4887ca6b5e91166ab2","target":"graph","created_at":"2026-05-18T02:52:41Z","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 use the description of the Schutzenberger automata for amalgams of finite inverse semigroups given by Cherubini, Meakin, Piochi to obtain structural results for such amalgams. Schutzenberger automata, in the case of amalgams of finite inverse semigroups, are automata with special structure possessing finite subgraphs, that contain all essential information related to the whole automaton. Using this crucial fact, and the Bass-Serre theory, we show that the maximal subgroups of an amalgamated free-product are either isomorphic to certain subgroups of the original semigroups or can be describe","authors_text":"Alessandra Cherubini, Emanuele Rodaro, Tatiana B. Jajcayova","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2013-09-23T20:47:56Z","title":"Maximal subgroups of amalgams of finite inverse semigroups"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1309.5980","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:1791db68e50117f3c0a11353535f8bc80b7affef2167de0ed2155398f72296a0","target":"record","created_at":"2026-05-18T02:52:41Z","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":"313641f884707accf2beece3bf336e4bf8fe59a9b08bae9d2e67d2a6baf7ab52","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2013-09-23T20:47:56Z","title_canon_sha256":"309271bd981a79ef10bf5aa1d8cde65864a55e6ce7b0dad42f9d6343a7c6839a"},"schema_version":"1.0","source":{"id":"1309.5980","kind":"arxiv","version":1}},"canonical_sha256":"b9a3ea0a4796e4c5112a48413263cd24acac51911d2abf898ac9adcf010ded75","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b9a3ea0a4796e4c5112a48413263cd24acac51911d2abf898ac9adcf010ded75","first_computed_at":"2026-05-18T02:52:41.877702Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:52:41.877702Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Xfn87Nza4Ao/fH5tlixjxLjAP4fEIgrIGnK3SpYaJmPZpydYfAF+1xL2JjVljyL9bDdqoq6osubThnz9E3yPAA==","signature_status":"signed_v1","signed_at":"2026-05-18T02:52:41.878197Z","signed_message":"canonical_sha256_bytes"},"source_id":"1309.5980","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:1791db68e50117f3c0a11353535f8bc80b7affef2167de0ed2155398f72296a0","sha256:9f71c0f6a342e1b247b67fadd6dae71ea2d6dc97e609bb4887ca6b5e91166ab2"],"state_sha256":"77fe694d54ecbc57ad4fb3e2e61712474395a13f4ec05f4cb7a787989d54a8f0"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"eR0M81NF8ENTtp0okW8tXL960cfjav4avYQn/n20AxeWDtpJy48roL8IlHjda9/Gf6c+h7QlYyVDzeP9d8GbAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-12T05:36:25.323560Z","bundle_sha256":"7c1cca7e46b65e8e501039226c4735a62838d757ccd866e6e44f212d76d7364b"}}