{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2007:JOTDCLE5LNVW6UDZJ64RGYPB5L","short_pith_number":"pith:JOTDCLE5","canonical_record":{"source":{"id":"0708.4331","kind":"arxiv","version":1},"metadata":{"license":"","primary_cat":"math.GR","submitted_at":"2007-08-31T12:30:46Z","cross_cats_sorted":[],"title_canon_sha256":"3eb20c07320a00d03686323b4d855aa25ff91eb61583e212681d15b3e748a68e","abstract_canon_sha256":"3936be40b5d8c7fba99e85396f604d6dbdde690c0e234065f160a64b8c18faff"},"schema_version":"1.0"},"canonical_sha256":"4ba6312c9d5b6b6f50794fb91361e1ead1bd950eb6a157102c093004623473ac","source":{"kind":"arxiv","id":"0708.4331","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"0708.4331","created_at":"2026-05-18T02:58:12Z"},{"alias_kind":"arxiv_version","alias_value":"0708.4331v1","created_at":"2026-05-18T02:58:12Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.0708.4331","created_at":"2026-05-18T02:58:12Z"},{"alias_kind":"pith_short_12","alias_value":"JOTDCLE5LNVW","created_at":"2026-05-18T12:25:55Z"},{"alias_kind":"pith_short_16","alias_value":"JOTDCLE5LNVW6UDZ","created_at":"2026-05-18T12:25:55Z"},{"alias_kind":"pith_short_8","alias_value":"JOTDCLE5","created_at":"2026-05-18T12:25:55Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2007:JOTDCLE5LNVW6UDZJ64RGYPB5L","target":"record","payload":{"canonical_record":{"source":{"id":"0708.4331","kind":"arxiv","version":1},"metadata":{"license":"","primary_cat":"math.GR","submitted_at":"2007-08-31T12:30:46Z","cross_cats_sorted":[],"title_canon_sha256":"3eb20c07320a00d03686323b4d855aa25ff91eb61583e212681d15b3e748a68e","abstract_canon_sha256":"3936be40b5d8c7fba99e85396f604d6dbdde690c0e234065f160a64b8c18faff"},"schema_version":"1.0"},"canonical_sha256":"4ba6312c9d5b6b6f50794fb91361e1ead1bd950eb6a157102c093004623473ac","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:58:12.396665Z","signature_b64":"SSDBVIeUMGPZkbtUVSr4W704yKJfYH66TEyFIXhZfxGijwS0GJNkXUBN1Ig7JvfsAREBJOR1xX+wc+J/kI6UCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4ba6312c9d5b6b6f50794fb91361e1ead1bd950eb6a157102c093004623473ac","last_reissued_at":"2026-05-18T02:58:12.395790Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:58:12.395790Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"0708.4331","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:12Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"a0GYxVZhWracmTLsK3dhlAFVI8MlPx/mo6m59lUMmI9gE4vAr03h1TSVHQDrk0hrmHZsppjk/K11W9ZSkVZEAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-23T05:28:18.607305Z"},"content_sha256":"01bdec0cc4f8443a529f182e858faf8d40d237901d0dd8b4bf034897b754d81a","schema_version":"1.0","event_id":"sha256:01bdec0cc4f8443a529f182e858faf8d40d237901d0dd8b4bf034897b754d81a"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2007:JOTDCLE5LNVW6UDZJ64RGYPB5L","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Structure and finiteness properties of subdirect products of groups","license":"","headline":"","cross_cats":[],"primary_cat":"math.GR","authors_text":"Charles F Miller III, Martin R Bridson","submitted_at":"2007-08-31T12:30:46Z","abstract_excerpt":"We investigate the structure of subdirect products of groups, particularly their finiteness properties. We pay special attention to the subdirect products of free groups, surface groups and HNN extensions. We prove that a finitely presented subdirect product of free and surface groups virtually contains a term of the lower central series of the direct product or else fails to intersect one of the direct summands. This leads to a characterization of the finitely presented subgroups of the direct product of 3 free or surface groups, and to a solution to the conjugacy problem for arbitrary finite"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"0708.4331","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:12Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"YxMp7NHlpfRFkgxDlacXS3soKCT7+tG8cBxa+6O1H5G0CMKmi4CzzXhunkZ984UyqtuwcNVS75f7cRHLTOYYBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-23T05:28:18.607668Z"},"content_sha256":"df800121f4fb0c7177f19c07029b1ff4ec180b8152826e81f20b264702fc730f","schema_version":"1.0","event_id":"sha256:df800121f4fb0c7177f19c07029b1ff4ec180b8152826e81f20b264702fc730f"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/JOTDCLE5LNVW6UDZJ64RGYPB5L/bundle.json","state_url":"https://pith.science/pith/JOTDCLE5LNVW6UDZJ64RGYPB5L/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/JOTDCLE5LNVW6UDZJ64RGYPB5L/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-23T05:28:18Z","links":{"resolver":"https://pith.science/pith/JOTDCLE5LNVW6UDZJ64RGYPB5L","bundle":"https://pith.science/pith/JOTDCLE5LNVW6UDZJ64RGYPB5L/bundle.json","state":"https://pith.science/pith/JOTDCLE5LNVW6UDZJ64RGYPB5L/state.json","well_known_bundle":"https://pith.science/.well-known/pith/JOTDCLE5LNVW6UDZJ64RGYPB5L/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2007:JOTDCLE5LNVW6UDZJ64RGYPB5L","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":"3936be40b5d8c7fba99e85396f604d6dbdde690c0e234065f160a64b8c18faff","cross_cats_sorted":[],"license":"","primary_cat":"math.GR","submitted_at":"2007-08-31T12:30:46Z","title_canon_sha256":"3eb20c07320a00d03686323b4d855aa25ff91eb61583e212681d15b3e748a68e"},"schema_version":"1.0","source":{"id":"0708.4331","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"0708.4331","created_at":"2026-05-18T02:58:12Z"},{"alias_kind":"arxiv_version","alias_value":"0708.4331v1","created_at":"2026-05-18T02:58:12Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.0708.4331","created_at":"2026-05-18T02:58:12Z"},{"alias_kind":"pith_short_12","alias_value":"JOTDCLE5LNVW","created_at":"2026-05-18T12:25:55Z"},{"alias_kind":"pith_short_16","alias_value":"JOTDCLE5LNVW6UDZ","created_at":"2026-05-18T12:25:55Z"},{"alias_kind":"pith_short_8","alias_value":"JOTDCLE5","created_at":"2026-05-18T12:25:55Z"}],"graph_snapshots":[{"event_id":"sha256:df800121f4fb0c7177f19c07029b1ff4ec180b8152826e81f20b264702fc730f","target":"graph","created_at":"2026-05-18T02:58:12Z","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 investigate the structure of subdirect products of groups, particularly their finiteness properties. We pay special attention to the subdirect products of free groups, surface groups and HNN extensions. We prove that a finitely presented subdirect product of free and surface groups virtually contains a term of the lower central series of the direct product or else fails to intersect one of the direct summands. This leads to a characterization of the finitely presented subgroups of the direct product of 3 free or surface groups, and to a solution to the conjugacy problem for arbitrary finite","authors_text":"Charles F Miller III, Martin R Bridson","cross_cats":[],"headline":"","license":"","primary_cat":"math.GR","submitted_at":"2007-08-31T12:30:46Z","title":"Structure and finiteness properties of subdirect products of groups"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"0708.4331","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:01bdec0cc4f8443a529f182e858faf8d40d237901d0dd8b4bf034897b754d81a","target":"record","created_at":"2026-05-18T02:58:12Z","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":"3936be40b5d8c7fba99e85396f604d6dbdde690c0e234065f160a64b8c18faff","cross_cats_sorted":[],"license":"","primary_cat":"math.GR","submitted_at":"2007-08-31T12:30:46Z","title_canon_sha256":"3eb20c07320a00d03686323b4d855aa25ff91eb61583e212681d15b3e748a68e"},"schema_version":"1.0","source":{"id":"0708.4331","kind":"arxiv","version":1}},"canonical_sha256":"4ba6312c9d5b6b6f50794fb91361e1ead1bd950eb6a157102c093004623473ac","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"4ba6312c9d5b6b6f50794fb91361e1ead1bd950eb6a157102c093004623473ac","first_computed_at":"2026-05-18T02:58:12.395790Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:58:12.395790Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"SSDBVIeUMGPZkbtUVSr4W704yKJfYH66TEyFIXhZfxGijwS0GJNkXUBN1Ig7JvfsAREBJOR1xX+wc+J/kI6UCQ==","signature_status":"signed_v1","signed_at":"2026-05-18T02:58:12.396665Z","signed_message":"canonical_sha256_bytes"},"source_id":"0708.4331","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:01bdec0cc4f8443a529f182e858faf8d40d237901d0dd8b4bf034897b754d81a","sha256:df800121f4fb0c7177f19c07029b1ff4ec180b8152826e81f20b264702fc730f"],"state_sha256":"13d97378ff8f81bf2305179b0a11219a59856a90ddb992532f1d7b45003a2db2"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"jo2a5tmK4005XZlZPaWTrNeiA18hxyhE3X7W7omj9X7AO1eMMwaP5yNoLfN895m3e+OGwz0whv3ADYO9LZGjDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-23T05:28:18.609550Z","bundle_sha256":"234fb16dd566aa6fb8d8e9a6ff561df0bfbb65585662f1f101cd5421e220abf6"}}