Matemtica Discreta

Aula n 13 Francisco Restivo 2006-04-20

Estruturas algbricas: Operaes binrias: Uma operao binria num conjunto no vazio S uma regra para combinar dois elementos x, y S para produzir um elemento z S, representado como x y. De outro modo, uma operao binria num conjunto no vazio S uma funo f: S S S. Se x e y so elementos de S, f(x, y) representado como x y. A unio e a interseco de conjuntos, a composio de funes, a adio e a multiplicao de matrizes, as operaes aritmticas no conjunto dos nmeros reais, so operaes binrias. A subtraco no uma operao binria no conjunto Z+ dos inteiros positivos (o resultado no pode ser negativo). A diviso no uma operao binria em Z (resultado no pode ser fraccionrio), nem em Q (diviso por zero). 2

Tabelas: Uma operao binria num conjunto no vazio S pode ser definida por uma tabela bidimensional (de Cawley) em que o resultado x y fica na interseco da linha x com a coluna y:
a b c d a a d c d b b c b b c c a a c d d b a a

Definies: Propriedade associativa: se e s se x,y,zS, (xy)z = x(yz) Propriedade comutativa: se e s se x,yS, xy = yx Elemento identidade e: se e s se xS, xe = ex = x Elemento inverso y = x -1: se e s se xy = yx = e

Teorema: Numa operao binria em S, se existir elemento identidade, ele nico. Teorema: Numa operao binria associativa em S, com elemento identidade e, se existir elemento inverso, ele nico.
Se yx = xy = e e zx = xz = e, ento y = ye = y(xz) = (yx)z = ez = z

Definio: Um conjunto no vazio S com uma operao binria associativa (S, ) diz-se um semigrupo: x,y,zS, (xy)z=x(yz) Se a operao binria for comutativa, o semigrupo diz-se abeliano (ou comutativo).

Definio: Um semigrupo (S, ) com elemento identidade diz-se um monide. Se a operao binria for comutativa, o monide diz-se um monide abeliano (ou comutativo). Definio: Um monide (S, ) em que cada elemento tem um elemento inverso diz-se um grupo. Se a operao binria for comutativa, o grupo diz-se um grupo abeliano (ou comutativo). Muitas vezes omite-se o smbolo nas expresses algbricas, desde que da no resulte confuso (notao multiplicativa).
No esquecer que xy = yx s se a operao for comutativa.

Tambm se pode usar a operao potncia xn = x x ... x. Se a operao binria a adio, utiliza-se a notao aditiva. 5

Definio: A ordem de um grupo (G, ) a cardinalidade do conjunto G, |G|. Teorema: Num grupo (G, ) verificam-se as leis do cancelamento i) ii) esquerda: se ax = ay ento x = y direita: se xa = ya ento x = y

Teorema: Num grupo (G, ) i) ii) a equao ax = b tem uma soluo nica x = a-1b a equao ya = b tem uma soluo nica y = ba-1

Teorema: Na tabela de Cawley de um grupo (G, ) finito, cada elemento de G aparece uma e uma s vez em cada linha. 6

Grupos cclicos: Considere-se o seguinte grupo:

e a b c e e a b c a a b c e b b c e a c c e a b

Um grupo (G, ) diz-se cclico se existe um elemento a G tal que gG, nZ tal que g = an. O elemento a diz-se o elemento gerador do grupo (G, ).

Grupos diedrais:
1 2 3

r0 r1 r2 m1 m2 m3

1 2 3 3 1 2 2

Grupo diedral de ordem 3:

r0 r1 r2 m1 m2 m3 r0 r0 r1 r2 m1 m2 m3 r1 r1 r2 r0 m3 m1 m2 r2 r2 r0 r1 m2 m3 m1 m1 m1 m2 m3 r0 r1 r2 m2 m2 m3 m1 r2 r0 r1 m3 m3 m1 m2 r1 r2 r0

3 1 1

3 2 3 2 1 2 1 3

1 2 3

1 3 2

3 2 1

m1 r2 = m 2 8

Grupos de permutaes: Uma permutao de um conjunto S uma bijeco de S sobre S:

x 1 2 3 4 p1(x) 1 4 3 2

1 2 3 4 p1 = 1 4 3 2

No conjunto de todas as permutaes de um conjunto S pode definir-se a operao binria composio de permutaes: pipj, pi seguido de pj (e no pi depois de pj, como no caso da composio de funes).

Exemplo: Conjunto de todas as permutaes do conjunto {1, 2, 3}

1 1 2 3 p1 = p 2 = 2 1 2 3 1 2 3 1 p4 = p5 = 1 3 2 3 2 3 1 p3 = 3 3 1 2 3 1 p6 = 2 1 2 2 3 1 2 2 3 1 3

Operao binria:
1 2 3 1 2 3 1 2 3 p3p5 = = = p4 3 1 2 3 2 1 1 3 2

10