One-parameter subgroup

A smooth homomorphism from (R,+) into a Lie group, generated by a Lie algebra element.
One-parameter subgroup

Let GG be a with Lie algebra g\mathfrak g.

Definition

A one-parameter subgroup of GG is a smooth

γ:(R,+)G. \gamma:(\Bbb R,+)\to G.

Equivalently, γ\gamma is a smooth curve satisfying γ(t+s)=γ(t)γ(s)\gamma(t+s)=\gamma(t)\gamma(s) and γ(0)=e\gamma(0)=e.

Theorem (classification by the Lie algebra)

For each XgX\in\mathfrak g, the curve

γX(t)=exp(tX) \gamma_X(t)=\exp(tX)

is a one-parameter subgroup (see ).

Conversely, if γ\gamma is any one-parameter subgroup, then the derivative

X=γ(0)TeGg X=\gamma'(0)\in T_eG\cong \mathfrak g

determines γ\gamma uniquely by γ(t)=exp(tX)\gamma(t)=\exp(tX) for all tt.

Thus, one-parameter subgroups are in bijection with elements of g\mathfrak g.

Context

One-parameter subgroups are the group-theoretic shadows of constant-coefficient ODE flows on GG; the precise relationship is expressed by .