{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2017:O25JSOBMV4NWIN25ZRZGFJQT2Y","short_pith_number":"pith:O25JSOBM","schema_version":"1.0","canonical_sha256":"76ba99382caf1b64375dcc7262a613d6173717cccb99ffcfc73dc2c5f8db6590","source":{"kind":"arxiv","id":"1710.03083","version":3},"attestation_state":"computed","paper":{"title":"The equation solvability problem over nilpotent Mal'cev algebras","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.RA","authors_text":"Michael Kompatscher","submitted_at":"2017-10-09T13:40:45Z","abstract_excerpt":"By a result of Horv\\'ath the equation solvability problem over finite nilpotent groups and rings is in P. We generalize his result, showing that the equation solvability over every finite supernilpotent Mal'cev algebra is in P. We also give an example of a nilpotent, but not supernilpotent Mal'cev algebra, whose identity checking problem is coNP-complete."},"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":"1710.03083","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.RA","submitted_at":"2017-10-09T13:40:45Z","cross_cats_sorted":[],"title_canon_sha256":"2c181cd02e69daf437065e0b9e8f7cf95cd1787a479516a817d80882c5c65c9e","abstract_canon_sha256":"883466d28e3f53eeec4244915bf53f2068b27b234b7321819f488541af6c29b3"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:16:08.624605Z","signature_b64":"TK182eWZ1TKyA/fnHjk8Wj3nqYSjzsbxQBspkyTJ5g0GRGujY28g6t2XjlTcPRH4s8IvgN9QyQHhP1ZPJkeCBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"76ba99382caf1b64375dcc7262a613d6173717cccb99ffcfc73dc2c5f8db6590","last_reissued_at":"2026-05-18T00:16:08.623935Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:16:08.623935Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"The equation solvability problem over nilpotent Mal'cev algebras","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.RA","authors_text":"Michael Kompatscher","submitted_at":"2017-10-09T13:40:45Z","abstract_excerpt":"By a result of Horv\\'ath the equation solvability problem over finite nilpotent groups and rings is in P. We generalize his result, showing that the equation solvability over every finite supernilpotent Mal'cev algebra is in P. We also give an example of a nilpotent, but not supernilpotent Mal'cev algebra, whose identity checking problem is coNP-complete."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1710.03083","kind":"arxiv","version":3},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1710.03083","created_at":"2026-05-18T00:16:08.624034+00:00"},{"alias_kind":"arxiv_version","alias_value":"1710.03083v3","created_at":"2026-05-18T00:16:08.624034+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1710.03083","created_at":"2026-05-18T00:16:08.624034+00:00"},{"alias_kind":"pith_short_12","alias_value":"O25JSOBMV4NW","created_at":"2026-05-18T12:31:34.259226+00:00"},{"alias_kind":"pith_short_16","alias_value":"O25JSOBMV4NWIN25","created_at":"2026-05-18T12:31:34.259226+00:00"},{"alias_kind":"pith_short_8","alias_value":"O25JSOBM","created_at":"2026-05-18T12:31:34.259226+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/O25JSOBMV4NWIN25ZRZGFJQT2Y","json":"https://pith.science/pith/O25JSOBMV4NWIN25ZRZGFJQT2Y.json","graph_json":"https://pith.science/api/pith-number/O25JSOBMV4NWIN25ZRZGFJQT2Y/graph.json","events_json":"https://pith.science/api/pith-number/O25JSOBMV4NWIN25ZRZGFJQT2Y/events.json","paper":"https://pith.science/paper/O25JSOBM"},"agent_actions":{"view_html":"https://pith.science/pith/O25JSOBMV4NWIN25ZRZGFJQT2Y","download_json":"https://pith.science/pith/O25JSOBMV4NWIN25ZRZGFJQT2Y.json","view_paper":"https://pith.science/paper/O25JSOBM","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1710.03083&json=true","fetch_graph":"https://pith.science/api/pith-number/O25JSOBMV4NWIN25ZRZGFJQT2Y/graph.json","fetch_events":"https://pith.science/api/pith-number/O25JSOBMV4NWIN25ZRZGFJQT2Y/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/O25JSOBMV4NWIN25ZRZGFJQT2Y/action/timestamp_anchor","attest_storage":"https://pith.science/pith/O25JSOBMV4NWIN25ZRZGFJQT2Y/action/storage_attestation","attest_author":"https://pith.science/pith/O25JSOBMV4NWIN25ZRZGFJQT2Y/action/author_attestation","sign_citation":"https://pith.science/pith/O25JSOBMV4NWIN25ZRZGFJQT2Y/action/citation_signature","submit_replication":"https://pith.science/pith/O25JSOBMV4NWIN25ZRZGFJQT2Y/action/replication_record"}},"created_at":"2026-05-18T00:16:08.624034+00:00","updated_at":"2026-05-18T00:16:08.624034+00:00"}