{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:4TIM5YGM3DOQNXQZ2OWBH2QYRQ","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":"6044f7cd4e41b2ead773676d691961e823cc29f4729e1fe3297a40e41440c4fc","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.RA","submitted_at":"2019-01-17T19:47:23Z","title_canon_sha256":"58d4681fed8bab9d8387c80e82c02682691ded7b648df0cd126eed251c080dbe"},"schema_version":"1.0","source":{"id":"1901.05991","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1901.05991","created_at":"2026-05-17T23:56:04Z"},{"alias_kind":"arxiv_version","alias_value":"1901.05991v1","created_at":"2026-05-17T23:56:04Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1901.05991","created_at":"2026-05-17T23:56:04Z"},{"alias_kind":"pith_short_12","alias_value":"4TIM5YGM3DOQ","created_at":"2026-05-18T12:33:10Z"},{"alias_kind":"pith_short_16","alias_value":"4TIM5YGM3DOQNXQZ","created_at":"2026-05-18T12:33:10Z"},{"alias_kind":"pith_short_8","alias_value":"4TIM5YGM","created_at":"2026-05-18T12:33:10Z"}],"graph_snapshots":[{"event_id":"sha256:7faf3a58f685d6fc827685fda9464674ca02ff13058c2ecda825c42ddacef4dd","target":"graph","created_at":"2026-05-17T23:56:04Z","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":"As pointed out in the monographs by J. S. Golan and by W. Kuich and A. Salomaa on semirings, ideals play an important role despite the fact that they need not be congruence kernels as in the case of rings. Hence, having two commutative semirings S1 and S2, one can ask whether an ideal I of their direct product S = S1 x S2 can be expressed in the form I1 x I2 where Ij is an ideal of Sj for j=1,2. Of course, the converse is elementary, namely if Ij is an ideal of Sj for j=1,2 then I1 x I2 is an ideal of S1 x S2. Having a congruence on a commutative semiring S, its 0-class is an ideal of S, but n","authors_text":"G\\\"unther Eigenthaler, Helmut L\\\"anger, Ivan Chajda","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.RA","submitted_at":"2019-01-17T19:47:23Z","title":"Directly decomposable ideals and congruence kernels of commutative semirings"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1901.05991","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:d9efd4d89ebaf1c6344535e52297da760067c0f44ce417e385349ba1c08340ff","target":"record","created_at":"2026-05-17T23:56:04Z","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":"6044f7cd4e41b2ead773676d691961e823cc29f4729e1fe3297a40e41440c4fc","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.RA","submitted_at":"2019-01-17T19:47:23Z","title_canon_sha256":"58d4681fed8bab9d8387c80e82c02682691ded7b648df0cd126eed251c080dbe"},"schema_version":"1.0","source":{"id":"1901.05991","kind":"arxiv","version":1}},"canonical_sha256":"e4d0cee0ccd8dd06de19d3ac13ea188c36006c4633eff49caa52cc8fa75df4e8","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e4d0cee0ccd8dd06de19d3ac13ea188c36006c4633eff49caa52cc8fa75df4e8","first_computed_at":"2026-05-17T23:56:04.861033Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:56:04.861033Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"6JDA6+fzW/NIljbTeKkOlTIbX8ANN7ixllHGaLlGBCLR7VOI+QKOJ4tRRAj7fHK1AnU+xm1wlNtVH6jfnSYVDA==","signature_status":"signed_v1","signed_at":"2026-05-17T23:56:04.861663Z","signed_message":"canonical_sha256_bytes"},"source_id":"1901.05991","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d9efd4d89ebaf1c6344535e52297da760067c0f44ce417e385349ba1c08340ff","sha256:7faf3a58f685d6fc827685fda9464674ca02ff13058c2ecda825c42ddacef4dd"],"state_sha256":"661024118d562631576cbac3f3b157a31340c2d1bcd02997614081a3cdd0a6ad"}