Kurs:Diskrete Mathematik (Osnabrück 2026)/Arbeitsblatt 5

Übungsaufgaben

Aufgabe *

Es sei ${}G$ eine Gruppe. Zeige, dass

${}{\left(x^{-1}\right)}^{-1}=x\,$

für alle  ${}x\in G$  ist.

Aufgabe

Es sei ${}G$ eine Gruppe und  ${}x,y\in G$.  Drücke das Inverse von ${}xy$ durch die Inversen von ${}x$ und ${}y$ aus.

Kommentar:

Da die Bezeichnung ${}xy$ verwendet wird, liegt multiplikative Schreibweise vor, das Inverse von ${}x$ ist ${}x^{-1}$ und das Inverse von ${}y$ ist ${}y^{-1}$. Der erste Reflex ist vielleicht, es mit dem Produkt ${}x^{-1}y^{-1}$ zu versuchen, doch dies ist falsch. Das Produkt

$xyx^{-1}y^{-1}$

kann man ohne weitere Bedingung nicht vereinfachen, da die Gruppe nicht kommutativ ist. Stattdessen versucht man es mit ${}y^{-1}x^{-1}$, und das funktioniert.

 

Aufgabe

Es sei ${}M$ eine Menge und es sei ${}B$ die Menge aller bijektiven Abbildungen von ${}M$ nach ${}M$. Zeige, dass ${}B$ mit der Hintereinanderschaltung von Abbildungen eine Gruppe ist. Was ist das neutrale Element, was ist das inverse Element zu ${}f\in B$?

Aufgabe

Es sei ${}G$ eine Gruppe und sei  ${}g\in G$  ein Element und sei

$\varphi \colon G\longrightarrow G,\,x\longmapsto x\circ g,$

die Verknüpfung mit ${}g$. Zeige, dass ${}\varphi$ bijektiv ist. In welcher Beziehung steht diese Aussage zu Lemma 5.4?

Aufgabe

Lucy Sonnenschein befindet sich in Position ${}(-2,3)\in \mathbb {Z} ^{2}$, wobei sich im Folgenden die erste Komponente auf links/rechts und die zweite Komponente auf vorne/hinten bezieht. Sie geht vier Schritte nach rechts, dann zwei Schritte nach hinten, dann einen Schritt nach links, einen (etwas größeren) Diagonalschritt nach links hinten und schließlich zwei Schritte nach vorne. In welcher Position befindet sie sich zum Schluss? Durch welche möglichst einfache Bewegung kann sie die Gesamtbewegung rückgängig machen?

Aufgabe

Wir betrachten die Menge

${}M={\left\{q\in \mathbb {Q} \mid 0\leq q<1\right\}}\,$

Zeige, dass auf ${}M$ durch

${}a\oplus b:={\begin{cases}a+b,{\text{ falls }}a+b<1\,,\\a+b-1{\text{ sonst}}\,.\end{cases}}\,$

eine wohldefinierte Verknüpfung gegeben ist.

Aufgabe

Zeige, dass die Menge

${}M={\left\{q\in \mathbb {Q} \mid 0\leq q<1\right\}}\,$

mit der in Aufgabe 5.6 definierten Verknüpfung eine kommutative Gruppe ist.

Die beiden folgenden Aufgaben verallgemeinern die Potenzgesetze für den Fall einer Gruppe auf ganzzahlige Exponenten.

Aufgabe

Es sei ${}(G,1,\cdot )$ eine Gruppe und seien  ${}a,b\in G$.  Zeige, dass die folgenden Potenzgesetze für  ${}m,n\in \mathbb {Z}$  gelten.

1. ${}a^{m+n}=a^{m}\cdot a^{n}\,.$

2. ${}(a^{m})^{n}=a^{mn}\,.$

Aufgabe

Es sei ${}G$ eine kommutative Gruppe,  ${}a,b\in G$  und  ${}n\in \mathbb {Z}$.  Zeige

${}(ab)^{n}=a^{n}b^{n}\,.$

Aufgabe

