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. /Definition/Begriff/Inhalt
3. /Definition/Begriff/Inhalt
4. 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}}$.
5. 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)$.
6. /Definition/Begriff/Inhalt

Zur gelösten Aufgabe