\( U:=\left\{e^{i \varphi}: \varphi \in \mathbb{R}\right\} \subset \mathbb{C}^{*} . \)
Du musst ja nur zeigen :
1. U ist nicht leer. Stimmt, weil z.B. \( e^{i \cdot 0 } = 1 \in U \)
2. U ist abgeschlossen bzgl. ·
Stimmt, weil \( e^{i \cdot a } \cdot e^{i \cdot b} \cdot = e^{i \cdot (a+b) } \in U \)
denn mit a und b ist auch a+b ∈ℝ.
3. Zu jedem El. von U ist auch das Inverse in U.
Stimmt auch; denn das Inverse von \( e^{i \cdot a } \) ist \( e^{i \cdot -a } \)
und mit a ist auch -a in ℝ.
b) Sind x,y aus H, dann gilt \( x \diamond y = y \diamond x \) weil
(wegen Untergruppe) x und y in G sind und G ist abelsch.