Ideal |
20.05.2020, 19:00 | Flatscreen | Auf diesen Beitrag antworten » |
Ideal Guten Abend, ich soll folgendes zeigen: Sei R ein HIR und und a,b,c aus R. Gilt Sind (a),(b) Teilmengen von (c), dann ist auch (a±b) Teilmenge von (c). Meine Ideen: "(a),(b) Teilmengen von (c)" bedeutet ja, dass alle R-Vielfachen ra und rb aus (c) sind. (a±b) = {r(a±b) | r aus R} = {ra±rb | r aus R}. Wenn wie gesagt alle ra und rb aus (c), dann ist auch ra±rb aus (c) (Idealdefinition). Stimmt das so? |
||
20.05.2020, 19:24 | Elvis | Auf diesen Beitrag antworten » |
Das ist kein schöner Beweis. Es wäre viel besser, die beiden Behauptungen getrennt und detailliert zu beweisen. Der Hinweis (Idealdefinition) kann alles möglich beinhalten. Ich will mir nicht aussuchen, was du damit meinst. Wenn du einen Beweis führen möchtest, ist es deine Pflicht, zu erklären was du machst, so dass es ein Leser nachvollziehen kann. Wenn du das nicht willst, kannst du auch gleich "Beweis: trivial" schreiben. |
||
20.05.2020, 20:57 | Flatscreen | Auf diesen Beitrag antworten » |
Ok ich probiere es.. . Genauso . . Da und für alle und eine abelsche additive Gruppe ist, ist auch für alle . So besser? |
||
20.05.2020, 21:38 | Elvis | Auf diesen Beitrag antworten » |
Ja, jetzt stimmt die Logik, die Quantoren sind in Ordnung, und die Begründung passt auch. |
||
20.05.2020, 21:42 | Flatscreen | Auf diesen Beitrag antworten » |
Danke King of Rock and Roll |
|
Verwandte Themen
Die Beliebtesten » |
|
Die Größten » |
|
Die Neuesten » |
|