Alphabeta Math
DefinitionDefinition: AI-adaptedProof: Not applicablePipeline-generatedprecheck passjudge pass (gpt-5.6-terra)audited 2026-09-14
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 G be a Lie group and fix g∈G. The left translation by g and right translation by g are respectively

Lg:G⟶G,Lg(h)=gh,

and

Rg:G⟶G,Rg(h)=hg.

Both maps are smooth: each is obtained from the smooth multiplication m:G×G→G in Lie group by holding one argument fixed. The notation here is the ordinary right-translation convention. Kirillov writes a right action as h↦hg−1; therefore this page's Rg is that source's right action by g−1.

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 g involves no choice from a family.

Depends on

Dependency tree · 2 levels

Sources