Gabi Hochster hat heute keine Lust, bei der Addition von natürlichen Zahlen im Dezimalsystem die Überträge zu berücksichtigen. Sie addiert einfach ziffernweise und schreibt nur die Endziffern der Einzelsummen an die richtige Stelle hin. Sie sagt: „Meine neue Verknüpfung ist viel besser als die übliche Addition: Sie ist einfacher zu berechnen, sie ist assoziativ und kommutativ und sie besitzt ein neutrales Element. Darüber hinaus gibt es zu jeder natürlichen Zahl eine natürliche Zahl mit der Eigenschaft, dass deren Summe die ${}0$ ergibt. Es liegt also sogar eine Gruppe vor und die ganzen Zahlen braucht man gar nicht mehr“. Sind ihre Beobachtungen korrekt?

Aufgabe

Beweise das folgende Untergruppenkriterium. Eine nichtleere Teilmenge  ${}H\subseteq G$  einer Gruppe ${}G$ ist genau dann eine Untergruppe, wenn gilt:

${\text{ für alle }}g,h\in H{\text{ ist }}gh^{-1}\in H.$

Aufgabe

Es sei ${}G$ eine Gruppe und es seien ${}H_{1}$ und ${}H_{2}$ Untergruppen von ${}G$. Zeige, dass der Durchschnitt

$H_{1}\cap H_{2}$

ebenfalls eine Untergruppe von ${}G$ ist.

Aufgabe

Es sei ${}R$ ein kommutativer Ring und seien ${}x,y$ und ${}z$ Elemente in ${}R$. Berechne

${\left(2x^{3}-xy^{2}z-4x^{2}y^{2}\right)}{\left(-2x^{3}-z-xyz\right)}-x^{2}{\left(4-3y-5xy^{5}z\right)}.$

Aufgabe

Formuliere die zweite binomische Formel für einen kommutativen Ring ${}R$ und führe sie auf die erste binomische Formel zurück.

Aufgabe

Formuliere und beweise die dritte binomische Formel für einen kommutativen Ring ${}R$.

Aufgabe

Es sei ${}R$ ein kommutativer Ring, ${}x\in R$ und ${}n\in \mathbb {N} _{+}$. Zeige die Gleichheit

${}x^{n}-1=(x-1){\left(x^{n-1}+x^{n-2}+x^{n-3}+\cdots +x^{2}+x+1\right)}\,.$

Aufgabe

Es sei ${}M$ eine Menge. Zeige, dass die Potenzmenge ${}{\mathfrak {P}}\,(M)$ mit dem Durchschnitt ${}\cap$ als Multiplikation und der symmetrischen Differenz

${}A\triangle B=(A\setminus B)\cup (B\setminus A)\,$

als Addition (mit welchen neutralen Elementen?) ein kommutativer Ring ist.

Aufgabe *

Zeige, dass ein Ring mit  ${}0=1$  der Nullring ist.

Aufgabe

Es sei ${}R$ ein kommutativer Ring. Zeige, dass die Multiplikation mit ${}-1$, also die Abbildung

$R\longrightarrow R,\,g\longmapsto -g,$

bijektiv ist.

Aufgabe

Diskutiere, welche Bedeutungen die Begriffe positiv und negativ in einem kommutativen Ring besitzen. Wie sieht es in ${}\mathbb {Z}$ aus? Welche Bedeutung ist relativ, welche absolut?

Aufgabe

Zeige

${}\sum _{k=0}^{n}(-1)^{k}{\binom {n}{k}}=0\,$

für  ${}n\geq 1$  mit Hilfe des Binomischen Lehrsatzes für ${}\mathbb {Z}$.

Aufgabe

Es sei ${}K$ ein Körper und  ${}n\in \mathbb {N} _{+}$.  Zeige, dass die Menge aller quadratischen ${}n\times n$- Matrizen über ${}K$ mit der Addition von Matrizen und mit der Verknüpfung von Matrizen als Multiplikation ein Ring ist.

Aufgabe

Es sei ${}K$ ein Körper und ${}V$ ein ${}K$- Vektorraum. Zeige, dass

${}\operatorname {End} _{}\,(V)={\left\{\varphi :V\rightarrow V\mid \varphi {\text{ linear}}\right\}}\,$

