seja s um conjunto. diremos que um grupo g ´e livre gerado...
TRANSCRIPT
![Page 1: Seja S um conjunto. Diremos que um grupo G ´e livre gerado ...israel/Ensino/Algavan/grupolivre.pdf · Por unicidade, vem I ... Seja S um conjunto n˜ao vazio. existˆencia Seja S](https://reader031.vdocuments.net/reader031/viewer/2022020415/5bf4ccd109d3f25b6f8ca0a9/html5/thumbnails/1.jpg)
Grupos livres
Seja S um conjunto. Diremosque um grupo G e livre gerado
por S se existir uma funcaof : S → G
com a propriedade seguinte:
![Page 2: Seja S um conjunto. Diremos que um grupo G ´e livre gerado ...israel/Ensino/Algavan/grupolivre.pdf · Por unicidade, vem I ... Seja S um conjunto n˜ao vazio. existˆencia Seja S](https://reader031.vdocuments.net/reader031/viewer/2022020415/5bf4ccd109d3f25b6f8ca0a9/html5/thumbnails/2.jpg)
para todo grupo G′
![Page 3: Seja S um conjunto. Diremos que um grupo G ´e livre gerado ...israel/Ensino/Algavan/grupolivre.pdf · Por unicidade, vem I ... Seja S um conjunto n˜ao vazio. existˆencia Seja S](https://reader031.vdocuments.net/reader031/viewer/2022020415/5bf4ccd109d3f25b6f8ca0a9/html5/thumbnails/3.jpg)
para todo grupo G′ e toda funcao
g : S → G′
![Page 4: Seja S um conjunto. Diremos que um grupo G ´e livre gerado ...israel/Ensino/Algavan/grupolivre.pdf · Por unicidade, vem I ... Seja S um conjunto n˜ao vazio. existˆencia Seja S](https://reader031.vdocuments.net/reader031/viewer/2022020415/5bf4ccd109d3f25b6f8ca0a9/html5/thumbnails/4.jpg)
para todo grupo G′ e toda funcao
g : S → G′
existe um e um so homomorfismo degrupos ϕ : G → G′
![Page 5: Seja S um conjunto. Diremos que um grupo G ´e livre gerado ...israel/Ensino/Algavan/grupolivre.pdf · Por unicidade, vem I ... Seja S um conjunto n˜ao vazio. existˆencia Seja S](https://reader031.vdocuments.net/reader031/viewer/2022020415/5bf4ccd109d3f25b6f8ca0a9/html5/thumbnails/5.jpg)
para todo grupo G′ e toda funcao
g : S → G′
existe um e um so homomorfismo degrupos ϕ : G → G′ tal que g = ϕ ◦ f .
![Page 6: Seja S um conjunto. Diremos que um grupo G ´e livre gerado ...israel/Ensino/Algavan/grupolivre.pdf · Por unicidade, vem I ... Seja S um conjunto n˜ao vazio. existˆencia Seja S](https://reader031.vdocuments.net/reader031/viewer/2022020415/5bf4ccd109d3f25b6f8ca0a9/html5/thumbnails/6.jpg)
para todo grupo G′ e toda funcao
g : S → G′
existe um e um so homomorfismo degrupos ϕ : G → G′ tal que g = ϕ ◦ f .
S −→ Gg↓ f↙ϕ
G′
![Page 7: Seja S um conjunto. Diremos que um grupo G ´e livre gerado ...israel/Ensino/Algavan/grupolivre.pdf · Por unicidade, vem I ... Seja S um conjunto n˜ao vazio. existˆencia Seja S](https://reader031.vdocuments.net/reader031/viewer/2022020415/5bf4ccd109d3f25b6f8ca0a9/html5/thumbnails/7.jpg)
para todo grupo G′ e toda funcao
g : S → G′
existe um e um so homomorfismo degrupos ϕ : G → G′ tal que g = ϕ ◦ f .
S −→ Gg↓ f↙ϕ
G′
Dizemos entao que
f : S → G apresenta G.
![Page 8: Seja S um conjunto. Diremos que um grupo G ´e livre gerado ...israel/Ensino/Algavan/grupolivre.pdf · Por unicidade, vem I ... Seja S um conjunto n˜ao vazio. existˆencia Seja S](https://reader031.vdocuments.net/reader031/viewer/2022020415/5bf4ccd109d3f25b6f8ca0a9/html5/thumbnails/8.jpg)
exemplo
S = {s}
![Page 9: Seja S um conjunto. Diremos que um grupo G ´e livre gerado ...israel/Ensino/Algavan/grupolivre.pdf · Por unicidade, vem I ... Seja S um conjunto n˜ao vazio. existˆencia Seja S](https://reader031.vdocuments.net/reader031/viewer/2022020415/5bf4ccd109d3f25b6f8ca0a9/html5/thumbnails/9.jpg)
exemplo
S = {s} −→ Zs 7→ f(s) = 1
![Page 10: Seja S um conjunto. Diremos que um grupo G ´e livre gerado ...israel/Ensino/Algavan/grupolivre.pdf · Por unicidade, vem I ... Seja S um conjunto n˜ao vazio. existˆencia Seja S](https://reader031.vdocuments.net/reader031/viewer/2022020415/5bf4ccd109d3f25b6f8ca0a9/html5/thumbnails/10.jpg)
Lema. Seja S um conjunto e sejam
Sf→ G,
![Page 11: Seja S um conjunto. Diremos que um grupo G ´e livre gerado ...israel/Ensino/Algavan/grupolivre.pdf · Por unicidade, vem I ... Seja S um conjunto n˜ao vazio. existˆencia Seja S](https://reader031.vdocuments.net/reader031/viewer/2022020415/5bf4ccd109d3f25b6f8ca0a9/html5/thumbnails/11.jpg)
Lema. Seja S um conjunto e sejam
Sf→ G, S
g→ G
![Page 12: Seja S um conjunto. Diremos que um grupo G ´e livre gerado ...israel/Ensino/Algavan/grupolivre.pdf · Por unicidade, vem I ... Seja S um conjunto n˜ao vazio. existˆencia Seja S](https://reader031.vdocuments.net/reader031/viewer/2022020415/5bf4ccd109d3f25b6f8ca0a9/html5/thumbnails/12.jpg)
Lema. Seja S um conjunto e sejam
Sf→ G, S
g→ G
apresentacoes de grupos livres gerados
pelo mesmo S.
![Page 13: Seja S um conjunto. Diremos que um grupo G ´e livre gerado ...israel/Ensino/Algavan/grupolivre.pdf · Por unicidade, vem I ... Seja S um conjunto n˜ao vazio. existˆencia Seja S](https://reader031.vdocuments.net/reader031/viewer/2022020415/5bf4ccd109d3f25b6f8ca0a9/html5/thumbnails/13.jpg)
Lema. Seja S um conjunto e sejam
Sf→ G, S
g→ G
apresentacoes de grupos livres gerados
pelo mesmo S. Entao existe um e so
um isomorfismo ϕ : G → G
![Page 14: Seja S um conjunto. Diremos que um grupo G ´e livre gerado ...israel/Ensino/Algavan/grupolivre.pdf · Por unicidade, vem I ... Seja S um conjunto n˜ao vazio. existˆencia Seja S](https://reader031.vdocuments.net/reader031/viewer/2022020415/5bf4ccd109d3f25b6f8ca0a9/html5/thumbnails/14.jpg)
Lema. Seja S um conjunto e sejam
Sf→ G, S
g→ G
apresentacoes de grupos livres gerados
pelo mesmo S. Entao existe um e so
um isomorfismo ϕ : G → G tal que
ϕ ◦ f = f .
![Page 15: Seja S um conjunto. Diremos que um grupo G ´e livre gerado ...israel/Ensino/Algavan/grupolivre.pdf · Por unicidade, vem I ... Seja S um conjunto n˜ao vazio. existˆencia Seja S](https://reader031.vdocuments.net/reader031/viewer/2022020415/5bf4ccd109d3f25b6f8ca0a9/html5/thumbnails/15.jpg)
Lema. Seja S um conjunto e sejam
Sf→ G, S
g→ G
apresentacoes de grupos livres gerados
pelo mesmo S. Entao existe um e so
um isomorfismo ϕ : G → G tal que
ϕ ◦ f = f .Em palavras, se existir,
![Page 16: Seja S um conjunto. Diremos que um grupo G ´e livre gerado ...israel/Ensino/Algavan/grupolivre.pdf · Por unicidade, vem I ... Seja S um conjunto n˜ao vazio. existˆencia Seja S](https://reader031.vdocuments.net/reader031/viewer/2022020415/5bf4ccd109d3f25b6f8ca0a9/html5/thumbnails/16.jpg)
Lema. Seja S um conjunto e sejam
Sf→ G, S
g→ G
apresentacoes de grupos livres gerados
pelo mesmo S. Entao existe um e so
um isomorfismo ϕ : G → G tal que
ϕ ◦ f = f .Em palavras, se existir, o grupo livre e unico,
a menos de isomorfismo unico.
![Page 17: Seja S um conjunto. Diremos que um grupo G ´e livre gerado ...israel/Ensino/Algavan/grupolivre.pdf · Por unicidade, vem I ... Seja S um conjunto n˜ao vazio. existˆencia Seja S](https://reader031.vdocuments.net/reader031/viewer/2022020415/5bf4ccd109d3f25b6f8ca0a9/html5/thumbnails/17.jpg)
Dem. Por definicao , existehomomorfismo ϕ : G → G
tal que ϕ ◦ f = f .
![Page 18: Seja S um conjunto. Diremos que um grupo G ´e livre gerado ...israel/Ensino/Algavan/grupolivre.pdf · Por unicidade, vem I ... Seja S um conjunto n˜ao vazio. existˆencia Seja S](https://reader031.vdocuments.net/reader031/viewer/2022020415/5bf4ccd109d3f25b6f8ca0a9/html5/thumbnails/18.jpg)
Dem. Por definicao , existehomomorfismo ϕ : G → G
tal que ϕ ◦ f = f .Idem, temos ϕ : G → G
![Page 19: Seja S um conjunto. Diremos que um grupo G ´e livre gerado ...israel/Ensino/Algavan/grupolivre.pdf · Por unicidade, vem I ... Seja S um conjunto n˜ao vazio. existˆencia Seja S](https://reader031.vdocuments.net/reader031/viewer/2022020415/5bf4ccd109d3f25b6f8ca0a9/html5/thumbnails/19.jpg)
Dem. Por definicao , existehomomorfismo ϕ : G → G
tal que ϕ ◦ f = f .Idem, temos ϕ : G → G
tal que ϕ ◦ f = f .
![Page 20: Seja S um conjunto. Diremos que um grupo G ´e livre gerado ...israel/Ensino/Algavan/grupolivre.pdf · Por unicidade, vem I ... Seja S um conjunto n˜ao vazio. existˆencia Seja S](https://reader031.vdocuments.net/reader031/viewer/2022020415/5bf4ccd109d3f25b6f8ca0a9/html5/thumbnails/20.jpg)
Dem. Por definicao , existehomomorfismo ϕ : G → G
tal que ϕ ◦ f = f .Idem, temos ϕ : G → G
tal que ϕ ◦ f = f . Seguef =
![Page 21: Seja S um conjunto. Diremos que um grupo G ´e livre gerado ...israel/Ensino/Algavan/grupolivre.pdf · Por unicidade, vem I ... Seja S um conjunto n˜ao vazio. existˆencia Seja S](https://reader031.vdocuments.net/reader031/viewer/2022020415/5bf4ccd109d3f25b6f8ca0a9/html5/thumbnails/21.jpg)
Dem. Por definicao , existehomomorfismo ϕ : G → G
tal que ϕ ◦ f = f .Idem, temos ϕ : G → G
tal que ϕ ◦ f = f . Seguef = ϕ ◦ f =
![Page 22: Seja S um conjunto. Diremos que um grupo G ´e livre gerado ...israel/Ensino/Algavan/grupolivre.pdf · Por unicidade, vem I ... Seja S um conjunto n˜ao vazio. existˆencia Seja S](https://reader031.vdocuments.net/reader031/viewer/2022020415/5bf4ccd109d3f25b6f8ca0a9/html5/thumbnails/22.jpg)
Dem. Por definicao , existehomomorfismo ϕ : G → G
tal que ϕ ◦ f = f .Idem, temos ϕ : G → G
tal que ϕ ◦ f = f . Seguef = ϕ ◦ f = ϕ ◦ ϕ ◦ f
![Page 23: Seja S um conjunto. Diremos que um grupo G ´e livre gerado ...israel/Ensino/Algavan/grupolivre.pdf · Por unicidade, vem I ... Seja S um conjunto n˜ao vazio. existˆencia Seja S](https://reader031.vdocuments.net/reader031/viewer/2022020415/5bf4ccd109d3f25b6f8ca0a9/html5/thumbnails/23.jpg)
Dem. Por definicao , existehomomorfismo ϕ : G → G
tal que ϕ ◦ f = f .Idem, temos ϕ : G → G
tal que ϕ ◦ f = f . Seguef = ϕ ◦ f = ϕ ◦ ϕ ◦ f = IG
![Page 24: Seja S um conjunto. Diremos que um grupo G ´e livre gerado ...israel/Ensino/Algavan/grupolivre.pdf · Por unicidade, vem I ... Seja S um conjunto n˜ao vazio. existˆencia Seja S](https://reader031.vdocuments.net/reader031/viewer/2022020415/5bf4ccd109d3f25b6f8ca0a9/html5/thumbnails/24.jpg)
Dem. Por definicao , existehomomorfismo ϕ : G → G
tal que ϕ ◦ f = f .Idem, temos ϕ : G → G
tal que ϕ ◦ f = f . Seguef = ϕ ◦ f = ϕ ◦ ϕ ◦ f = IG ◦ f .
![Page 25: Seja S um conjunto. Diremos que um grupo G ´e livre gerado ...israel/Ensino/Algavan/grupolivre.pdf · Por unicidade, vem I ... Seja S um conjunto n˜ao vazio. existˆencia Seja S](https://reader031.vdocuments.net/reader031/viewer/2022020415/5bf4ccd109d3f25b6f8ca0a9/html5/thumbnails/25.jpg)
Dem. Por definicao , existehomomorfismo ϕ : G → G
tal que ϕ ◦ f = f .Idem, temos ϕ : G → G
tal que ϕ ◦ f = f . Seguef = ϕ ◦ f = ϕ ◦ ϕ ◦ f = IG ◦ f .
Por unicidade, vem IG = ϕ ◦ ϕ
![Page 26: Seja S um conjunto. Diremos que um grupo G ´e livre gerado ...israel/Ensino/Algavan/grupolivre.pdf · Por unicidade, vem I ... Seja S um conjunto n˜ao vazio. existˆencia Seja S](https://reader031.vdocuments.net/reader031/viewer/2022020415/5bf4ccd109d3f25b6f8ca0a9/html5/thumbnails/26.jpg)
Dem. Por definicao , existehomomorfismo ϕ : G → G
tal que ϕ ◦ f = f .Idem, temos ϕ : G → G
tal que ϕ ◦ f = f . Seguef = ϕ ◦ f = ϕ ◦ ϕ ◦ f = IG ◦ f .
Por unicidade, vem IG = ϕ ◦ ϕ e
analogamente, IG = ϕ ◦ ϕ.
![Page 27: Seja S um conjunto. Diremos que um grupo G ´e livre gerado ...israel/Ensino/Algavan/grupolivre.pdf · Por unicidade, vem I ... Seja S um conjunto n˜ao vazio. existˆencia Seja S](https://reader031.vdocuments.net/reader031/viewer/2022020415/5bf4ccd109d3f25b6f8ca0a9/html5/thumbnails/27.jpg)
existencia
Seja S um conjunto nao vazio.
![Page 28: Seja S um conjunto. Diremos que um grupo G ´e livre gerado ...israel/Ensino/Algavan/grupolivre.pdf · Por unicidade, vem I ... Seja S um conjunto n˜ao vazio. existˆencia Seja S](https://reader031.vdocuments.net/reader031/viewer/2022020415/5bf4ccd109d3f25b6f8ca0a9/html5/thumbnails/28.jpg)
existencia
Seja S um conjunto nao vazio.Fixemos de uma vez por todas
uma bijecao S → S ′,
![Page 29: Seja S um conjunto. Diremos que um grupo G ´e livre gerado ...israel/Ensino/Algavan/grupolivre.pdf · Por unicidade, vem I ... Seja S um conjunto n˜ao vazio. existˆencia Seja S](https://reader031.vdocuments.net/reader031/viewer/2022020415/5bf4ccd109d3f25b6f8ca0a9/html5/thumbnails/29.jpg)
existencia
Seja S um conjunto nao vazio.Fixemos de uma vez por todas
uma bijecao S → S ′, queescreveremos s 7→ s′.
![Page 30: Seja S um conjunto. Diremos que um grupo G ´e livre gerado ...israel/Ensino/Algavan/grupolivre.pdf · Por unicidade, vem I ... Seja S um conjunto n˜ao vazio. existˆencia Seja S](https://reader031.vdocuments.net/reader031/viewer/2022020415/5bf4ccd109d3f25b6f8ca0a9/html5/thumbnails/30.jpg)
existencia
Seja S um conjunto nao vazio.Fixemos de uma vez por todas
uma bijecao S → S ′, queescreveremos s 7→ s′. Seja
S = S ·∪S ′ ∪· {1},
![Page 31: Seja S um conjunto. Diremos que um grupo G ´e livre gerado ...israel/Ensino/Algavan/grupolivre.pdf · Por unicidade, vem I ... Seja S um conjunto n˜ao vazio. existˆencia Seja S](https://reader031.vdocuments.net/reader031/viewer/2022020415/5bf4ccd109d3f25b6f8ca0a9/html5/thumbnails/31.jpg)
existencia
Seja S um conjunto nao vazio.Fixemos de uma vez por todas
uma bijecao S → S ′, queescreveremos s 7→ s′. Seja
S = S ·∪S ′ ∪· {1},uniao disjunta.
![Page 32: Seja S um conjunto. Diremos que um grupo G ´e livre gerado ...israel/Ensino/Algavan/grupolivre.pdf · Por unicidade, vem I ... Seja S um conjunto n˜ao vazio. existˆencia Seja S](https://reader031.vdocuments.net/reader031/viewer/2022020415/5bf4ccd109d3f25b6f8ca0a9/html5/thumbnails/32.jpg)
Vamos pensar em S como umalfabeto.
![Page 33: Seja S um conjunto. Diremos que um grupo G ´e livre gerado ...israel/Ensino/Algavan/grupolivre.pdf · Por unicidade, vem I ... Seja S um conjunto n˜ao vazio. existˆencia Seja S](https://reader031.vdocuments.net/reader031/viewer/2022020415/5bf4ccd109d3f25b6f8ca0a9/html5/thumbnails/33.jpg)
Vamos pensar em S como umalfabeto. Uma palavra em S
![Page 34: Seja S um conjunto. Diremos que um grupo G ´e livre gerado ...israel/Ensino/Algavan/grupolivre.pdf · Por unicidade, vem I ... Seja S um conjunto n˜ao vazio. existˆencia Seja S](https://reader031.vdocuments.net/reader031/viewer/2022020415/5bf4ccd109d3f25b6f8ca0a9/html5/thumbnails/34.jpg)
Vamos pensar em S como umalfabeto. Uma palavra em S decomprimento n
![Page 35: Seja S um conjunto. Diremos que um grupo G ´e livre gerado ...israel/Ensino/Algavan/grupolivre.pdf · Por unicidade, vem I ... Seja S um conjunto n˜ao vazio. existˆencia Seja S](https://reader031.vdocuments.net/reader031/viewer/2022020415/5bf4ccd109d3f25b6f8ca0a9/html5/thumbnails/35.jpg)
Vamos pensar em S como umalfabeto. Uma palavra em S decomprimento n e uma sequenciax = (x1, . . . , xn),
![Page 36: Seja S um conjunto. Diremos que um grupo G ´e livre gerado ...israel/Ensino/Algavan/grupolivre.pdf · Por unicidade, vem I ... Seja S um conjunto n˜ao vazio. existˆencia Seja S](https://reader031.vdocuments.net/reader031/viewer/2022020415/5bf4ccd109d3f25b6f8ca0a9/html5/thumbnails/36.jpg)
Vamos pensar em S como umalfabeto. Uma palavra em S decomprimento n e uma sequenciax = (x1, . . . , xn), com cada
xi ∈ S.
![Page 37: Seja S um conjunto. Diremos que um grupo G ´e livre gerado ...israel/Ensino/Algavan/grupolivre.pdf · Por unicidade, vem I ... Seja S um conjunto n˜ao vazio. existˆencia Seja S](https://reader031.vdocuments.net/reader031/viewer/2022020415/5bf4ccd109d3f25b6f8ca0a9/html5/thumbnails/37.jpg)
Vamos pensar em S como umalfabeto. Uma palavra em S decomprimento n e uma sequenciax = (x1, . . . , xn), com cada
xi ∈ S.Convencionaremos que a palavravazia,
![Page 38: Seja S um conjunto. Diremos que um grupo G ´e livre gerado ...israel/Ensino/Algavan/grupolivre.pdf · Por unicidade, vem I ... Seja S um conjunto n˜ao vazio. existˆencia Seja S](https://reader031.vdocuments.net/reader031/viewer/2022020415/5bf4ccd109d3f25b6f8ca0a9/html5/thumbnails/38.jpg)
Vamos pensar em S como umalfabeto. Uma palavra em S decomprimento n e uma sequenciax = (x1, . . . , xn), com cada
xi ∈ S.Convencionaremos que a palavravazia, (),
![Page 39: Seja S um conjunto. Diremos que um grupo G ´e livre gerado ...israel/Ensino/Algavan/grupolivre.pdf · Por unicidade, vem I ... Seja S um conjunto n˜ao vazio. existˆencia Seja S](https://reader031.vdocuments.net/reader031/viewer/2022020415/5bf4ccd109d3f25b6f8ca0a9/html5/thumbnails/39.jpg)
Vamos pensar em S como umalfabeto. Uma palavra em S decomprimento n e uma sequenciax = (x1, . . . , xn), com cada
xi ∈ S.Convencionaremos que a palavravazia, (), tem comprimento 0.
![Page 40: Seja S um conjunto. Diremos que um grupo G ´e livre gerado ...israel/Ensino/Algavan/grupolivre.pdf · Por unicidade, vem I ... Seja S um conjunto n˜ao vazio. existˆencia Seja S](https://reader031.vdocuments.net/reader031/viewer/2022020415/5bf4ccd109d3f25b6f8ca0a9/html5/thumbnails/40.jpg)
Palavras podem ser justapostas:
![Page 41: Seja S um conjunto. Diremos que um grupo G ´e livre gerado ...israel/Ensino/Algavan/grupolivre.pdf · Por unicidade, vem I ... Seja S um conjunto n˜ao vazio. existˆencia Seja S](https://reader031.vdocuments.net/reader031/viewer/2022020415/5bf4ccd109d3f25b6f8ca0a9/html5/thumbnails/41.jpg)
Palavras podem ser justapostas:x = (x1, . . . , xn),y = (y1, . . . , ym)
![Page 42: Seja S um conjunto. Diremos que um grupo G ´e livre gerado ...israel/Ensino/Algavan/grupolivre.pdf · Por unicidade, vem I ... Seja S um conjunto n˜ao vazio. existˆencia Seja S](https://reader031.vdocuments.net/reader031/viewer/2022020415/5bf4ccd109d3f25b6f8ca0a9/html5/thumbnails/42.jpg)
Palavras podem ser justapostas:x = (x1, . . . , xn),y = (y1, . . . , ym)
;
x ? y = (x1, . . . , xn, y1, . . . , ym).Vale a associatividade.
![Page 43: Seja S um conjunto. Diremos que um grupo G ´e livre gerado ...israel/Ensino/Algavan/grupolivre.pdf · Por unicidade, vem I ... Seja S um conjunto n˜ao vazio. existˆencia Seja S](https://reader031.vdocuments.net/reader031/viewer/2022020415/5bf4ccd109d3f25b6f8ca0a9/html5/thumbnails/43.jpg)
Definimos a palavra inversa
![Page 44: Seja S um conjunto. Diremos que um grupo G ´e livre gerado ...israel/Ensino/Algavan/grupolivre.pdf · Por unicidade, vem I ... Seja S um conjunto n˜ao vazio. existˆencia Seja S](https://reader031.vdocuments.net/reader031/viewer/2022020415/5bf4ccd109d3f25b6f8ca0a9/html5/thumbnails/44.jpg)
Definimos a palavra inversade uma palavra
x = (x1, . . . , xn),
![Page 45: Seja S um conjunto. Diremos que um grupo G ´e livre gerado ...israel/Ensino/Algavan/grupolivre.pdf · Por unicidade, vem I ... Seja S um conjunto n˜ao vazio. existˆencia Seja S](https://reader031.vdocuments.net/reader031/viewer/2022020415/5bf4ccd109d3f25b6f8ca0a9/html5/thumbnails/45.jpg)
Definimos a palavra inversade uma palavra
x = (x1, . . . , xn),
pondo
x−1 = (x′n, . . . , x′1).
![Page 46: Seja S um conjunto. Diremos que um grupo G ´e livre gerado ...israel/Ensino/Algavan/grupolivre.pdf · Por unicidade, vem I ... Seja S um conjunto n˜ao vazio. existˆencia Seja S](https://reader031.vdocuments.net/reader031/viewer/2022020415/5bf4ccd109d3f25b6f8ca0a9/html5/thumbnails/46.jpg)
O proximo passo e definir umarelacao de equivalencia entrepalavras.
![Page 47: Seja S um conjunto. Diremos que um grupo G ´e livre gerado ...israel/Ensino/Algavan/grupolivre.pdf · Por unicidade, vem I ... Seja S um conjunto n˜ao vazio. existˆencia Seja S](https://reader031.vdocuments.net/reader031/viewer/2022020415/5bf4ccd109d3f25b6f8ca0a9/html5/thumbnails/47.jpg)
O proximo passo e definir umarelacao de equivalencia entrepalavras. Primeiro, palavras
obtidas por supressao doelemento distinguido 1
![Page 48: Seja S um conjunto. Diremos que um grupo G ´e livre gerado ...israel/Ensino/Algavan/grupolivre.pdf · Por unicidade, vem I ... Seja S um conjunto n˜ao vazio. existˆencia Seja S](https://reader031.vdocuments.net/reader031/viewer/2022020415/5bf4ccd109d3f25b6f8ca0a9/html5/thumbnails/48.jpg)
O proximo passo e definir umarelacao de equivalencia entrepalavras. Primeiro, palavras
obtidas por supressao doelemento distinguido 1 sao
declaradas equivalentes: e.g., 1
(x1, 1, x3, . . . , xn)
![Page 49: Seja S um conjunto. Diremos que um grupo G ´e livre gerado ...israel/Ensino/Algavan/grupolivre.pdf · Por unicidade, vem I ... Seja S um conjunto n˜ao vazio. existˆencia Seja S](https://reader031.vdocuments.net/reader031/viewer/2022020415/5bf4ccd109d3f25b6f8ca0a9/html5/thumbnails/49.jpg)
O proximo passo e definir umarelacao de equivalencia entrepalavras. Primeiro, palavras
obtidas por supressao doelemento distinguido 1 sao
declaradas equivalentes: e.g., 1
(x1, 1, x3, . . . , xn) ∼ (x1, x3, . . . , xn)
![Page 50: Seja S um conjunto. Diremos que um grupo G ´e livre gerado ...israel/Ensino/Algavan/grupolivre.pdf · Por unicidade, vem I ... Seja S um conjunto n˜ao vazio. existˆencia Seja S](https://reader031.vdocuments.net/reader031/viewer/2022020415/5bf4ccd109d3f25b6f8ca0a9/html5/thumbnails/50.jpg)
O proximo passo e definir umarelacao de equivalencia entrepalavras. Primeiro, palavras
obtidas por supressao doelemento distinguido 1 sao
declaradas equivalentes: e.g., 1
(x1, 1, x3, . . . , xn) ∼ (x1, x3, . . . , xn)1
do latim, exempli gratia : por exemplo
![Page 51: Seja S um conjunto. Diremos que um grupo G ´e livre gerado ...israel/Ensino/Algavan/grupolivre.pdf · Por unicidade, vem I ... Seja S um conjunto n˜ao vazio. existˆencia Seja S](https://reader031.vdocuments.net/reader031/viewer/2022020415/5bf4ccd109d3f25b6f8ca0a9/html5/thumbnails/51.jpg)
(1, 1)
![Page 52: Seja S um conjunto. Diremos que um grupo G ´e livre gerado ...israel/Ensino/Algavan/grupolivre.pdf · Por unicidade, vem I ... Seja S um conjunto n˜ao vazio. existˆencia Seja S](https://reader031.vdocuments.net/reader031/viewer/2022020415/5bf4ccd109d3f25b6f8ca0a9/html5/thumbnails/52.jpg)
(1, 1) ∼ (1) ∼ ()(1, a, 1, b)
![Page 53: Seja S um conjunto. Diremos que um grupo G ´e livre gerado ...israel/Ensino/Algavan/grupolivre.pdf · Por unicidade, vem I ... Seja S um conjunto n˜ao vazio. existˆencia Seja S](https://reader031.vdocuments.net/reader031/viewer/2022020415/5bf4ccd109d3f25b6f8ca0a9/html5/thumbnails/53.jpg)
(1, 1) ∼ (1) ∼ ()(1, a, 1, b) ∼ (a, b)
Por fim, se duas entradasconsecutivas sao da forma
s, s′
![Page 54: Seja S um conjunto. Diremos que um grupo G ´e livre gerado ...israel/Ensino/Algavan/grupolivre.pdf · Por unicidade, vem I ... Seja S um conjunto n˜ao vazio. existˆencia Seja S](https://reader031.vdocuments.net/reader031/viewer/2022020415/5bf4ccd109d3f25b6f8ca0a9/html5/thumbnails/54.jpg)
(1, 1) ∼ (1) ∼ ()(1, a, 1, b) ∼ (a, b)
Por fim, se duas entradasconsecutivas sao da forma
s, s′ ou s′, s,
![Page 55: Seja S um conjunto. Diremos que um grupo G ´e livre gerado ...israel/Ensino/Algavan/grupolivre.pdf · Por unicidade, vem I ... Seja S um conjunto n˜ao vazio. existˆencia Seja S](https://reader031.vdocuments.net/reader031/viewer/2022020415/5bf4ccd109d3f25b6f8ca0a9/html5/thumbnails/55.jpg)
(1, 1) ∼ (1) ∼ ()(1, a, 1, b) ∼ (a, b)
Por fim, se duas entradasconsecutivas sao da forma
s, s′ ou s′, s, suprimimos ambasas letras, e.g.,
(a, b, b′)
![Page 56: Seja S um conjunto. Diremos que um grupo G ´e livre gerado ...israel/Ensino/Algavan/grupolivre.pdf · Por unicidade, vem I ... Seja S um conjunto n˜ao vazio. existˆencia Seja S](https://reader031.vdocuments.net/reader031/viewer/2022020415/5bf4ccd109d3f25b6f8ca0a9/html5/thumbnails/56.jpg)
(1, 1) ∼ (1) ∼ ()(1, a, 1, b) ∼ (a, b)
Por fim, se duas entradasconsecutivas sao da forma
s, s′ ou s′, s, suprimimos ambasas letras, e.g.,
(a, b, b′) ∼ (a)
![Page 57: Seja S um conjunto. Diremos que um grupo G ´e livre gerado ...israel/Ensino/Algavan/grupolivre.pdf · Por unicidade, vem I ... Seja S um conjunto n˜ao vazio. existˆencia Seja S](https://reader031.vdocuments.net/reader031/viewer/2022020415/5bf4ccd109d3f25b6f8ca0a9/html5/thumbnails/57.jpg)
(1, 1) ∼ (1) ∼ ()(1, a, 1, b) ∼ (a, b)
Por fim, se duas entradasconsecutivas sao da forma
s, s′ ou s′, s, suprimimos ambasas letras, e.g.,
(a, b, b′) ∼ (a) ∼ (b′, b, a)
![Page 58: Seja S um conjunto. Diremos que um grupo G ´e livre gerado ...israel/Ensino/Algavan/grupolivre.pdf · Por unicidade, vem I ... Seja S um conjunto n˜ao vazio. existˆencia Seja S](https://reader031.vdocuments.net/reader031/viewer/2022020415/5bf4ccd109d3f25b6f8ca0a9/html5/thumbnails/58.jpg)
A justaposicao e a inversaorespeitam a relacao de
equivalencia:
![Page 59: Seja S um conjunto. Diremos que um grupo G ´e livre gerado ...israel/Ensino/Algavan/grupolivre.pdf · Por unicidade, vem I ... Seja S um conjunto n˜ao vazio. existˆencia Seja S](https://reader031.vdocuments.net/reader031/viewer/2022020415/5bf4ccd109d3f25b6f8ca0a9/html5/thumbnails/59.jpg)
A justaposicao e a inversaorespeitam a relacao de
equivalencia:x ∼ α, y ∼ β ⇒
![Page 60: Seja S um conjunto. Diremos que um grupo G ´e livre gerado ...israel/Ensino/Algavan/grupolivre.pdf · Por unicidade, vem I ... Seja S um conjunto n˜ao vazio. existˆencia Seja S](https://reader031.vdocuments.net/reader031/viewer/2022020415/5bf4ccd109d3f25b6f8ca0a9/html5/thumbnails/60.jpg)
A justaposicao e a inversaorespeitam a relacao de
equivalencia:x ∼ α, y ∼ β ⇒ x ? y ∼ α ? β
![Page 61: Seja S um conjunto. Diremos que um grupo G ´e livre gerado ...israel/Ensino/Algavan/grupolivre.pdf · Por unicidade, vem I ... Seja S um conjunto n˜ao vazio. existˆencia Seja S](https://reader031.vdocuments.net/reader031/viewer/2022020415/5bf4ccd109d3f25b6f8ca0a9/html5/thumbnails/61.jpg)
A justaposicao e a inversaorespeitam a relacao de
equivalencia:x ∼ α, y ∼ β ⇒ x ? y ∼ α ? β
x−1 ∼ α−1.
![Page 62: Seja S um conjunto. Diremos que um grupo G ´e livre gerado ...israel/Ensino/Algavan/grupolivre.pdf · Por unicidade, vem I ... Seja S um conjunto n˜ao vazio. existˆencia Seja S](https://reader031.vdocuments.net/reader031/viewer/2022020415/5bf4ccd109d3f25b6f8ca0a9/html5/thumbnails/62.jpg)
A justaposicao e a inversaorespeitam a relacao de
equivalencia:x ∼ α, y ∼ β ⇒ x ? y ∼ α ? β
x−1 ∼ α−1.Toda palavra e equivalente a
uma expressao reduzida, unica,
![Page 63: Seja S um conjunto. Diremos que um grupo G ´e livre gerado ...israel/Ensino/Algavan/grupolivre.pdf · Por unicidade, vem I ... Seja S um conjunto n˜ao vazio. existˆencia Seja S](https://reader031.vdocuments.net/reader031/viewer/2022020415/5bf4ccd109d3f25b6f8ca0a9/html5/thumbnails/63.jpg)
A justaposicao e a inversaorespeitam a relacao de
equivalencia:x ∼ α, y ∼ β ⇒ x ? y ∼ α ? β
x−1 ∼ α−1.Toda palavra e equivalente a
uma expressao reduzida, unica,de significado evidente.
![Page 64: Seja S um conjunto. Diremos que um grupo G ´e livre gerado ...israel/Ensino/Algavan/grupolivre.pdf · Por unicidade, vem I ... Seja S um conjunto n˜ao vazio. existˆencia Seja S](https://reader031.vdocuments.net/reader031/viewer/2022020415/5bf4ccd109d3f25b6f8ca0a9/html5/thumbnails/64.jpg)
Denotemos por [x1, . . . , xn] aclasse de equivalencia da palavra(x1, . . . , xn).
![Page 65: Seja S um conjunto. Diremos que um grupo G ´e livre gerado ...israel/Ensino/Algavan/grupolivre.pdf · Por unicidade, vem I ... Seja S um conjunto n˜ao vazio. existˆencia Seja S](https://reader031.vdocuments.net/reader031/viewer/2022020415/5bf4ccd109d3f25b6f8ca0a9/html5/thumbnails/65.jpg)
Denotemos por [x1, . . . , xn] aclasse de equivalencia da palavra(x1, . . . , xn). As operacoes de
justaposicao e de inversaodefinem uma estrutura de grupo
na colecao G das classes deequivalencia de palavras.
![Page 66: Seja S um conjunto. Diremos que um grupo G ´e livre gerado ...israel/Ensino/Algavan/grupolivre.pdf · Por unicidade, vem I ... Seja S um conjunto n˜ao vazio. existˆencia Seja S](https://reader031.vdocuments.net/reader031/viewer/2022020415/5bf4ccd109d3f25b6f8ca0a9/html5/thumbnails/66.jpg)
Teorema. Seja Sf→ G a
aplicacao dada por s 7→ [s].
![Page 67: Seja S um conjunto. Diremos que um grupo G ´e livre gerado ...israel/Ensino/Algavan/grupolivre.pdf · Por unicidade, vem I ... Seja S um conjunto n˜ao vazio. existˆencia Seja S](https://reader031.vdocuments.net/reader031/viewer/2022020415/5bf4ccd109d3f25b6f8ca0a9/html5/thumbnails/67.jpg)
Teorema. Seja Sf→ G a
aplicacao dada por s 7→ [s].Entao G e o grupo livre
gerado por S.
Dem. Facamos o teste comg : S → G′ = grupo.
![Page 68: Seja S um conjunto. Diremos que um grupo G ´e livre gerado ...israel/Ensino/Algavan/grupolivre.pdf · Por unicidade, vem I ... Seja S um conjunto n˜ao vazio. existˆencia Seja S](https://reader031.vdocuments.net/reader031/viewer/2022020415/5bf4ccd109d3f25b6f8ca0a9/html5/thumbnails/68.jpg)
Devemos produzir ϕ : G → G′
unico com a propriedadeg = ϕ ◦ f .
![Page 69: Seja S um conjunto. Diremos que um grupo G ´e livre gerado ...israel/Ensino/Algavan/grupolivre.pdf · Por unicidade, vem I ... Seja S um conjunto n˜ao vazio. existˆencia Seja S](https://reader031.vdocuments.net/reader031/viewer/2022020415/5bf4ccd109d3f25b6f8ca0a9/html5/thumbnails/69.jpg)
Devemos produzir ϕ : G → G′
unico com a propriedadeg = ϕ ◦ f . Cada elemento de Gadmite uma unica representacao
reduzida, x = [x1, . . . , xn].
![Page 70: Seja S um conjunto. Diremos que um grupo G ´e livre gerado ...israel/Ensino/Algavan/grupolivre.pdf · Por unicidade, vem I ... Seja S um conjunto n˜ao vazio. existˆencia Seja S](https://reader031.vdocuments.net/reader031/viewer/2022020415/5bf4ccd109d3f25b6f8ca0a9/html5/thumbnails/70.jpg)
Comecemos por estenderg(s′) = g(s)−1
![Page 71: Seja S um conjunto. Diremos que um grupo G ´e livre gerado ...israel/Ensino/Algavan/grupolivre.pdf · Por unicidade, vem I ... Seja S um conjunto n˜ao vazio. existˆencia Seja S](https://reader031.vdocuments.net/reader031/viewer/2022020415/5bf4ccd109d3f25b6f8ca0a9/html5/thumbnails/71.jpg)
Comecemos por estenderg(s′) = g(s)−1 para cada s ∈ S.
![Page 72: Seja S um conjunto. Diremos que um grupo G ´e livre gerado ...israel/Ensino/Algavan/grupolivre.pdf · Por unicidade, vem I ... Seja S um conjunto n˜ao vazio. existˆencia Seja S](https://reader031.vdocuments.net/reader031/viewer/2022020415/5bf4ccd109d3f25b6f8ca0a9/html5/thumbnails/72.jpg)
Comecemos por estenderg(s′) = g(s)−1 para cada s ∈ S.
Podemos entao fazerϕ(x) =
![Page 73: Seja S um conjunto. Diremos que um grupo G ´e livre gerado ...israel/Ensino/Algavan/grupolivre.pdf · Por unicidade, vem I ... Seja S um conjunto n˜ao vazio. existˆencia Seja S](https://reader031.vdocuments.net/reader031/viewer/2022020415/5bf4ccd109d3f25b6f8ca0a9/html5/thumbnails/73.jpg)
Comecemos por estenderg(s′) = g(s)−1 para cada s ∈ S.
Podemos entao fazerϕ(x) = g(x1) · · · g(xn) ∈ G′.
![Page 74: Seja S um conjunto. Diremos que um grupo G ´e livre gerado ...israel/Ensino/Algavan/grupolivre.pdf · Por unicidade, vem I ... Seja S um conjunto n˜ao vazio. existˆencia Seja S](https://reader031.vdocuments.net/reader031/viewer/2022020415/5bf4ccd109d3f25b6f8ca0a9/html5/thumbnails/74.jpg)
Comecemos por estenderg(s′) = g(s)−1 para cada s ∈ S.
Podemos entao fazerϕ(x) = g(x1) · · · g(xn) ∈ G′.
Verifica-se sem surpresas que ϕsatisfaz o requerido.
![Page 75: Seja S um conjunto. Diremos que um grupo G ´e livre gerado ...israel/Ensino/Algavan/grupolivre.pdf · Por unicidade, vem I ... Seja S um conjunto n˜ao vazio. existˆencia Seja S](https://reader031.vdocuments.net/reader031/viewer/2022020415/5bf4ccd109d3f25b6f8ca0a9/html5/thumbnails/75.jpg)
exercıcios1. Se f : S → G apresenta um grupo livre, entao f e
injetiva.
2. Sejam f : S → G,f ′ : S ′ → G′ apresentacoes de
grupos livres. Mostre que para cada σ : S → S ′ existe
um e um so homomorfismo de grupos, σ : G → G′
tal que σ ◦ f = f ′ ◦ σ. Mostre que σ e injetivo (resp.
sobre) ⇐⇒ σ . . .
3. Encontre matrizes A,B tais que o subgrupo 〈A,B〉 ⊂GLn e livre em 2 geradores.
![Page 76: Seja S um conjunto. Diremos que um grupo G ´e livre gerado ...israel/Ensino/Algavan/grupolivre.pdf · Por unicidade, vem I ... Seja S um conjunto n˜ao vazio. existˆencia Seja S](https://reader031.vdocuments.net/reader031/viewer/2022020415/5bf4ccd109d3f25b6f8ca0a9/html5/thumbnails/76.jpg)
Theorem (Sanov).
For any complex number z satisfying |z| > 2,the matrices ( 1 0
z 1 ) , ( 1 z0 1 ) generate
a nonabelian free subgroup of GL2(C).
Prepare uma exposicao.