Seja S um conjunto. Diremos que um grupo G ´e livre gerado...

76
Grupos livres Seja S um conjunto. Diremos que um grupo G ´ e livre gerado por S se existir uma fun¸ ao f : S G com a propriedade seguinte:

Transcript of Seja S um conjunto. Diremos que um grupo G ´e livre gerado...

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

(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

(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

(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

(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

(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

(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

(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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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.