mit der Addition und der Hintereinanderschaltung von Abbildungen ein Ring ist.

Kommentar:

Dies ist eine Verallgemeinerung von Aufgabe 5.22 und geht ähnlich. Der Nachweis, dass etwas ein Ring ist, sieht auf den ersten Blick nach viel Arbeit aus, da ja zielmich viele Eigenschaften zu überprüfen sind. Wenn viel Arbeit ansteht sollte man sich immer fragen, ob sich ein Teil davon direkt erledigen lässt oder ob es jemand anders erledigen kann oder ob sie schon erledigt ist. Danach kann man sich dann auf die verbleibende Arbeit konzentrieren. Mathematisch bedeutet dies: sind Teilaufgaben trivial? Gab es Sätze, aus denen ein Teil oder alles folgt? Wurde eine ähnliche Aufgabe oder die im Prinzip gleiche, aber mit anderen Worten formulierte Aufgabe schon bearbeitet?

Wenn man ferner zeigen soll, dass etwas ein Ring, eine Gruppe etc. ist, so muss man zuerst die gegebene Menge und die Verknüpfungen darauf verstehen, wie diese aufgebaut sind. Verknüpfungen werden häufig unter bezug auf grundlegendere Verknüpfungen definiert. Hier startet man ja mit einem beliebigen Vektorraum ${}V$, der seinerseits wieder auf einen Körper Bezug nimmt. Darüber weiß man nichts weiteres, außer dass es eben ein Vektorraum ist.

Die Menge, um die es geht, ist jetzt die Menge ${}\operatorname {End} _{}\,(V)$ aller linearen Abbildungen von ${}V$ nach ${}V$ (die man auch Endomorphismen nennt). Hier kommt die Vorstellung, dass Ringe so etwas wie Zahlbereiche sind, an ihre Grenzen. ${}\mathbb {Z} ,\mathbb {Q} ,\mathbb {R}$ sind Ringe, es gibt aber eben auch noch ziemlich anders geartete Ringe, deren Elemente nicht „Zahlen “, sondern lineare Abbildungen sind. Zu den Verknüpfungen: Hier wird kurz von der Addition und der Hintereinanderschaltung gesprochen. Es wird also so getan, also ob es klar ist, was die Addition ist. Was soll ${}f+g$ sein? Da ${}f$ und ${}g$ lineare Abbildungen sind, und ${}f+g$ auch eine lineare Abbildung sein soll, muss ${}f+g$ aus jedem Vektor  ${}v\in V$  wieder ein Vektor machen, da fällt einem nur

${}(f+g)(v)=f(v)+g(v)\,$

ein. Dies ist wieder linear, das kann man direkt zeigen und war allgemeiner Gegenstand von Aufgabe 10.14 (Lineare Algebra (Osnabrück 2024-2025)). Dann ist auch klar, was die ${}0$ ist, nämlich die Nullabbildung, die alles auf ${}0$ schickt, und dass dies mit dieser Addition eine Gruppe bildet. Dies gilt genauso für die Menge aller linearen Abbildungen von ${}V$ nach ${}W$, wenn ${}W$ ein weiterer Vektorraum ist.

Zur Multiplikation: Nach Lemma 2.11 (Lineare Algebra (Osnabrück 2024-2025)) ist die Hintereinanderschaltung (das ist die Multiplikation) von Abbildungen assoziativ, was auch schon in Beispiel 4.7 verwendet wurde, und das neutrale Element ist die Identität, und nach Lemma 10.8 (Lineare Algebra (Osnabrück 2024-2025)) ist die Hintereinanderschaltung von linearen Abbildungen wieder linear. Somit ist nur noch das Distributivgesetz zu zeigen.

 

Aufgabe

Es sei ${}R$ ein kommutativer Halbring (mit den Verknüpfungen ${}+_{R},\cdot _{R}$ und den speziellen Elementen ${}0_{R},1_{R}$). Zeige, dass es genau eine Abbildung

$\varphi \colon \mathbb {N} \longrightarrow R$

gibt, die die Eigenschaften  ${}\varphi (0)=0_{R}$,   ${}\varphi (1)=1_{R}$  und

