{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:5KMGRTUHB47CBFF7PWYRAOENJF","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":"b621103168157ae5780c152f7c55905a743428fcd6800aa53b2aa1b8e8effbc7","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.RA","submitted_at":"2014-06-11T22:08:44Z","title_canon_sha256":"5db5c99eb9a6d625d415c0931a88872d8d4eea918784a71776d513152e944cac"},"schema_version":"1.0","source":{"id":"1406.3078","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1406.3078","created_at":"2026-05-18T02:49:53Z"},{"alias_kind":"arxiv_version","alias_value":"1406.3078v1","created_at":"2026-05-18T02:49:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1406.3078","created_at":"2026-05-18T02:49:53Z"},{"alias_kind":"pith_short_12","alias_value":"5KMGRTUHB47C","created_at":"2026-05-18T12:28:14Z"},{"alias_kind":"pith_short_16","alias_value":"5KMGRTUHB47CBFF7","created_at":"2026-05-18T12:28:14Z"},{"alias_kind":"pith_short_8","alias_value":"5KMGRTUH","created_at":"2026-05-18T12:28:14Z"}],"graph_snapshots":[{"event_id":"sha256:2194c06e704c6b846677fa46b5d9cdc37a7433b721c1ec2bc9507703a2659e16","target":"graph","created_at":"2026-05-18T02:49:53Z","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":"For any Lie algebra L over a field, its universal enveloping algebra U(L) can be embedded in a division ring D(L) constructed by Lichtman. If U(L) is an Ore domain, D(L) coincides with its ring of fractions. It is well known that the principal involution of L, $x\\mapsto -x$, can be extended to an involution of U(L), and Cimpric has proved that this involution can be extended to one on D(L). For a large class of noncommutative Lie algebras L over a field of characteristic zero, we show that D(L) contains noncommutative free algebras generated by symmetric elements with respect to (the extension","authors_text":"Jairo Z. Gon\\c{c}alves, Javier S\\'anchez, Vitor O. Ferreira","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.RA","submitted_at":"2014-06-11T22:08:44Z","title":"Free symmetric algebras in division rings generated by enveloping algebras of Lie algebras"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1406.3078","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:9c8636dbe325c086ed454f1e7e550cc4baf3f6f492fdacf8e8480c4e9d3fb220","target":"record","created_at":"2026-05-18T02:49:53Z","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":"b621103168157ae5780c152f7c55905a743428fcd6800aa53b2aa1b8e8effbc7","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.RA","submitted_at":"2014-06-11T22:08:44Z","title_canon_sha256":"5db5c99eb9a6d625d415c0931a88872d8d4eea918784a71776d513152e944cac"},"schema_version":"1.0","source":{"id":"1406.3078","kind":"arxiv","version":1}},"canonical_sha256":"ea9868ce870f3e2094bf7db110388d4978698d6b38f90795b0b99d2417c8e5a2","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ea9868ce870f3e2094bf7db110388d4978698d6b38f90795b0b99d2417c8e5a2","first_computed_at":"2026-05-18T02:49:53.116670Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:49:53.116670Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"B814IMEhR8ZseDuDEReUoENb+hYCW1/vk74NZX9zNq51DHV87XC3o//FA3CZqe+NpYMAF0GukWUEtfGEzH6TBg==","signature_status":"signed_v1","signed_at":"2026-05-18T02:49:53.117267Z","signed_message":"canonical_sha256_bytes"},"source_id":"1406.3078","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:9c8636dbe325c086ed454f1e7e550cc4baf3f6f492fdacf8e8480c4e9d3fb220","sha256:2194c06e704c6b846677fa46b5d9cdc37a7433b721c1ec2bc9507703a2659e16"],"state_sha256":"697cb150f4baf9bb1783c39405916b97386423b20280dc118c2dcd887e969daa"}