Struktursatz für endlich erzeugte abelsche Gruppen |
14.03.2009, 18:47 | derBollen | Auf diesen Beitrag antworten » |
Struktursatz für endlich erzeugte abelsche Gruppen Deshalb habe ich zwei Fragen: 1.)Liegt das daran, dass für Moduln direkte Summe und direktes Produkt isomorph zum kartesischen Produkt sind, und die Z/nZ und Z als Z-Moduln interpretiert werden? 2.)Ist die direkte Summe allgemein für abelsche Gruppen zum kartesischen Produkt isomorph? Gruß Bollen |
||
14.03.2009, 23:56 | Mathespezialschüler | Auf diesen Beitrag antworten » |
Eine direkte Summe von endlich vielen Gruppen/Vektorräumen/... ist immer isomorph zum direkten Produkt ebendieser Gruppen/Vektorräume/.... Nur für unendlich viele Summanden/Faktoren sind direkte Summe und direktes Produkt verschieden. |
||
16.03.2009, 11:23 | derBollen | Auf diesen Beitrag antworten » |
alles klar, danke. ich werd mir das mal so merken. eins verwirrt mich nur: wir haben direkte summe und direktes produkt mit diesen pfeilchendiagrammen eingeführt (die pfeilchen bei direkter summe und produkt waren da gerade umgedreht). beim existenzbeweis des direkten produkts zweier gruppen haben wir ein paar zeilen gebraucht. bei der direkten summe dagegen musste beim existenzbeweis ein riesenaufwand betrieben werden: wir haben einen umweg über die freie gruppe gemacht und mussten dann noch einen normalteiler rausdividieren ... die so konstruierten dinge sehen für mich ziemlich verschieden aus und die isomorphie blieb bei uns im skript irgendwie auf der strecke ... gruß bollen |
||
17.03.2009, 12:37 | Mathespezialschüler | Auf diesen Beitrag antworten » |
Anscheinend habt ihr die beiden Dinge über die universellen Eigenschaften eingeführt. Bis auf Isomorphie gilt folgendes: Sind Gruppen für gegeben, so ist
Die direkte Summe ist also immer eine Untergruppe des direkten Produkts. Bei endlich vielen Gruppen ist aber jedes Element aus dem direkten Produkt auch in der direkten Summe enthalten, denn in jedem endlichen Tupel gilt auf jeden Fall bis auf endlich viele , da es ja nur endlich viele Einträge sind. Für endlich viele Gruppen sind also direktes Produkt und direkte Summe, so wie ich es hingeschrieben habe, sogar gleich. |
||
17.03.2009, 14:34 | gast1 | Auf diesen Beitrag antworten » |
Das stimmt nur in der Kategorie der abelschen Gruppen. |
||
17.03.2009, 17:08 | Mathespezialschüler | Auf diesen Beitrag antworten » |
@gast1 Warum? |
||
Anzeige | ||
|
||
17.03.2009, 17:39 | gast1 | Auf diesen Beitrag antworten » |
Versuche, die universelle Eigenschaft der direkten Summe für S nachzuweisen, falls Du nicht in der Kategorie der abelschen Gruppen bist. Du wirst feststellen, dass sie nicht gilt. |
||
17.03.2009, 18:42 | Mathespezialschüler | Auf diesen Beitrag antworten » |
Das stimmt, aber ich kann trotzdem eine direkte Summe, wie oben beschrieben, bilden und auch dann sind im Falle endlich vieler Gruppen direkte Summe und direktes Produkt isomorph. |
|
Verwandte Themen
Die Beliebtesten » |
|
Die Größten » |
|
Die Neuesten » |
|