${}\varphi (m+n)=\varphi (m)+_{R}\varphi (n)\,$

für alle  ${}m,n\in \mathbb {N}$  erfüllt. Zeige, dass dabei auch

${}\varphi (m\cdot n)=\varphi (m)\cdot _{R}\varphi (n)\,$

für alle  ${}m,n\in \mathbb {N}$  gilt.

Es gibt also für jede natürliche Zahl ${}n$ in jedem kommutativen Halbring eine „Version“ dieser Zahl. Sie wird mit ${}n_{R}$ oder direkt wieder mit ${}n$ bezeichnet.

Aufgabe

Es sei ${}R$ ein kommutativer Ring. Erweitere die Zuordnung

$\mathbb {N} \longrightarrow R,\,n\longmapsto n_{R},$

aus Aufgabe 5.24 auf die ganzen Zahlen ${}\mathbb {Z}$ und zeige, dass die strukturellen Eigenschaften

$(n+m)_{R}=n_{R}+m_{R}{\text{ und }}(nm)_{R}=n_{R}\cdot m_{R}$

ebenfalls gelten.

Aufgabe

Es sei ${}R$ ein kommutativer Ring und es seien ${}k,m,n$ ganze Zahlen und ${}x,y\in R$. Zeige die folgenden Aussagen.

1. Zu ${}n\in \mathbb {N}$ ist ${}nx$ (also die ${}n$-fache Summe von ${}x$ mit sich selbst) gleich ${}(1+\cdots +1)\cdot x$, wobei links die ${}n$-fache Summe der ${}1\in R$ mit sich selbst steht.
2. Zu ${}n\in \mathbb {N}$ ist ${}-n$ (also die ${}n$-fache Summe des Negativen von ${}1$ mit sich selbst) gleich dem Negativen (in ${}R$) von ${}n=1+\cdots +1$.
3. Es ist

   ${}(m+k)x=mx+kx\,.$

4. Es ist

   ${}k(x+y)=kx+ky\,.$

5. Es ist

   ${}(km)x=k(mx)\,.$

Aufgabe *

Es sei ${}R$ ein kommutativer Ring. Zu jedem ${}f\in R$ sei

$\mu _{f}\colon R\longrightarrow R,\,g\longmapsto fg,$

die Multiplikation mit ${}f$. Zeige, dass ${}\mu _{f}$ genau dann bijektiv ist, wenn es surjektiv ist.

Man zeige durch ein Beispiel, dass in dieser Situation aus der Injektivität nicht die Bijektivität folgt.

Aufgabe

Es sei ${}R$ ein Ring und ${}M$ eine Menge. Definiere auf der Abbildungsmenge

${}A={\left\{f:M\rightarrow R\mid f{\text{ Abbildung}}\right\}}\,$

eine Ringstruktur.

Aufgabe *

Wir betrachten die Menge

${}M=\operatorname {Abb} \,{\left(\mathbb {R} ,\mathbb {R} \right)}\,,$

die mit der stellenweisen Addition ${}+$ von Funktionen eine kommutative Gruppe ist. Auf dieser Menge bildet die Hintereinanderschaltung von Abbildungen ${}\circ$ eine assoziative Verknüpfung mit der Identität als neutralem Element.

1. Zeige, dass das Distributivgesetz in der Form

   ${}(f+g)\circ h=f\circ h+g\circ h\,$

   gilt.

2. Zeige, dass das Distributivgesetz in der Form

   ${}h\circ (f+g)=h\circ f+h\circ g\,$

   nicht gilt.

Aufgabe

Zeige, dass ${}\mathbb {Z} ^{2}$ mit der komponentenweisen Addition und der komponentenweisen Multiplikation ein kommutativer Ring ist. Gilt in diesem Ring die Eigenschaft, dass aus  ${}xy=0$  folgt, dass ${}x$ oder ${}y$ gleich ${}0$ ist?

Aufgabe *

Beweise die Nichtnullteilereigenschaft für einen Körper ${}K$.

Einen kommutativen Ring ${}\neq 0$, der die Nichtnullteilereigenschaft aus Lemma 5.15 erfüllt, heißt Integritätsbereich. Die ganzen Zahlen ${}\mathbb {Z}$ sind ein Integritätsbereich, aber kein Körper. Für endliche Ringe gilt aber die folgende Aussage.

