Ringalphabet/Terme/Polynome über N/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei die Termmenge zur Konstantenmenge , zur Variablenmenge ,

und zur zweistelligen Funktionssymbolmenge . Definiere eine natürliche Abbildung von in den Polynomring . Ist diese Abbildung injektiv? Ist sie surjektiv? Was ist das Bild?
Eine Lösung erstellen