{"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"}