{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:AWTLIQVAJBJN5LM4H6RUCVS5JE","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":"7439ef1660d7e71ddd095489e45d858298abfa6223efa5072ede7cfa47ac5e6e","cross_cats_sorted":["math.AC","math.GR","math.NT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2015-04-26T13:16:53Z","title_canon_sha256":"8de43031be4d8abfedcc1a8eed71d0d4651129456488d51a308d2fe365d86ab8"},"schema_version":"1.0","source":{"id":"1504.06818","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1504.06818","created_at":"2026-05-18T01:39:54Z"},{"alias_kind":"arxiv_version","alias_value":"1504.06818v3","created_at":"2026-05-18T01:39:54Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1504.06818","created_at":"2026-05-18T01:39:54Z"},{"alias_kind":"pith_short_12","alias_value":"AWTLIQVAJBJN","created_at":"2026-05-18T12:29:10Z"},{"alias_kind":"pith_short_16","alias_value":"AWTLIQVAJBJN5LM4","created_at":"2026-05-18T12:29:10Z"},{"alias_kind":"pith_short_8","alias_value":"AWTLIQVA","created_at":"2026-05-18T12:29:10Z"}],"graph_snapshots":[{"event_id":"sha256:c6c386e7944274f90ef6ef83e1b1574806830fb4d66cd6800bd417402681ca3c","target":"graph","created_at":"2026-05-18T01:39:54Z","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":"Let $\\mathcal{S}$ be a commutative semigroup, and let $T$ be a sequence of terms from the semigroup $\\mathcal{S}$. We call $T$ an (additively) {\\sl irreducible} sequence provided that no sum of its some terms vanishes. Given any element $a$ of $\\mathcal{S}$, let ${\\rm D}_a(\\mathcal{S})$ be the largest length of the irreducible sequence such that the sum of all terms from the sequence is equal to $a$. In case that any ascending chain of principal ideals starting from the ideal $(a)$ terminates in $\\mathcal{S}$, we found the sufficient and necessary conditions of ${\\rm D}_a(\\mathcal{S})$ being f","authors_text":"Guoqing Wang","cross_cats":["math.AC","math.GR","math.NT"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2015-04-26T13:16:53Z","title":"Additively irreducible sequences in commutative semigroups"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1504.06818","kind":"arxiv","version":3},"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:036a63d1509097a04464bdf1a5b2cb06d5564c6cb9fdc3428aa1b2eeedcd4b11","target":"record","created_at":"2026-05-18T01:39:54Z","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":"7439ef1660d7e71ddd095489e45d858298abfa6223efa5072ede7cfa47ac5e6e","cross_cats_sorted":["math.AC","math.GR","math.NT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2015-04-26T13:16:53Z","title_canon_sha256":"8de43031be4d8abfedcc1a8eed71d0d4651129456488d51a308d2fe365d86ab8"},"schema_version":"1.0","source":{"id":"1504.06818","kind":"arxiv","version":3}},"canonical_sha256":"05a6b442a04852dead9c3fa341565d4904b0c4684ec2ab8269abfbd232b339ce","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"05a6b442a04852dead9c3fa341565d4904b0c4684ec2ab8269abfbd232b339ce","first_computed_at":"2026-05-18T01:39:54.806386Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:39:54.806386Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"8aa4yba0KZyTFGiHxO5LvqMgC7l/tk0YKR7WAe+FCDkMnRV7McAlJukfDqej7V3/IDpF2nV9evFE0X9n0fTbDw==","signature_status":"signed_v1","signed_at":"2026-05-18T01:39:54.806917Z","signed_message":"canonical_sha256_bytes"},"source_id":"1504.06818","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:036a63d1509097a04464bdf1a5b2cb06d5564c6cb9fdc3428aa1b2eeedcd4b11","sha256:c6c386e7944274f90ef6ef83e1b1574806830fb4d66cd6800bd417402681ca3c"],"state_sha256":"0358b9e19df744aeb59ba18e544fd1247aa16e377c01ff2923a16e9b39f9f5de"}