Grupa wolna: Różnice pomiędzy wersjami

[wersja nieprzejrzana][wersja nieprzejrzana]
Usunięta treść Dodana treść
Kbsc (dyskusja | edycje)
m +1
Kbsc (dyskusja | edycje)
m →‎Przykłady: drobne redakcyjne
Linia 29:
**<math>llPl*pLpp=\emptyset</math> czyli ciąg pusty.
:tak określona struktura jest grupą wolną generatorami są np.: <math>l</math> i <math>L</math> elementem odwrotnym do <math>l</math> jast <math>p</math>; odwrotnym do <math>L</math> jest <math>P</math>. Elementem odwrotnym do danego ciągu jest ciąg napisany w odwrotnej kolejności z zamienionymi parami liter <math><l,\ L></math> oraz <math><p,\ P></math>.
*Rozpatrzmy przestrzeń topologiczną złożoną z dwu okręgów sklejonych jednym punktem PA. Na tej przestreni rozpatrzmy wszystkie drogi bez cofania zaczynające się w PA i kończące się w PA. Niech <math>l\;</math> oznacza obejście pierwszego z tych okręgów w lewą stronę, <math>p\;</math> obejście pierwszego koła w prawo; <math>L</math> oraz <math>P</math> odpowiednie obejścia drugiego okręgu. Drogi są "bez cofania" więc nie występuje droga <math>lpl\;</math> i jej podobne (równoważną jej drogą jest <math>l</math>). Zauważmy, że uzyskany w ten sposób opis dróg jest grup opisaną powyżej. Oznacza to, żę [[grupa podstawowa]] ([[:en:Fundamental group]]) tej przestrzeni jest grupa wolna o dwóch generatorach.
 
 
==Zobacz też==