How statement and proof provenance work
The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.
- Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
- AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
- AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.
These labels describe origin, not correctness: citations and verification chips remain separate evidence.
Left and right translations on a Lie group
Definition
Let be a Lie group and fix . The left translation by and right translation by are respectively
and
Both maps are smooth: each is obtained from the smooth multiplication in Lie group by holding one argument fixed. The notation here is the ordinary right-translation convention. Kirillov writes a right action as ; therefore this page's is that source's right action by .
The definition applies in dimensions zero and one and uses no metric or nondegeneracy condition. A Lie group is nonempty, its manifold is boundaryless by the page convention, and the one supplied element involves no choice from a family.