Serie 2 Untergruppen SoSe 2017

Serie 2 Untergruppen SoSe 2017 Aufgabe 2.1 Es seien $[G,\odot ]$ und $[U,\otimes ]$ zwei Gruppen mit $U\subset G$. Warum ist $[U,\otimes ]$ keine Untergruppe von $[G,\odot ]$? Aufgabe 2.2 Es sei $[U,\otimes ]$ eine Untergruppe von $[G,\otimes ]$ nach Definition 6. Beweisen Sie: (I) $\mathrm{\forall }a,b\in U:a\otimes b\in U$, (II) $\mathrm{\forall }a\in U:a^{-1}\in U$. Aufgabe 2.3 Es sei $[G,\otimes ]$ eine Gruppe und $U$ eine nichtleere Teilmenge von $G$. Beweisen Sie: Wenn (I) $\mathrm{\forall }a,b\in U:a\otimes b\in U$ und (II) $\mathrm{\forall }a\in U:a^{-1}\in U$ dann ist $[U,\otimes ]$ eine Untergruppe von $[g,\otimes ]$ entsprechend Definition 6. Aufgabe 2.4 Beweisen Sie Satz 3.