Übungsaufgaben zur Algebra, Serie 4 SoSe 2018

Aufgabe 4.1 Wir betrachten auf der Menge der natürlichen Zahlen, die Relationen Teiler und echter Teiler. (a) Eine dieser Relationen ist keine Äquivalenzrelationen. Welche? Beweisen Sie Ihre Aussage. (b) Beweisen Sie für die andere Relation, dass sie eine Äquivalanzrelation ist. Aufgabe 4.2 Die Gleichung $a_2x+b_2y=c_2$ ist eine Linearkombination der Gleichung $a_1x+b_1y=c_1$, wenn eine Zahl $\lambda \in \mathbb{R}$ derart existiert, dass $\begin{matrix} \lambda a_1 &=& a_2 \\ \lambda b_1 &=& b_2 \\ \lambda c_1 &=& c_2 \end{matrix}$ gilt. (a) Beweisen Sie: Die Relation Gleichung b ist Linearkombination von Gleichung a ist eine Äquivalenzrelation auf der Menge der Gleichungen vom Typ $ax +by=c$. (b) Interpretieren Sie die Relation geometrisch. Aufgabe 4.3 Es sei $G_2$ die Menge aller Gleichungen vom Typ $ax+by=c$. $\mathbb{G}$ sei die Menge aller Äquivalenzklassen $\overline{g}$, in die $G$ durch die Äquivalenzrelation Gleichung a ist Linearkombination von Gleichung b eingeteilt wird. Wir definieren auf $\mathbb{G}$ die folgende Operation $\oplus$: $\forall \overline{a}, \overline{b} \in \mathbb{G}: \overline{a} \oplus \overline{b} := \overline{a+b}$. Beweisen Sie: $[\mathbb{G}, \oplus]$ ist Gruppe. Aufgabe 4.4 Es sei $\mathbb{N}$ die Menge der natürlichen Zahlen ohne die Zahl $0$. Wir definieren $\mathbb{B}:= \mathbb{N} \times \mathbb{N}$. Auf $\mathbb{B}$ definieren wir die folgende Relation quotientengleich $=_q$: $\forall (a,b), (c,d) \in \mathbb{B}: (a,b)=_q(c,d) :\Leftrightarrow ad=bc$. Beweisen Sie $=_q$ ist eine Äquivalenzrelation. Aufgabe 4.5 Es sei $\mathbb{Q}^+$ die Menge aller Äquivalenzklassen $\overline{(a,b)}$ in die $\mathbb{B}$ durch $=_q$ eingeteilt wird. Wir definieren $\overline{(a,b)} \odot \overline{(c,d)} := \overline{(ac,bd)}$. Beweisen Sie: $[\mathbb{Q}^+, \odot]$ ist abelsche Gruppe. Aufgabe 4.6 Beweisen Sie: Die multiplikative Restklassengruppe modulo $7$ ist zyklisch. Nennen Sie alle erzeugenden Elemente dieser Gruppe. Aufgabe 4.7 Nennen Sie eine multiplikative zyklische Gruppe, die genau vier erzeugende Elemente hat. Aufgabe 4.8 Aufgabe 4.9 Aufgabe 4.10