{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2009:YCS2AFUNVGQR3TJ2NI4CTENRWV","short_pith_number":"pith:YCS2AFUN","canonical_record":{"source":{"id":"0907.5010","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2009-07-28T22:05:45Z","cross_cats_sorted":[],"title_canon_sha256":"e4647e02e5ee170ae924591aa6e1266d1730dee52442a8909c3dd5234ac62cfa","abstract_canon_sha256":"04bfe0d90c8b785a7cfb8ecf82057a106ffb229458bf8ab2b4701dd81e8bff04"},"schema_version":"1.0"},"canonical_sha256":"c0a5a0168da9a11dcd3a6a382991b1b561e524ca7d7b7b3b8a4def28bff0869b","source":{"kind":"arxiv","id":"0907.5010","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"0907.5010","created_at":"2026-05-18T02:58:02Z"},{"alias_kind":"arxiv_version","alias_value":"0907.5010v1","created_at":"2026-05-18T02:58:02Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.0907.5010","created_at":"2026-05-18T02:58:02Z"},{"alias_kind":"pith_short_12","alias_value":"YCS2AFUNVGQR","created_at":"2026-05-18T12:26:02Z"},{"alias_kind":"pith_short_16","alias_value":"YCS2AFUNVGQR3TJ2","created_at":"2026-05-18T12:26:02Z"},{"alias_kind":"pith_short_8","alias_value":"YCS2AFUN","created_at":"2026-05-18T12:26:02Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2009:YCS2AFUNVGQR3TJ2NI4CTENRWV","target":"record","payload":{"canonical_record":{"source":{"id":"0907.5010","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2009-07-28T22:05:45Z","cross_cats_sorted":[],"title_canon_sha256":"e4647e02e5ee170ae924591aa6e1266d1730dee52442a8909c3dd5234ac62cfa","abstract_canon_sha256":"04bfe0d90c8b785a7cfb8ecf82057a106ffb229458bf8ab2b4701dd81e8bff04"},"schema_version":"1.0"},"canonical_sha256":"c0a5a0168da9a11dcd3a6a382991b1b561e524ca7d7b7b3b8a4def28bff0869b","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:58:02.918155Z","signature_b64":"L42fwE52JdfCWovhZUlto8uI537hCnvlQlRk081XC/VQMzB4C0nEkeMW9HTt8cGZCf9PGZwzIOcaKF+79KehDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c0a5a0168da9a11dcd3a6a382991b1b561e524ca7d7b7b3b8a4def28bff0869b","last_reissued_at":"2026-05-18T02:58:02.917258Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:58:02.917258Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"0907.5010","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:58:02Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ChRENGdR9z7yC780ZKaAdjL82S/OSr/j0ebDy3QMX2wjojOTLv8JmRcxgXjFe3QUXUa7aU3WJpRZzi0WMehsDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-23T02:05:04.051706Z"},"content_sha256":"720f155308e11d4bf84ce24c6847280aa6e625bd1a44f51882a8c3bc20a770d4","schema_version":"1.0","event_id":"sha256:720f155308e11d4bf84ce24c6847280aa6e625bd1a44f51882a8c3bc20a770d4"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2009:YCS2AFUNVGQR3TJ2NI4CTENRWV","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"The Schur multiplier, profinite completions and decidability","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.GR","authors_text":"Martin R Bridson","submitted_at":"2009-07-28T22:05:45Z","abstract_excerpt":"We fix a finitely presented group $Q$ and consider short exact sequences $1\\to N\\to G\\to Q\\to 1$ with $G$ finitely generated. The inclusion $N\\to G$ induces a morphism of profinite completions $\\hat N\\to \\hat G$. We prove that this is an isomorphism for all $N$ and $G$ if and only if $Q$ is super-perfect and has no proper subgroups of finite index.\n  We prove that there is no algorithm that, given a finitely presented, residually finite group $G$ and a finitely presentable subgroup $P\\subset G$, can determine whether or not $\\hat P\\to\\hat G$ is an isomorphism."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"0907.5010","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:58:02Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"QkOF8WEX4g0ABWgOUElrwLavdh+6wKDRwRofcmEXZbct3BWiJJjPzdxo7kEnJfeQHoFKoiiLAp1PFZ9KO31tAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-23T02:05:04.052057Z"},"content_sha256":"b3219acc1dd223908af64d36d6e20ee35545b5ca4dc7ed72f54359367615b71d","schema_version":"1.0","event_id":"sha256:b3219acc1dd223908af64d36d6e20ee35545b5ca4dc7ed72f54359367615b71d"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/YCS2AFUNVGQR3TJ2NI4CTENRWV/bundle.json","state_url":"https://pith.science/pith/YCS2AFUNVGQR3TJ2NI4CTENRWV/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/YCS2AFUNVGQR3TJ2NI4CTENRWV/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-23T02:05:04Z","links":{"resolver":"https://pith.science/pith/YCS2AFUNVGQR3TJ2NI4CTENRWV","bundle":"https://pith.science/pith/YCS2AFUNVGQR3TJ2NI4CTENRWV/bundle.json","state":"https://pith.science/pith/YCS2AFUNVGQR3TJ2NI4CTENRWV/state.json","well_known_bundle":"https://pith.science/.well-known/pith/YCS2AFUNVGQR3TJ2NI4CTENRWV/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2009:YCS2AFUNVGQR3TJ2NI4CTENRWV","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":"04bfe0d90c8b785a7cfb8ecf82057a106ffb229458bf8ab2b4701dd81e8bff04","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2009-07-28T22:05:45Z","title_canon_sha256":"e4647e02e5ee170ae924591aa6e1266d1730dee52442a8909c3dd5234ac62cfa"},"schema_version":"1.0","source":{"id":"0907.5010","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"0907.5010","created_at":"2026-05-18T02:58:02Z"},{"alias_kind":"arxiv_version","alias_value":"0907.5010v1","created_at":"2026-05-18T02:58:02Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.0907.5010","created_at":"2026-05-18T02:58:02Z"},{"alias_kind":"pith_short_12","alias_value":"YCS2AFUNVGQR","created_at":"2026-05-18T12:26:02Z"},{"alias_kind":"pith_short_16","alias_value":"YCS2AFUNVGQR3TJ2","created_at":"2026-05-18T12:26:02Z"},{"alias_kind":"pith_short_8","alias_value":"YCS2AFUN","created_at":"2026-05-18T12:26:02Z"}],"graph_snapshots":[{"event_id":"sha256:b3219acc1dd223908af64d36d6e20ee35545b5ca4dc7ed72f54359367615b71d","target":"graph","created_at":"2026-05-18T02:58:02Z","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 fix a finitely presented group $Q$ and consider short exact sequences $1\\to N\\to G\\to Q\\to 1$ with $G$ finitely generated. The inclusion $N\\to G$ induces a morphism of profinite completions $\\hat N\\to \\hat G$. We prove that this is an isomorphism for all $N$ and $G$ if and only if $Q$ is super-perfect and has no proper subgroups of finite index.\n  We prove that there is no algorithm that, given a finitely presented, residually finite group $G$ and a finitely presentable subgroup $P\\subset G$, can determine whether or not $\\hat P\\to\\hat G$ is an isomorphism.","authors_text":"Martin R Bridson","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2009-07-28T22:05:45Z","title":"The Schur multiplier, profinite completions and decidability"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"0907.5010","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:720f155308e11d4bf84ce24c6847280aa6e625bd1a44f51882a8c3bc20a770d4","target":"record","created_at":"2026-05-18T02:58:02Z","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":"04bfe0d90c8b785a7cfb8ecf82057a106ffb229458bf8ab2b4701dd81e8bff04","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2009-07-28T22:05:45Z","title_canon_sha256":"e4647e02e5ee170ae924591aa6e1266d1730dee52442a8909c3dd5234ac62cfa"},"schema_version":"1.0","source":{"id":"0907.5010","kind":"arxiv","version":1}},"canonical_sha256":"c0a5a0168da9a11dcd3a6a382991b1b561e524ca7d7b7b3b8a4def28bff0869b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c0a5a0168da9a11dcd3a6a382991b1b561e524ca7d7b7b3b8a4def28bff0869b","first_computed_at":"2026-05-18T02:58:02.917258Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:58:02.917258Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"L42fwE52JdfCWovhZUlto8uI537hCnvlQlRk081XC/VQMzB4C0nEkeMW9HTt8cGZCf9PGZwzIOcaKF+79KehDw==","signature_status":"signed_v1","signed_at":"2026-05-18T02:58:02.918155Z","signed_message":"canonical_sha256_bytes"},"source_id":"0907.5010","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:720f155308e11d4bf84ce24c6847280aa6e625bd1a44f51882a8c3bc20a770d4","sha256:b3219acc1dd223908af64d36d6e20ee35545b5ca4dc7ed72f54359367615b71d"],"state_sha256":"ccff3ce40bde3bd852a4bbc620a751ad7098a41799094cc216314b278e912163"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"2wweJyVcmnh+f7Hq/wZD+IRYAfC/JMIYwAbWGUBvirUgoHsLrAs+cjZxKis6yIKvRnstH0Q7KYY1di41ss2BBQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-23T02:05:04.054008Z","bundle_sha256":"0486696699aa2bf0a817efdffcc0399c68e79a8afc281f20791a8b19e19d60e3"}}