Was bedeutet dieses Zeichen bei Gruppen? (Mathematik)?
Was bedeutet dieses:
Zeichen?
Bei Abbildungen heißt es Gleichmächtig, aber was bei Gruppen?
1 Antwort
![](https://images.gutefrage.net/media/default/user/11_nmmslarge.png?v=1551279448000)
Ich würde diese Formel lesen als die Behauptung, dass der Restklassenring Z/12Z nach Ersetzen seiner Addition durch seine Multiplikation isomorph sei zum direkten Produkt zweier Exemplare des normalen Restklassenringes Z/2Z.
![](https://images.gutefrage.net/media/user/MagicalGrill/1548472380616_nmmslarge__260_60_1080_1080_9461c4b490096d30204b9d24434abaa7.png?v=1548472381000)
der Restklassenring Z/12Z nach Ersetzen seiner Addition durch seine Multiplikation
Das ist etwas unsauber formuliert, es geht hier um die Einheitengruppe von Z_12. Die benutzt zwar die Multiplikation von Z_12, aber da liegen nicht alle Elemente von Z_12 drin, sondern eben nur die multiplikativ invertierbaren.
Und auch ich würde das als Isomorphie-Symbol deuten.
![](https://images.gutefrage.net/media/default/user/11_nmmslarge.png?v=1551279448000)
Nein (jedenfalls dann nicht, wenn die Tilde bedeuten soll "ist isomorph zu").
Ich bin mir auch nicht sicher, ob in deiner Formel oben das Paar .+ dasselbe bedeutet wie das ja auch mögliche Paar +. (denn das +. würde zu meiner oben genannten wahrscheinlichem Semantik der Formel eher passen als das .+).
Lies also besser mal in deinem Vorlesungsskript nach, wie diese Notation denn nun eigentlich genau definiert wurde.
Okay, danke da hätte ich noch eine kurze Frage. Die bijektivität sagt ja auch gleichzeitig gleichmächtigkeit, heißt wenn ich eine Bijektive Abbildung von a --> b habe, darf ich dann auch schreiben : a~b, statt a-->b? Bedeutet das das gleiche?