Aufgabe

Es sei ${}R$ ein kommutativer Ring mit endlich vielen Elementen. Zeige, dass ${}R$ genau dann ein Integritätsbereich ist, wenn ${}R$ ein Körper ist.

Aufgabe *

Zeige, dass der Polynomring ${}R[X]$ über einem kommutativen Ring ${}R$ wieder ein kommutativer Ring ist.

Aufgabe *

Es sei ${}K$ ein Körper und sei ${}K[X]$ der Polynomring über ${}K$. Zeige, dass der Grad folgende Eigenschaften erfüllt.

1. ${}\operatorname {grad} \,(P+Q)\leq \max\{\operatorname {grad} \,(P),\,\operatorname {grad} \,(Q)\}\,,$

2. ${}\operatorname {grad} \,(P\cdot Q)=\operatorname {grad} \,(P)+\operatorname {grad} \,(Q)\,.$

Aufgabe *

Man gebe ein Polynom  ${}P\in \mathbb {Q} [X]$  an, das nicht zu ${}\mathbb {Z} [X]$ gehört, aber die Eigenschaft besitzt, dass für jede ganze Zahl ${}n$ gilt:  ${}P(n)\in \mathbb {Z}$. 

Aufgaben zum Abgeben

Aufgabe (2 Punkte)

Es sei ${}R$ ein Ring und seien ${}x,y$ und ${}z$ Elemente in ${}R$. Berechne das Produkt

${\left(x^{2}-3yzy-2zy^{2}+4xy^{2}\right)}{\left(2xy^{3}x-z^{2}xyx\right)}{\left(1-3zyxz^{2}y\right)}.$

Wie lautet das Ergebnis, wenn der Ring kommutativ ist?

Aufgabe (4 Punkte)

Es sei ${}V$ ein endlichdimensionaler ${}K$- Vektorraum und ${}v\in V$, ${}v\neq 0$, ein fixierter Vektor. Zeige, dass

${}R(v)={\left\{\varphi \in \operatorname {End} _{}{\left(V\right)}\mid v{\text{ ist Eigenvektor zu }}\varphi \right\}}\,$

mit der natürlichen Addition und Multiplikation von Endomorphismen ein Ring und ein Untervektorraum von ${}\operatorname {End} _{}{\left(V\right)}$ ist. Bestimme die Dimension dieses Raumes.

Aufgabe (3 Punkte)

Zeige, dass für ganze Zahlen ${}a,b,c\in \mathbb {Z}$ genau dann das „umgekehrte Distributivgesetz“

${}a+(b\cdot c)=(a+b)\cdot (a+c)\,$

gilt, wenn

${}a=0\,$

oder

${}a+b+c=1\,$

ist.

Aufgabe (4 Punkte)

Wir betrachten eine Uhr mit Stunden- und Minutenzeiger. Es ist jetzt 6 Uhr, sodass die beiden Zeiger direkt gegenüber stehen. Um wie viel Uhr stehen die beiden Zeiger zum nächsten Mal direkt gegenüber?

Aufgabe (3 Punkte)

Zeige, dass die „Rechenregel“

${}{\frac {a}{b}}+{\frac {c}{d}}={\frac {a+c}{b+d}}\,$

bei  ${}a,c\in \mathbb {N} _{+}$  (und  ${}b,d,b+d\in \mathbb {Z} \setminus \{0\}$ ) niemals gilt. Man gebe ein Beispiel mit  ${}a,b,c,d,b+d\neq 0$,  wo diese Regel gilt.

Aufgabe (2 Punkte)

Zeige für einen Körper ${}K$ die folgenden Eigenschaften.

a) Für jedes  ${}a\in K$  ist die Abbildung

$\alpha _{a}\colon K\longrightarrow K,\,x\longmapsto x+a,$

bijektiv.

b) Für jedes ${}b\in K$, ${}b\neq 0$, ist die Abbildung

$\mu _{b}\colon K\longrightarrow K,\,x\longmapsto bx,$

bijektiv.