Elementare Algebra/Gemischte Definitionsabfrage/8/Aufgabe/Lösung

1. Ein Monoid ist eine Menge ${}M$ zusammen mit einer Verknüpfung

   $\circ \colon M\times M\longrightarrow M$

   und einem ausgezeichneten Element ${}e\in M$ derart, dass folgende beiden Bedingungen erfüllt sind.

   1. Die Verknüpfung ist assoziativ, d.h. es gilt

      ${}(x\circ y)\circ z=x\circ (y\circ z)\,$

      für alle ${}x,y,z\in M$.

   2. ${}e$ ist neutrales Element der Verknüpfung, d.h. es gilt

      ${}x\circ e=x=e\circ x\,$

      für alle ${}x\in M$.

2. Ein Unterring ${}M\subseteq K$, der zugleich ein Körper ist, heißt Unterkörper von ${}K$.
3. Ein Ideal ist eine nichtleere Teilmenge ${}{\mathfrak {a}}\subseteq R$, für die die beiden folgenden Bedingungen erfüllt sind:
   1. Für alle ${}a,b\in {\mathfrak {a}}$ ist auch ${}a+b\in {\mathfrak {a}}$.
   2. Für alle ${}a\in {\mathfrak {a}}$ und ${}r\in R$ ist auch ${}ra\in {\mathfrak {a}}$.
4. Die Abbildung

   $\varphi \colon R\longrightarrow S$

   heißt Ringhomomorphismus, wenn folgende Eigenschaften gelten:

   1. ${}\varphi (a+b)=\varphi (a)+\varphi (b)$
   2. ${}\varphi (1)=1$
   3. ${}\varphi (a\cdot b)=\varphi (a)\cdot \varphi (b)$.
5. Die Vektoren ${}v_{1},\ldots ,v_{n}$ heißen linear unabhängig, wenn eine Gleichung

   $\sum _{i=1}^{n}a_{i}v_{i}=0$

   nur bei ${}a_{i}=0$ für alle ${}i$ möglich ist.

6. Die von der Familie erzeugte Algebra ist die kleinste ${}R$-Unteralgebra von ${}A$, die alle ${}f_{i}$ enthält.

Zur gelösten Aufgabe