{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2016:DSRVTMSEEJQABYEYNXQG4DPPAS","short_pith_number":"pith:DSRVTMSE","schema_version":"1.0","canonical_sha256":"1ca359b244226000e0986de06e0def0480d35be79b74344819c9747b63488ff7","source":{"kind":"arxiv","id":"1605.03934","version":8},"attestation_state":"computed","paper":{"title":"Contraadjusted modules, contramodules, and reduced cotorsion modules","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.AC"],"primary_cat":"math.CT","authors_text":"Leonid Positselski","submitted_at":"2016-05-12T19:14:13Z","abstract_excerpt":"This paper is devoted to the more elementary aspects of the contramodule story, and can be viewed as an extended introduction to the more technically complicated arXiv:1503.05523. Reduced cotorsion abelian groups form an abelian category, which is in some sense covariantly dual to the category of torsion abelian groups. An abelian group is reduced cotorsion if and only if it is isomorphic to a product of p-contramodule abelian groups over prime numbers p. Any p-contraadjusted abelian group is p-adically complete, and any p-adically separated and complete group is a p-contramodule, but the conv"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1605.03934","kind":"arxiv","version":8},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2016-05-12T19:14:13Z","cross_cats_sorted":["math.AC"],"title_canon_sha256":"2934015102b3ceb9549200593a1f188d397815398e30709a9e19368a1084bd4d","abstract_canon_sha256":"617a2d6709ecd9dfab23092791e742081789a88cde6689e170b9df430cee692d"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T00:29:17.639033Z","signature_b64":"+NEFuYS2PIbjmRomDIgds12pDG7f0S7neVuqll5eubpDJNYt75k7roMFeFMcidCDN4co71V9Owzi1MIuIH2hCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"1ca359b244226000e0986de06e0def0480d35be79b74344819c9747b63488ff7","last_reissued_at":"2026-07-05T00:29:17.638520Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T00:29:17.638520Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Contraadjusted modules, contramodules, and reduced cotorsion modules","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.AC"],"primary_cat":"math.CT","authors_text":"Leonid Positselski","submitted_at":"2016-05-12T19:14:13Z","abstract_excerpt":"This paper is devoted to the more elementary aspects of the contramodule story, and can be viewed as an extended introduction to the more technically complicated arXiv:1503.05523. Reduced cotorsion abelian groups form an abelian category, which is in some sense covariantly dual to the category of torsion abelian groups. An abelian group is reduced cotorsion if and only if it is isomorphic to a product of p-contramodule abelian groups over prime numbers p. Any p-contraadjusted abelian group is p-adically complete, and any p-adically separated and complete group is a p-contramodule, but the conv"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1605.03934","kind":"arxiv","version":8},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/1605.03934/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1605.03934","created_at":"2026-07-05T00:29:17.638582+00:00"},{"alias_kind":"arxiv_version","alias_value":"1605.03934v8","created_at":"2026-07-05T00:29:17.638582+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1605.03934","created_at":"2026-07-05T00:29:17.638582+00:00"},{"alias_kind":"pith_short_12","alias_value":"DSRVTMSEEJQA","created_at":"2026-07-05T00:29:17.638582+00:00"},{"alias_kind":"pith_short_16","alias_value":"DSRVTMSEEJQABYEY","created_at":"2026-07-05T00:29:17.638582+00:00"},{"alias_kind":"pith_short_8","alias_value":"DSRVTMSE","created_at":"2026-07-05T00:29:17.638582+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":4,"internal_anchor_count":0,"sample":[{"citing_arxiv_id":"2505.07739","citing_title":"Torsion modules and differential operators in infinitely many variables","ref_index":13,"is_internal_anchor":false},{"citing_arxiv_id":"2507.15425","citing_title":"A relative version of Bass' theorem about finite-dimensional algebras","ref_index":11,"is_internal_anchor":false},{"citing_arxiv_id":"2603.15048","citing_title":"Homomorphisms of topological rings and change-of-scalar functors","ref_index":20,"is_internal_anchor":false},{"citing_arxiv_id":"2603.27732","citing_title":"Contraherent cosheaves of contramodules on Noetherian formal schemes","ref_index":21,"is_internal_anchor":false}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/DSRVTMSEEJQABYEYNXQG4DPPAS","json":"https://pith.science/pith/DSRVTMSEEJQABYEYNXQG4DPPAS.json","graph_json":"https://pith.science/api/pith-number/DSRVTMSEEJQABYEYNXQG4DPPAS/graph.json","events_json":"https://pith.science/api/pith-number/DSRVTMSEEJQABYEYNXQG4DPPAS/events.json","paper":"https://pith.science/paper/DSRVTMSE"},"agent_actions":{"view_html":"https://pith.science/pith/DSRVTMSEEJQABYEYNXQG4DPPAS","download_json":"https://pith.science/pith/DSRVTMSEEJQABYEYNXQG4DPPAS.json","view_paper":"https://pith.science/paper/DSRVTMSE","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1605.03934&json=true","fetch_graph":"https://pith.science/api/pith-number/DSRVTMSEEJQABYEYNXQG4DPPAS/graph.json","fetch_events":"https://pith.science/api/pith-number/DSRVTMSEEJQABYEYNXQG4DPPAS/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/DSRVTMSEEJQABYEYNXQG4DPPAS/action/timestamp_anchor","attest_storage":"https://pith.science/pith/DSRVTMSEEJQABYEYNXQG4DPPAS/action/storage_attestation","attest_author":"https://pith.science/pith/DSRVTMSEEJQABYEYNXQG4DPPAS/action/author_attestation","sign_citation":"https://pith.science/pith/DSRVTMSEEJQABYEYNXQG4DPPAS/action/citation_signature","submit_replication":"https://pith.science/pith/DSRVTMSEEJQABYEYNXQG4DPPAS/action/replication_record"}},"created_at":"2026-07-05T00:29:17.638582+00:00","updated_at":"2026-07-05T00:29:17.638582+00:00"}