{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:SFKKGINIJHTTOKZHTK7TUKTJJQ","short_pith_number":"pith:SFKKGINI","canonical_record":{"source":{"id":"1802.09325","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.RA","submitted_at":"2018-02-26T14:37:47Z","cross_cats_sorted":["math.GR"],"title_canon_sha256":"77c5e5c6b3c0406101bb37f8e3fcb1ce1ed18971564ec4773adfd9e3acfbef3f","abstract_canon_sha256":"3eedd4d86c2c33cb1a0d8da39e6fdc71c5b9b5b67d3b4b9005bae51a9b5f51cb"},"schema_version":"1.0"},"canonical_sha256":"9154a321a849e7372b279abf3a2a694c3317d0497b264377ea3cc5582410a9e3","source":{"kind":"arxiv","id":"1802.09325","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1802.09325","created_at":"2026-05-17T23:48:02Z"},{"alias_kind":"arxiv_version","alias_value":"1802.09325v2","created_at":"2026-05-17T23:48:02Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1802.09325","created_at":"2026-05-17T23:48:02Z"},{"alias_kind":"pith_short_12","alias_value":"SFKKGINIJHTT","created_at":"2026-05-18T12:32:53Z"},{"alias_kind":"pith_short_16","alias_value":"SFKKGINIJHTTOKZH","created_at":"2026-05-18T12:32:53Z"},{"alias_kind":"pith_short_8","alias_value":"SFKKGINI","created_at":"2026-05-18T12:32:53Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:SFKKGINIJHTTOKZHTK7TUKTJJQ","target":"record","payload":{"canonical_record":{"source":{"id":"1802.09325","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.RA","submitted_at":"2018-02-26T14:37:47Z","cross_cats_sorted":["math.GR"],"title_canon_sha256":"77c5e5c6b3c0406101bb37f8e3fcb1ce1ed18971564ec4773adfd9e3acfbef3f","abstract_canon_sha256":"3eedd4d86c2c33cb1a0d8da39e6fdc71c5b9b5b67d3b4b9005bae51a9b5f51cb"},"schema_version":"1.0"},"canonical_sha256":"9154a321a849e7372b279abf3a2a694c3317d0497b264377ea3cc5582410a9e3","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:48:02.027452Z","signature_b64":"HypGW0/dFa+4SNZGXo2mGoerKr0fqippQIsPlmezca3gWqEzl+vW+Izz0Z+XIl4bU4Sj7DUEQ+xLEm0m0jqeBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"9154a321a849e7372b279abf3a2a694c3317d0497b264377ea3cc5582410a9e3","last_reissued_at":"2026-05-17T23:48:02.026901Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:48:02.026901Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1802.09325","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-17T23:48:02Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"EW0oRY51/C95B/TuzfHoMkZs26IhqcyO0SuuQZuCFYBJZk6nDzq5F1daG4L5utqtQjIKZHry/FAxCEaL+q8eBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T08:29:07.157866Z"},"content_sha256":"2844c06356b1811e14cd9d2b3bb08dc526e4280ef02b1049d4593c5c16ef6379","schema_version":"1.0","event_id":"sha256:2844c06356b1811e14cd9d2b3bb08dc526e4280ef02b1049d4593c5c16ef6379"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:SFKKGINIJHTTOKZHTK7TUKTJJQ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Generating subdirect products","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.GR"],"primary_cat":"math.RA","authors_text":"Nik Ruskuc, Peter Mayr","submitted_at":"2018-02-26T14:37:47Z","abstract_excerpt":"We study conditions under which subdirect products of various types of algebraic structures are finitely generated or finitely presented. In the case of two factors, we prove general results for arbitrary congruence permutable varieties, which generalise previously known results for groups, and which apply to modules, rings, $K$-algebras and loops. For instance, if $C$ is a fiber product of $A$ and $B$ over a common quotient $D$, and if $A$, $B$ and $D$ are finitely presented, then $C$ is finitely generated. For subdirect products of more than two factors we establish a general connection with"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1802.09325","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-17T23:48:02Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"eeS4Rs3cMRVJMEGayZphoKBH3CrhROnXHsoI921hL+Zp5tXu7EnrzluteSRGvzKqGkLKKDVlFxmHdB58ay6pBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T08:29:07.158608Z"},"content_sha256":"7ac1313123dc0b49b2f13ad7c0c1b9628b79664049206292e544434473e1ad24","schema_version":"1.0","event_id":"sha256:7ac1313123dc0b49b2f13ad7c0c1b9628b79664049206292e544434473e1ad24"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/SFKKGINIJHTTOKZHTK7TUKTJJQ/bundle.json","state_url":"https://pith.science/pith/SFKKGINIJHTTOKZHTK7TUKTJJQ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/SFKKGINIJHTTOKZHTK7TUKTJJQ/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-05-26T08:29:07Z","links":{"resolver":"https://pith.science/pith/SFKKGINIJHTTOKZHTK7TUKTJJQ","bundle":"https://pith.science/pith/SFKKGINIJHTTOKZHTK7TUKTJJQ/bundle.json","state":"https://pith.science/pith/SFKKGINIJHTTOKZHTK7TUKTJJQ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/SFKKGINIJHTTOKZHTK7TUKTJJQ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:SFKKGINIJHTTOKZHTK7TUKTJJQ","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":"3eedd4d86c2c33cb1a0d8da39e6fdc71c5b9b5b67d3b4b9005bae51a9b5f51cb","cross_cats_sorted":["math.GR"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.RA","submitted_at":"2018-02-26T14:37:47Z","title_canon_sha256":"77c5e5c6b3c0406101bb37f8e3fcb1ce1ed18971564ec4773adfd9e3acfbef3f"},"schema_version":"1.0","source":{"id":"1802.09325","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1802.09325","created_at":"2026-05-17T23:48:02Z"},{"alias_kind":"arxiv_version","alias_value":"1802.09325v2","created_at":"2026-05-17T23:48:02Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1802.09325","created_at":"2026-05-17T23:48:02Z"},{"alias_kind":"pith_short_12","alias_value":"SFKKGINIJHTT","created_at":"2026-05-18T12:32:53Z"},{"alias_kind":"pith_short_16","alias_value":"SFKKGINIJHTTOKZH","created_at":"2026-05-18T12:32:53Z"},{"alias_kind":"pith_short_8","alias_value":"SFKKGINI","created_at":"2026-05-18T12:32:53Z"}],"graph_snapshots":[{"event_id":"sha256:7ac1313123dc0b49b2f13ad7c0c1b9628b79664049206292e544434473e1ad24","target":"graph","created_at":"2026-05-17T23:48: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 study conditions under which subdirect products of various types of algebraic structures are finitely generated or finitely presented. In the case of two factors, we prove general results for arbitrary congruence permutable varieties, which generalise previously known results for groups, and which apply to modules, rings, $K$-algebras and loops. For instance, if $C$ is a fiber product of $A$ and $B$ over a common quotient $D$, and if $A$, $B$ and $D$ are finitely presented, then $C$ is finitely generated. For subdirect products of more than two factors we establish a general connection with","authors_text":"Nik Ruskuc, Peter Mayr","cross_cats":["math.GR"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.RA","submitted_at":"2018-02-26T14:37:47Z","title":"Generating subdirect products"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1802.09325","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:2844c06356b1811e14cd9d2b3bb08dc526e4280ef02b1049d4593c5c16ef6379","target":"record","created_at":"2026-05-17T23:48: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":"3eedd4d86c2c33cb1a0d8da39e6fdc71c5b9b5b67d3b4b9005bae51a9b5f51cb","cross_cats_sorted":["math.GR"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.RA","submitted_at":"2018-02-26T14:37:47Z","title_canon_sha256":"77c5e5c6b3c0406101bb37f8e3fcb1ce1ed18971564ec4773adfd9e3acfbef3f"},"schema_version":"1.0","source":{"id":"1802.09325","kind":"arxiv","version":2}},"canonical_sha256":"9154a321a849e7372b279abf3a2a694c3317d0497b264377ea3cc5582410a9e3","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9154a321a849e7372b279abf3a2a694c3317d0497b264377ea3cc5582410a9e3","first_computed_at":"2026-05-17T23:48:02.026901Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:48:02.026901Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"HypGW0/dFa+4SNZGXo2mGoerKr0fqippQIsPlmezca3gWqEzl+vW+Izz0Z+XIl4bU4Sj7DUEQ+xLEm0m0jqeBg==","signature_status":"signed_v1","signed_at":"2026-05-17T23:48:02.027452Z","signed_message":"canonical_sha256_bytes"},"source_id":"1802.09325","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:2844c06356b1811e14cd9d2b3bb08dc526e4280ef02b1049d4593c5c16ef6379","sha256:7ac1313123dc0b49b2f13ad7c0c1b9628b79664049206292e544434473e1ad24"],"state_sha256":"425d9815e682054528149caa960f97c022f9f48de3ebdfa7ac38af84c8d8fc58"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Z2zI8QFax+twnVUMNNAomPDbV081mUFmRtFta0wGSoQ5P9nmzyv9ZqTaNzwyWVRx2kygKSq+J0rGXw14HDhQCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-26T08:29:07.162277Z","bundle_sha256":"a8085a13f4ab83a41c118603f841831a17f56191dfc51bafbd9a27c4d69e31ff"}}