1: \begin{definition}\label{defasagen}

2: {\em Let $G$ be a real Lie group and consider a

3:  strongly continuous unitary representation $U$ of $G$ over the complex Hilbert space $\sH$.\\

4: If $\sA \in \gg$ let  $\bR \ni t \mapsto \exp(t\sA) \in G$ be the generated  one-parameter Lie subgroup.

5: The {\bf self-adjoint generator associated with $\sA$} $$A : D(A) \to \cH$$  is the generator of the strongly continuous one-parameter unitary group $$\bR \ni t \mapsto U_{\exp\{t\sA\}} = e^{-isA}$$ in the sense of Theorem  \ref{teostone}.}\hfill $\blacksquare$

6: \end{definition}

7: