{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2009:VTWE5FCDNYJ3AWEARPD22I5CUX","short_pith_number":"pith:VTWE5FCD","canonical_record":{"source":{"id":"0912.1284","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2009-12-07T16:04:33Z","cross_cats_sorted":[],"title_canon_sha256":"df11f8f5db2aad60cb928f01ca1a91b6436e16531c473c96b52de1823787429a","abstract_canon_sha256":"1eff4cd8c8179e36b5f75f5f34d535a0d729ef02d9d4e453aa1a9facfecfb93c"},"schema_version":"1.0"},"canonical_sha256":"acec4e94436e13b058808bc7ad23a2a5c638c85d367b7de34e117b39ec0de4ce","source":{"kind":"arxiv","id":"0912.1284","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"0912.1284","created_at":"2026-05-18T02:50:24Z"},{"alias_kind":"arxiv_version","alias_value":"0912.1284v2","created_at":"2026-05-18T02:50:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.0912.1284","created_at":"2026-05-18T02:50:24Z"},{"alias_kind":"pith_short_12","alias_value":"VTWE5FCDNYJ3","created_at":"2026-05-18T12:26:02Z"},{"alias_kind":"pith_short_16","alias_value":"VTWE5FCDNYJ3AWEA","created_at":"2026-05-18T12:26:02Z"},{"alias_kind":"pith_short_8","alias_value":"VTWE5FCD","created_at":"2026-05-18T12:26:02Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2009:VTWE5FCDNYJ3AWEARPD22I5CUX","target":"record","payload":{"canonical_record":{"source":{"id":"0912.1284","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2009-12-07T16:04:33Z","cross_cats_sorted":[],"title_canon_sha256":"df11f8f5db2aad60cb928f01ca1a91b6436e16531c473c96b52de1823787429a","abstract_canon_sha256":"1eff4cd8c8179e36b5f75f5f34d535a0d729ef02d9d4e453aa1a9facfecfb93c"},"schema_version":"1.0"},"canonical_sha256":"acec4e94436e13b058808bc7ad23a2a5c638c85d367b7de34e117b39ec0de4ce","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:50:24.651151Z","signature_b64":"KX5N+5XfhX8byL1sKnEJRf4mhUkBIjdkxqXZsKLFoQdhgLSl7EySGPcvxk9bWxkSjQTxuJYHg44DOl28jB++Ag==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"acec4e94436e13b058808bc7ad23a2a5c638c85d367b7de34e117b39ec0de4ce","last_reissued_at":"2026-05-18T02:50:24.650605Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:50:24.650605Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"0912.1284","source_version":2,"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:50:24Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"kIQndaL+9ChJhTbC6kFhET98DCjUK50tERlFuWGNt3Of/+rRJjASwgZcG7WOKM/9F1i6EylG529Yaezojr9iBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-21T20:33:23.398693Z"},"content_sha256":"6168d7468744211705317b4c42c1d8916c5a0095e08c1f791d889776e141b0b0","schema_version":"1.0","event_id":"sha256:6168d7468744211705317b4c42c1d8916c5a0095e08c1f791d889776e141b0b0"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2009:VTWE5FCDNYJ3AWEARPD22I5CUX","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Homotopy bases and finite derivation type for subgroups of monoids","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.GR","authors_text":"Ant\\'onio Malheiro, Robert Gray","submitted_at":"2009-12-07T16:04:33Z","abstract_excerpt":"Given a monoid defined by a presentation, and a homotopy base for the derivation graph associated to the presentation, and given an arbitrary subgroup of the monoid, we give a homotopy base (and presentation) for the subgroup. If the monoid has finite derivation type (FDT), and if under the action of the monoid on its subsets by right multiplication the strong orbit of the subgroup is finite, then we obtain a finite homotopy base for the subgroup, and hence the subgroup has FDT. As an application we prove that a regular monoid with finitely many left and right ideals has FDT if and only if all"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"0912.1284","kind":"arxiv","version":2},"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:50:24Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"D2X5Uu2jnD1QsEC1K1id4dvXx2fsPQd1VOL+yO/rNHahCkFh37GFcKaGAGzvFYBirsR15Ro6czJj22RnmISSCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-21T20:33:23.399053Z"},"content_sha256":"7683805221dc5d8a0c18ee09dcb425e8ca8fafda3b68891a6cb9001d92d1cc0e","schema_version":"1.0","event_id":"sha256:7683805221dc5d8a0c18ee09dcb425e8ca8fafda3b68891a6cb9001d92d1cc0e"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/VTWE5FCDNYJ3AWEARPD22I5CUX/bundle.json","state_url":"https://pith.science/pith/VTWE5FCDNYJ3AWEARPD22I5CUX/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/VTWE5FCDNYJ3AWEARPD22I5CUX/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-21T20:33:23Z","links":{"resolver":"https://pith.science/pith/VTWE5FCDNYJ3AWEARPD22I5CUX","bundle":"https://pith.science/pith/VTWE5FCDNYJ3AWEARPD22I5CUX/bundle.json","state":"https://pith.science/pith/VTWE5FCDNYJ3AWEARPD22I5CUX/state.json","well_known_bundle":"https://pith.science/.well-known/pith/VTWE5FCDNYJ3AWEARPD22I5CUX/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2009:VTWE5FCDNYJ3AWEARPD22I5CUX","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":"1eff4cd8c8179e36b5f75f5f34d535a0d729ef02d9d4e453aa1a9facfecfb93c","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2009-12-07T16:04:33Z","title_canon_sha256":"df11f8f5db2aad60cb928f01ca1a91b6436e16531c473c96b52de1823787429a"},"schema_version":"1.0","source":{"id":"0912.1284","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"0912.1284","created_at":"2026-05-18T02:50:24Z"},{"alias_kind":"arxiv_version","alias_value":"0912.1284v2","created_at":"2026-05-18T02:50:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.0912.1284","created_at":"2026-05-18T02:50:24Z"},{"alias_kind":"pith_short_12","alias_value":"VTWE5FCDNYJ3","created_at":"2026-05-18T12:26:02Z"},{"alias_kind":"pith_short_16","alias_value":"VTWE5FCDNYJ3AWEA","created_at":"2026-05-18T12:26:02Z"},{"alias_kind":"pith_short_8","alias_value":"VTWE5FCD","created_at":"2026-05-18T12:26:02Z"}],"graph_snapshots":[{"event_id":"sha256:7683805221dc5d8a0c18ee09dcb425e8ca8fafda3b68891a6cb9001d92d1cc0e","target":"graph","created_at":"2026-05-18T02:50:24Z","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":"Given a monoid defined by a presentation, and a homotopy base for the derivation graph associated to the presentation, and given an arbitrary subgroup of the monoid, we give a homotopy base (and presentation) for the subgroup. If the monoid has finite derivation type (FDT), and if under the action of the monoid on its subsets by right multiplication the strong orbit of the subgroup is finite, then we obtain a finite homotopy base for the subgroup, and hence the subgroup has FDT. As an application we prove that a regular monoid with finitely many left and right ideals has FDT if and only if all","authors_text":"Ant\\'onio Malheiro, Robert Gray","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2009-12-07T16:04:33Z","title":"Homotopy bases and finite derivation type for subgroups of monoids"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"0912.1284","kind":"arxiv","version":2},"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:6168d7468744211705317b4c42c1d8916c5a0095e08c1f791d889776e141b0b0","target":"record","created_at":"2026-05-18T02:50:24Z","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":"1eff4cd8c8179e36b5f75f5f34d535a0d729ef02d9d4e453aa1a9facfecfb93c","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2009-12-07T16:04:33Z","title_canon_sha256":"df11f8f5db2aad60cb928f01ca1a91b6436e16531c473c96b52de1823787429a"},"schema_version":"1.0","source":{"id":"0912.1284","kind":"arxiv","version":2}},"canonical_sha256":"acec4e94436e13b058808bc7ad23a2a5c638c85d367b7de34e117b39ec0de4ce","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"acec4e94436e13b058808bc7ad23a2a5c638c85d367b7de34e117b39ec0de4ce","first_computed_at":"2026-05-18T02:50:24.650605Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:50:24.650605Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"KX5N+5XfhX8byL1sKnEJRf4mhUkBIjdkxqXZsKLFoQdhgLSl7EySGPcvxk9bWxkSjQTxuJYHg44DOl28jB++Ag==","signature_status":"signed_v1","signed_at":"2026-05-18T02:50:24.651151Z","signed_message":"canonical_sha256_bytes"},"source_id":"0912.1284","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:6168d7468744211705317b4c42c1d8916c5a0095e08c1f791d889776e141b0b0","sha256:7683805221dc5d8a0c18ee09dcb425e8ca8fafda3b68891a6cb9001d92d1cc0e"],"state_sha256":"d985a76bf50636239dc0d01e4de9d9bd7f7600b4f44d7a6dbf64cb4ea4c62f9a"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"QfO26ehjgIQlKJ4GURHKCgGzKRFyScZZA/41nepbgWSwIs5bDO0ijqQGrt6KhbMKE7ADeHmb04sox44QclrODw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-21T20:33:23.401241Z","bundle_sha256":"1fcd587e5ba315f04d978cbb88f8f76389f9e01fe08eb304926797c6f29cd76c"}}