Forum:  Gruppen
Thema: Was genau soll das für eine Gruppe sein ?
Themen-Übersicht
Pter87
Aktiv
Dabei seit: 09.11.2018
Mitteilungen: 257
Aus:
Themenstart: 2019-12-14 22:01

Ich hab irgendwie Probleme den Begriff der freien Gruppe zu verstehen. Ich frage mich die ganze Zeit was < a,b | -- > genau darstellen soll ("--" steht für diesen Strich, wenn es keine Relation gibt).



Triceratops
Aktiv
Dabei seit: 28.04.2016
Mitteilungen: 4950
Aus: Berlin
Beitrag No.1, eingetragen 2019-12-14 22:20

de.wikipedia.org/wiki/Freie_Gruppe


Pter87
Aktiv
Dabei seit: 09.11.2018
Mitteilungen: 257
Aus:
Beitrag No.2, vom Themenstarter, eingetragen 2019-12-14 22:34

Den Wiki-Eintrag hatte ich mir schon durchgelesen. Was eine freie Gruppe laut Def. ist, das weiß ich.

Besteht diese Gruppe, die ich oben genannt habe nicht einfach aus Wörtern der Form fed-Code einblenden
fed-Code einblenden


Triceratops
Aktiv
Dabei seit: 28.04.2016
Mitteilungen: 4950
Aus: Berlin
Beitrag No.3, eingetragen 2019-12-14 22:45

Du hast dir den Artikel offenbar nicht gründlich genug durchgelesen. Ich habe den Artikel verlinkt, weil er deine (doch recht allgemein gestellte Frage) sehr genau beantwortet. Du kannst dir auch andere Artikel zu freien Gruppen anschauen auch hier auf dem Matheplaneten:
 
article.php?sid=1218
 
Die Elemente von $\langle a,b\rangle$ haben die Form $a^{k_1} b^{k_2} a^{k_3} b^{k_4} \dotsc$ (oder mit $b$ beginnend) mit ganzen Zahlen $k_i$, wobei man oBdA $k_i \neq 0$ annehmen kann.
 
Wichtig ist neben der Beschreibung der Elemente vor allem die universelle Eigenschaft: Wenn $G$ irgendeine Gruppe mit zwei Elementen $g,h \in G$ ist, so gibt es genau einen Homomorphismus

$\varphi : \langle a ,b \rangle \longrightarrow G$

mit $ \varphi(a) = g$ und $\varphi(b) = h$.




Dieses Forumbeitrag kommt von Matroids Matheplanet
https://https://matheplanet.de

Die URL für dieses Forum-Thema ist:
https://https://matheplanet.de/default3.html?topic=244873=2000
Druckdatum: 2020-11-28 00:14