{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:5KMGRTUHB47CBFF7PWYRAOENJF","short_pith_number":"pith:5KMGRTUH","canonical_record":{"source":{"id":"1406.3078","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.RA","submitted_at":"2014-06-11T22:08:44Z","cross_cats_sorted":[],"title_canon_sha256":"5db5c99eb9a6d625d415c0931a88872d8d4eea918784a71776d513152e944cac","abstract_canon_sha256":"b621103168157ae5780c152f7c55905a743428fcd6800aa53b2aa1b8e8effbc7"},"schema_version":"1.0"},"canonical_sha256":"ea9868ce870f3e2094bf7db110388d4978698d6b38f90795b0b99d2417c8e5a2","source":{"kind":"arxiv","id":"1406.3078","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"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:5KMGRTUHB47CBFF7PWYRAOENJF","target":"record","payload":{"canonical_record":{"source":{"id":"1406.3078","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.RA","submitted_at":"2014-06-11T22:08:44Z","cross_cats_sorted":[],"title_canon_sha256":"5db5c99eb9a6d625d415c0931a88872d8d4eea918784a71776d513152e944cac","abstract_canon_sha256":"b621103168157ae5780c152f7c55905a743428fcd6800aa53b2aa1b8e8effbc7"},"schema_version":"1.0"},"canonical_sha256":"ea9868ce870f3e2094bf7db110388d4978698d6b38f90795b0b99d2417c8e5a2","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:49:53.117267Z","signature_b64":"B814IMEhR8ZseDuDEReUoENb+hYCW1/vk74NZX9zNq51DHV87XC3o//FA3CZqe+NpYMAF0GukWUEtfGEzH6TBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ea9868ce870f3e2094bf7db110388d4978698d6b38f90795b0b99d2417c8e5a2","last_reissued_at":"2026-05-18T02:49:53.116670Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:49:53.116670Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1406.3078","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T02:49:53Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"lef7Ic9RYLwO95Hwok6OirBlgF1f9wpVTXrRxn7oKdYmflB2VzMtqrPIGTy+jmZlv4FdHC1UT0W6IyHwCRwQDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T20:10:35.004087Z"},"content_sha256":"9c8636dbe325c086ed454f1e7e550cc4baf3f6f492fdacf8e8480c4e9d3fb220","schema_version":"1.0","event_id":"sha256:9c8636dbe325c086ed454f1e7e550cc4baf3f6f492fdacf8e8480c4e9d3fb220"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:5KMGRTUHB47CBFF7PWYRAOENJF","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Free symmetric algebras in division rings generated by enveloping algebras of Lie algebras","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.RA","authors_text":"Jairo Z. Gon\\c{c}alves, Javier S\\'anchez, Vitor O. Ferreira","submitted_at":"2014-06-11T22:08:44Z","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"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1406.3078","kind":"arxiv","version":1},"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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T02:49:53Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"n1vYkdbgKpNrB3LcS7zJiYUWdxcPPpcQkeljFk7F4A0B7cDBkht1RAfg+uYEuJiEb+r3DFDBqRXG8VMH4SS3DQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T20:10:35.004474Z"},"content_sha256":"2194c06e704c6b846677fa46b5d9cdc37a7433b721c1ec2bc9507703a2659e16","schema_version":"1.0","event_id":"sha256:2194c06e704c6b846677fa46b5d9cdc37a7433b721c1ec2bc9507703a2659e16"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/5KMGRTUHB47CBFF7PWYRAOENJF/bundle.json","state_url":"https://pith.science/pith/5KMGRTUHB47CBFF7PWYRAOENJF/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/5KMGRTUHB47CBFF7PWYRAOENJF/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-06-03T20:10:35Z","links":{"resolver":"https://pith.science/pith/5KMGRTUHB47CBFF7PWYRAOENJF","bundle":"https://pith.science/pith/5KMGRTUHB47CBFF7PWYRAOENJF/bundle.json","state":"https://pith.science/pith/5KMGRTUHB47CBFF7PWYRAOENJF/state.json","well_known_bundle":"https://pith.science/.well-known/pith/5KMGRTUHB47CBFF7PWYRAOENJF/bundle.json"},"state":{"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"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"hqGpkAEM9IcAstc0W2LLieCuRvzw/EbZvYkzAVQXCUnZq/FsmMw7N13s58uqUK8zp6Ffj0bwV3IY72jl8WhfDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-03T20:10:35.006478Z","bundle_sha256":"4574096715fb5066432863a29ba4ae84e1775c18c94d6f015287d5841e8ecd1a"}}