Difference between revisions of "TU Wien:Algebra und Diskrete Mathematik UE (diverse)/Übungen SS19/Beispiel 428"

From VoWi
Jump to navigation Jump to search
(Die Seite wurde neu angelegt: „Betrachten Sie den Ring <math>Rx</math> aus Aufgabe 426). <math>I</math> sei die Menge der Elemente <math>\sum_{n\ge0}{a_nz^n}</math> von <math>Rx</mat…“)
 
 
Line 3: Line 3:
 
== Hilfreiches ==
 
== Hilfreiches ==
 
Es sei <math>I</math> eine Teilmenge eines Ringes <math>R=(R,+,*)</math>.<math>I</math> heißt Ideal von <math>R</math>, wenn gilt:<br>
 
Es sei <math>I</math> eine Teilmenge eines Ringes <math>R=(R,+,*)</math>.<math>I</math> heißt Ideal von <math>R</math>, wenn gilt:<br>
Nullelement <math>\in I</math><br>
+
<math>0 \in I</math><br>
 
<math>\forall a,b \in I \mid a+b \in I</math><br>
 
<math>\forall a,b \in I \mid a+b \in I</math><br>
 
<math>\forall a \in I, \forall r \in R \mid a*r \in I \land r*a \in I</math><br>
 
<math>\forall a \in I, \forall r \in R \mid a*r \in I \land r*a \in I</math><br>

Latest revision as of 18:16, 30 July 2020

Betrachten Sie den Ring R[[x]] aus Aufgabe 426). I sei die Menge der Elemente \sum_{n\ge0}{a_nz^n} von R[[x]] mit a_0 = 0. Zeigen Sie: I ist ein Ideal von R[[x]].

Hilfreiches[edit]

Es sei I eine Teilmenge eines Ringes R=(R,+,*).I heißt Ideal von R, wenn gilt:
0 \in I
\forall a,b \in I \mid a+b \in I
\forall a \in I, \forall r \in R \mid a*r \in I \land r*a \in I
https://de.wikipedia.org/wiki/Ideal_(Ringtheorie)

Lösungsvorschlag von neo[edit]

Bei der Angabe liegt vermutlich ein Schreibfehler vor, da der Ring aus Aufgabe 426 R[[z]] ist, nicht R[[x]].

Nullelement beweisen:
I = \sum_{n\ge0}{a_nz^n}=\{a_0z^0,a_1z^1,.....\} \to a_0z^0=a_0*1=a_0 \in I

Addition (bzw. Substraktion) beweisen:
Seien x,y \in I:\sum_{n\ge0}{a_nz^n}+\sum_{n\ge0}{b_nz^n}=\sum_{n\ge0}{(a_n+b_n)z^n}
Sei h_n=a_n+b_n \to \sum_{n\ge0}{h_nz^n} \in I

Multiplikation beweisen:
Seien x \in I,y \in R:\sum_{n\ge0}{x_nz^n}\sum_{n\ge0}{y_nz^n}=\sum_{n\ge0}{(\sum_{j\ge0}^n{x_j*y_{n-j}})z^n}
Sei q_n=\sum_{j\ge0}^n{x_jy_{n-j}} \to \sum_{n\ge0}{q_nz^n} \in I \to Rechtsideal
x \in I,y \in R:\sum_{n\ge0}{y_nz^n}\sum_{n\ge0}{x_nz^n}=\sum_{n\ge0}{(\sum_{j\ge0}^n{y_jx_{n-j}})z^n}
Sei p_n=\sum_{j\ge0}{y_jx_{n-j}} \to \sum_{n\ge0}{p_nz^n} \in I \to Linksideal
Linksideal + Rechtsideal \to I Ideal von R[[z]]