{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:S6WTBFXDU433JJRVSAEMT6VT56","short_pith_number":"pith:S6WTBFXD","canonical_record":{"source":{"id":"1501.01227","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2015-01-06T16:38:07Z","cross_cats_sorted":[],"title_canon_sha256":"38024d21f1078a27d9729c8ad36656cae797ca93c1da3350ee3f2cb45cab3b4d","abstract_canon_sha256":"372c890d5b31a6080d68e5d501d47462f3e3fb96f62948c34a0d23f37fe4a7bc"},"schema_version":"1.0"},"canonical_sha256":"97ad3096e3a737b4a6359008c9fab3efa6f63a8c2a21371f57988abe31e018d8","source":{"kind":"arxiv","id":"1501.01227","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1501.01227","created_at":"2026-05-18T00:44:28Z"},{"alias_kind":"arxiv_version","alias_value":"1501.01227v1","created_at":"2026-05-18T00:44:28Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1501.01227","created_at":"2026-05-18T00:44:28Z"},{"alias_kind":"pith_short_12","alias_value":"S6WTBFXDU433","created_at":"2026-05-18T12:29:39Z"},{"alias_kind":"pith_short_16","alias_value":"S6WTBFXDU433JJRV","created_at":"2026-05-18T12:29:39Z"},{"alias_kind":"pith_short_8","alias_value":"S6WTBFXD","created_at":"2026-05-18T12:29:39Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:S6WTBFXDU433JJRVSAEMT6VT56","target":"record","payload":{"canonical_record":{"source":{"id":"1501.01227","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2015-01-06T16:38:07Z","cross_cats_sorted":[],"title_canon_sha256":"38024d21f1078a27d9729c8ad36656cae797ca93c1da3350ee3f2cb45cab3b4d","abstract_canon_sha256":"372c890d5b31a6080d68e5d501d47462f3e3fb96f62948c34a0d23f37fe4a7bc"},"schema_version":"1.0"},"canonical_sha256":"97ad3096e3a737b4a6359008c9fab3efa6f63a8c2a21371f57988abe31e018d8","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:44:28.557097Z","signature_b64":"l24R2bwkL77tvn/3LADmuCP7E82f3KcMCl0sgi5Xr6KKIhvyndtgQnqQtIWuKqfz9l3LreIUrt6/Bu6t8StrAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"97ad3096e3a737b4a6359008c9fab3efa6f63a8c2a21371f57988abe31e018d8","last_reissued_at":"2026-05-18T00:44:28.556708Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:44:28.556708Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1501.01227","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-18T00:44:28Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"CD6+hfaXq+rkwUqh13OblceCNo3bBZOjqu6pSQQWMAOWfyU2vO0EjRYxhYzzSuVBAN+r003BaTHGVi5UU0GLCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-09T03:01:04.841476Z"},"content_sha256":"ddadda695b46f1d1fed8fbe991ee0c70ff92bcfa7d28052c0a30f66eddf08a3d","schema_version":"1.0","event_id":"sha256:ddadda695b46f1d1fed8fbe991ee0c70ff92bcfa7d28052c0a30f66eddf08a3d"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:S6WTBFXDU433JJRVSAEMT6VT56","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Free subgroups of finitely generated free profinite groups","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.GR","authors_text":"Mark Shusterman","submitted_at":"2015-01-06T16:38:07Z","abstract_excerpt":"We give new and improved results on the freeness of subgroups of free profinite groups: A subgroup containing the normal closure of a finite word in the elements of a basis is free; Every infinite index subgroup of a finitely generated nonabelian free profinite group is contained in an infinitely generated free profinite subgroup. These results are combined with the twisted wreath product approach of Haran, an observation on the action of compact groups, and a rank counting argument to prove a conjecture of Bary-Soroker, Fehm, and Wiese, thus providing a quite general sufficient condition for "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1501.01227","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-18T00:44:28Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"BxjF9P03kU3xqqDffXAPCZYz0IOybBdtCq8u4M2z61yQnB3WLeXcYG+Ag0PYDPJpB7gXBPsTDTNXVlDncYM7Dw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-09T03:01:04.842195Z"},"content_sha256":"a27763da0150658671cce822bbd1c68246173f3b6cdf5506e254d4436b0dec22","schema_version":"1.0","event_id":"sha256:a27763da0150658671cce822bbd1c68246173f3b6cdf5506e254d4436b0dec22"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/S6WTBFXDU433JJRVSAEMT6VT56/bundle.json","state_url":"https://pith.science/pith/S6WTBFXDU433JJRVSAEMT6VT56/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/S6WTBFXDU433JJRVSAEMT6VT56/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-09T03:01:04Z","links":{"resolver":"https://pith.science/pith/S6WTBFXDU433JJRVSAEMT6VT56","bundle":"https://pith.science/pith/S6WTBFXDU433JJRVSAEMT6VT56/bundle.json","state":"https://pith.science/pith/S6WTBFXDU433JJRVSAEMT6VT56/state.json","well_known_bundle":"https://pith.science/.well-known/pith/S6WTBFXDU433JJRVSAEMT6VT56/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:S6WTBFXDU433JJRVSAEMT6VT56","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":"372c890d5b31a6080d68e5d501d47462f3e3fb96f62948c34a0d23f37fe4a7bc","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2015-01-06T16:38:07Z","title_canon_sha256":"38024d21f1078a27d9729c8ad36656cae797ca93c1da3350ee3f2cb45cab3b4d"},"schema_version":"1.0","source":{"id":"1501.01227","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1501.01227","created_at":"2026-05-18T00:44:28Z"},{"alias_kind":"arxiv_version","alias_value":"1501.01227v1","created_at":"2026-05-18T00:44:28Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1501.01227","created_at":"2026-05-18T00:44:28Z"},{"alias_kind":"pith_short_12","alias_value":"S6WTBFXDU433","created_at":"2026-05-18T12:29:39Z"},{"alias_kind":"pith_short_16","alias_value":"S6WTBFXDU433JJRV","created_at":"2026-05-18T12:29:39Z"},{"alias_kind":"pith_short_8","alias_value":"S6WTBFXD","created_at":"2026-05-18T12:29:39Z"}],"graph_snapshots":[{"event_id":"sha256:a27763da0150658671cce822bbd1c68246173f3b6cdf5506e254d4436b0dec22","target":"graph","created_at":"2026-05-18T00:44:28Z","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 give new and improved results on the freeness of subgroups of free profinite groups: A subgroup containing the normal closure of a finite word in the elements of a basis is free; Every infinite index subgroup of a finitely generated nonabelian free profinite group is contained in an infinitely generated free profinite subgroup. These results are combined with the twisted wreath product approach of Haran, an observation on the action of compact groups, and a rank counting argument to prove a conjecture of Bary-Soroker, Fehm, and Wiese, thus providing a quite general sufficient condition for ","authors_text":"Mark Shusterman","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2015-01-06T16:38:07Z","title":"Free subgroups of finitely generated free profinite groups"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1501.01227","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:ddadda695b46f1d1fed8fbe991ee0c70ff92bcfa7d28052c0a30f66eddf08a3d","target":"record","created_at":"2026-05-18T00:44:28Z","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":"372c890d5b31a6080d68e5d501d47462f3e3fb96f62948c34a0d23f37fe4a7bc","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2015-01-06T16:38:07Z","title_canon_sha256":"38024d21f1078a27d9729c8ad36656cae797ca93c1da3350ee3f2cb45cab3b4d"},"schema_version":"1.0","source":{"id":"1501.01227","kind":"arxiv","version":1}},"canonical_sha256":"97ad3096e3a737b4a6359008c9fab3efa6f63a8c2a21371f57988abe31e018d8","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"97ad3096e3a737b4a6359008c9fab3efa6f63a8c2a21371f57988abe31e018d8","first_computed_at":"2026-05-18T00:44:28.556708Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:44:28.556708Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"l24R2bwkL77tvn/3LADmuCP7E82f3KcMCl0sgi5Xr6KKIhvyndtgQnqQtIWuKqfz9l3LreIUrt6/Bu6t8StrAQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:44:28.557097Z","signed_message":"canonical_sha256_bytes"},"source_id":"1501.01227","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ddadda695b46f1d1fed8fbe991ee0c70ff92bcfa7d28052c0a30f66eddf08a3d","sha256:a27763da0150658671cce822bbd1c68246173f3b6cdf5506e254d4436b0dec22"],"state_sha256":"be4ea475682532cd96af050cb6686026aa91efab690262740b2b90530fc38369"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ewgZ9FR4YLNIftULAif8Al0f2iXrvtM8TWpKl9OJcBL3x6N+cgCHZNkGtm2830gOt2izABaw9rzw9dRR9GNrDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-09T03:01:04.846388Z","bundle_sha256":"9c843ff646bc3cbee0b6ab8bc39ab417940a84be81a6bf710010c987bcc51f43"}}