{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:RMQ5SF3VTZFVMERJ6VFHQJGIGE","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":"c40d17ea64e08a3e91cf975afaa1619705d5c49bcf8c70bcd314d40bbdc85547","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AC","submitted_at":"2025-06-04T11:33:50Z","title_canon_sha256":"94db4d6d580df9a90f3cfb2923bf7b22d62849619e9af495619a9f730433e885"},"schema_version":"1.0","source":{"id":"2506.03851","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.03851","created_at":"2026-07-05T11:15:52Z"},{"alias_kind":"arxiv_version","alias_value":"2506.03851v1","created_at":"2026-07-05T11:15:52Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.03851","created_at":"2026-07-05T11:15:52Z"},{"alias_kind":"pith_short_12","alias_value":"RMQ5SF3VTZFV","created_at":"2026-07-05T11:15:52Z"},{"alias_kind":"pith_short_16","alias_value":"RMQ5SF3VTZFVMERJ","created_at":"2026-07-05T11:15:52Z"},{"alias_kind":"pith_short_8","alias_value":"RMQ5SF3V","created_at":"2026-07-05T11:15:52Z"}],"graph_snapshots":[{"event_id":"sha256:c574932095d0f0d4e9d7ab7cb4a840282ca893fba812d1c400d508c63f25daac","target":"graph","created_at":"2026-07-05T11:15:52Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2506.03851/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The central objective of this article is to provide an elementary proof of the following theorem, of which we are unaware of any trace in the existing literature. If $B$ is a net finite free algebra over a commutative ring $A$, then it is tracically \\'etale (its trace form is nondegenerate) and a fortiori \\'etale over A. As indicated in the title, our proof is based on algebraic identities. This confirms the implicit adage that much of the most abstract commutative algebra is concentrated in algebraic identities concerning matrices of polynomials over an arbitrary commutative ring. --  -- -- L","authors_text":"Claude Quitt\\'e, Henri Lombardi","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AC","submitted_at":"2025-06-04T11:33:50Z","title":"Algebraic identities to prove that a neat finite free algebra is tracically \\'etale"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.03851","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:6e80a37536a4810ab153468db9dcf5de3f424d01480f8fc1037e08a4f1dea187","target":"record","created_at":"2026-07-05T11:15:52Z","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":"c40d17ea64e08a3e91cf975afaa1619705d5c49bcf8c70bcd314d40bbdc85547","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AC","submitted_at":"2025-06-04T11:33:50Z","title_canon_sha256":"94db4d6d580df9a90f3cfb2923bf7b22d62849619e9af495619a9f730433e885"},"schema_version":"1.0","source":{"id":"2506.03851","kind":"arxiv","version":1}},"canonical_sha256":"8b21d917759e4b561229f54a7824c831298bc34cf9358a7ae2cbfca64d8cd2b6","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"8b21d917759e4b561229f54a7824c831298bc34cf9358a7ae2cbfca64d8cd2b6","first_computed_at":"2026-07-05T11:15:52.821481Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:15:52.821481Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"oL9dk586qHf8zqulWm+ZoiqBBR1tA7zQQn6Sv16bBDNLMsVTrBfvWO6MAmTEmGqRGZYAR25UgEW6GIbv6UwSDQ==","signature_status":"signed_v1","signed_at":"2026-07-05T11:15:52.821916Z","signed_message":"canonical_sha256_bytes"},"source_id":"2506.03851","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:6e80a37536a4810ab153468db9dcf5de3f424d01480f8fc1037e08a4f1dea187","sha256:c574932095d0f0d4e9d7ab7cb4a840282ca893fba812d1c400d508c63f25daac"],"state_sha256":"6ff7c70922f75cf1466d1dbc4b90d52535ead89923b456a8f3873e45b3eb3d7e"}