Escolar Documentos
Profissional Documentos
Cultura Documentos
ao
Operac
oes Bin
arias
Semigrupos
Grupos
Estruturas Alg
ebricas
Prof. Dr. Leandro Balby Marinho
Matem
atica Discreta
1 / 46
UFCG CEEI
Introduc
ao
Operac
oes Bin
arias
Semigrupos
Grupos
Roteiro
1. Introducao
2. Operacoes Binarias
3. Semigrupos
4. Grupos
2 / 46
UFCG CEEI
Introduc
ao
Operac
oes Bin
arias
Semigrupos
Grupos
Introducao
I
Algebra
Elementar.
I
I
Modelagem na computacao:
I
I
2 / 46
UFCG CEEI
Introduc
ao
Operac
oes Bin
arias
Semigrupos
Grupos
Roteiro
1. Introducao
2. Operacoes Binarias
3. Semigrupos
4. Grupos
3 / 46
UFCG CEEI
Introduc
ao
Operac
oes Bin
arias
Semigrupos
Grupos
Operacoes Binarias
Definicao 2
Uma operacao binaria sobre um conjunto A:
I
e uma funcao f : A A A.
3 / 46
UFCG CEEI
Introduc
ao
Operac
oes Bin
arias
Semigrupos
Grupos
Notacao
4 / 46
UFCG CEEI
Introduc
ao
Operac
oes Bin
arias
Semigrupos
Grupos
Exemplo 1
a, b Z (a + b) Z e
(a + b) e u
nico
5 / 46
UFCG CEEI
Introduc
ao
Operac
oes Bin
arias
Semigrupos
Grupos
Exemplo 2
6 / 46
UFCG CEEI
Introduc
ao
Operac
oes Bin
arias
Semigrupos
Grupos
Exemplo 3
7 / 46
UFCG CEEI
Introduc
ao
Operac
oes Bin
arias
Semigrupos
Grupos
Exemplo 4
e sao operac
oes binarias em P(S) (verifique!).
8 / 46
UFCG CEEI
Introduc
ao
Operac
oes Bin
arias
Semigrupos
Grupos
Exerccio 1
9 / 46
UFCG CEEI
Introduc
ao
Operac
oes Bin
arias
Semigrupos
Grupos
Exerccio 2
10 / 46
UFCG CEEI
Introduc
ao
Operac
oes Bin
arias
Semigrupos
Grupos
Operacoes Binarias
11 / 46
UFCG CEEI
Introduc
ao
Operac
oes Bin
arias
Semigrupos
Grupos
a1
a2
..
.
ai
..
.
a1
a2
...
ai
...
an
ai aj
an
Elemento na posicao i, j denota ai aj .
12 / 46
UFCG CEEI
Introduc
ao
Operac
oes Bin
arias
Semigrupos
Grupos
a, b A
13 / 46
UFCG CEEI
Introduc
ao
Operac
oes Bin
arias
Semigrupos
Grupos
Exerccio 3
14 / 46
UFCG CEEI
Introduc
ao
Operac
oes Bin
arias
Semigrupos
Grupos
a (b c) = (a b) c
a, b, c A
15 / 46
UFCG CEEI
Introduc
ao
Operac
oes Bin
arias
Semigrupos
Grupos
Exerccio 4
a, b Z+
16 / 46
UFCG CEEI
Introduc
ao
Operac
oes Bin
arias
Semigrupos
Grupos
ae =e a=a
Teorema 1
O elemento neutro, quando existe, e u
nico.
17 / 46
UFCG CEEI
Introduc
ao
Operac
oes Bin
arias
Semigrupos
Grupos
ab =ba=e
entao b e chamado de elemento inverso e e denotado por a1 .
18 / 46
UFCG CEEI
Introduc
ao
Operac
oes Bin
arias
Semigrupos
Grupos
Exemplo 6
0+a=a+0
a Z
19 / 46
(1)
UFCG CEEI
Introduc
ao
Operac
oes Bin
arias
Semigrupos
Grupos
Exerccio 5
20 / 46
UFCG CEEI
Introduc
ao
Operac
oes Bin
arias
Semigrupos
Grupos
Roteiro
1. Introducao
2. Operacoes Binarias
3. Semigrupos
4. Grupos
21 / 46
UFCG CEEI
Introduc
ao
Operac
oes Bin
arias
Semigrupos
Grupos
Estruturas Algebricas
Definicao 1
Uma estrutura algebrica consiste de um conjunto associado a uma
ou mais operacoes fechadas sobre esse conjunto satisfazendo certos
axiomas.
21 / 46
UFCG CEEI
Introduc
ao
Operac
oes Bin
arias
Semigrupos
Grupos
22 / 46
UFCG CEEI
Introduc
ao
Operac
oes Bin
arias
Semigrupos
Grupos
Semigrupos
23 / 46
UFCG CEEI
Introduc
ao
Operac
oes Bin
arias
Semigrupos
Grupos
Exemplo 7
(i) hN, +i e um semigrupo, pois a adicao e associativa nos
naturais.
(ii) hN, i e um semigrupo, pois a multiplicacao e associativa nos
naturais.
(iii) hP(S), i e um semigrupo, pois a uniao e uma operacao
associativa entre conjuntos.
(iv) hZ, i nao e um semigrupo, pois a subtracao nao e
associativa nos inteiros. Assuma 2, 5, 6 Z. Entao
(2 5) 6 = 3 6 = 9
2 (5 6) = 2 (1) = 3
24 / 46
UFCG CEEI
Introduc
ao
Operac
oes Bin
arias
Semigrupos
Grupos
Exemplo 8
25 / 46
UFCG CEEI
Introduc
ao
Operac
oes Bin
arias
Semigrupos
Grupos
Exemplo 8 cont.
Mostrando associatividade:
(a b) c = (a + b ab) c = (a + b ab) + c (a + b ab)c
= a + b ab + c ac bc + abc
= a + b + c ab ac bc + abc
a (b c) = a (b + c bc) = a + (b + c bc) a(b + c bc)
= a + b + c bc ab ac + abc
Mostrando comutatividade:
a b = a + b ab = b + a ba = b a
26 / 46
UFCG CEEI
Introduc
ao
Operac
oes Bin
arias
Semigrupos
Grupos
Exemplo 9
I
Seja A = {a1 , a2 , . . . , an }.
Entao, hA , i e um semigrupo.
27 / 46
UFCG CEEI
Introduc
ao
Operac
oes Bin
arias
Semigrupos
Grupos
Monoide
Semigrupo que satisfaz identidade.
Exemplo 11: O semigrupo hP(S), i e um monoide pois e o
elemento neutro:
A = A = A,
A P(S)
28 / 46
UFCG CEEI
Introduc
ao
Operac
oes Bin
arias
Semigrupos
Grupos
Monoide
Semigrupo que satisfaz identidade.
Exemplo 11: O semigrupo hP(S), i e um monoide pois e o
elemento neutro:
A = A = A,
A P(S)
u = u = u,
u A
28 / 46
UFCG CEEI
Introduc
ao
Operac
oes Bin
arias
Semigrupos
Grupos
Exerccio 6
Quais dos seguintes semigrupos sao mon
oides? Identifique os elementos neutros.
a) hN, +i
b) hN, i
c) hQ, i
d) hR+ , +i
e) hR, +i
f) hP(S), i
g) hP(S), i
29 / 46
UFCG CEEI
Introduc
ao
Operac
oes Bin
arias
Semigrupos
Grupos
30 / 46
UFCG CEEI
Introduc
ao
Operac
oes Bin
arias
Semigrupos
Grupos
Exemplo 10
31 / 46
UFCG CEEI
Introduc
ao
Operac
oes Bin
arias
Semigrupos
Grupos
Isomorfismo e Homomorfismo
Sejam hS, i e hT , i dois semigrupos2 . Uma bijecao f : S T e
um isomorfismo de hS, i em hT , i se
f (a b) = f (a) f (b)
Para mostrar que dois semigrupos sao isomorfos devemos mostrar
os passos abaixo:
1. Definir uma funcao f : S T .
2. Mostrar que f e bijetora.
3. Mostrar que f (a b) = f (a) f (b)
Quando somente (3) e satisfeito temos um homomorfismo.
32 / 46
UFCG CEEI
Introduc
ao
Operac
oes Bin
arias
Semigrupos
Grupos
Exemplo 11
33 / 46
UFCG CEEI
Introduc
ao
Operac
oes Bin
arias
Semigrupos
Grupos
Roteiro
1. Introducao
2. Operacoes Binarias
3. Semigrupos
4. Grupos
34 / 46
UFCG CEEI
Introduc
ao
Operac
oes Bin
arias
Semigrupos
Grupos
Grupos
Um grupo hG , i e um mon
oide com a seguinte propriedade
adicional:
a G ,
a0 G
a a0 = a0 a = e
associatividade (semigrupo).
semigrupo + identidade (mon
oide).
mon
oide + inverso (grupo).
grupo + comutatividade (grupo abeliano).
34 / 46
UFCG CEEI
Introduc
ao
Operac
oes Bin
arias
Semigrupos
Grupos
Exemplo 12
35 / 46
UFCG CEEI
Introduc
ao
Operac
oes Bin
arias
Semigrupos
Grupos
Exemplo 13
36 / 46
UFCG CEEI
Introduc
ao
Operac
oes Bin
arias
Semigrupos
Grupos
Exemplo 13 cont.
I
Associatividade:
ab
c
2
abc
=
4
bc
a (b c) = a
2
abc
=
4
(a b) c =
37 / 46
UFCG CEEI
Introduc
ao
Operac
oes Bin
arias
Semigrupos
Grupos
Exemplo 13 cont.
I
Elemento neutro: 2
a2=
a2
2a
=a=
=2a
2
2
4
a4/a
4a/a
4
=
=2=
= a
a
2
2
a
Comutatividade:
a, b G ,
ab =ba
38 / 46
(2)
UFCG CEEI
Introduc
ao
Operac
oes Bin
arias
Semigrupos
Grupos
Unicidade de Inversos
Teorema 2
Todo elemento a em um grupo hG , i tem apenas uma inversa em G .
Prova:
I
entao:
a0 (a a00 ) = a0 e = a0
(a0 a) a00 = e a00 = a00
39 / 46
UFCG CEEI
Introduc
ao
Operac
oes Bin
arias
Semigrupos
Grupos
Regras de Cancelamento
Teorema 3
Sejam a, b, c elementos de um grupo hG , i. Entao:
(a) a b = a c b = c (cancelamento `a esquerda).
(b) b a = c a b = c (cancelamento `a direita).
Prova para (a): Multiplicando os dois lados por a1
a1 (a b) = a1 (a c)
(a1 a) b = (a1 a) c
e b =e c
b=c
(por associatividade)
40 / 46
UFCG CEEI
Introduc
ao
Operac
oes Bin
arias
Semigrupos
Grupos
a x2 = b x1 = x2
41 / 46
UFCG CEEI
Introduc
ao
Operac
oes Bin
arias
Semigrupos
Grupos
Representacao em Tabelas
I
Se um grupo hG , i tem um n
umero finito de elementos,
entao a sua operacao binaria pode ser dada por uma tabela.
A ordem de hG , i e o n
umero de elementos |G | em G .
42 / 46
UFCG CEEI
Introduc
ao
Operac
oes Bin
arias
Semigrupos
Grupos
Ordem 1: G = {e}
I
e e = e.
Ordem 2: G = {e, a}
e
a
e
e
a
a
a
?
43 / 46
UFCG CEEI
Introduc
ao
Operac
oes Bin
arias
Semigrupos
Grupos
Ordem 1: G = {e}
I
e e = e.
Ordem 2: G = {e, a}
e
a
a
a
?
e
a
e
e
a
e
e
a
a
a
e
43 / 46
UFCG CEEI
Introduc
ao
Operac
oes Bin
arias
Semigrupos
Grupos
Ordem 3: G = {e, a, b}
e
a
b
e
e
a
b
a
a
?
?
b
b
?
?
44 / 46
UFCG CEEI
Introduc
ao
Operac
oes Bin
arias
Semigrupos
Grupos
Ordem 3: G = {e, a, b}
e
a
b
a
a
?
?
b
b
?
?
e
a
b
e
e
a
b
e
e
a
b
a
a
e
a
b
b
b
e
44 / 46
UFCG CEEI
Introduc
ao
Operac
oes Bin
arias
Semigrupos
Grupos
Exerccio 6
Suponha que e uma operacao binaria associativa em {1, a, b, c, d}.
Complete a tabela a seguir de modo a definir um grupo com identidade 1.
1
a
b
c
d
1
1
c
d
c
d
a
b
45 / 46
UFCG CEEI
Introduc
ao
Operac
oes Bin
arias
Semigrupos
Grupos
Referencias
Keneth H. Rosen. Discrete Mathematics and Its Applications.
Sexta Edicao. McGRAW-HILL International Edition, 2007.
Judith L. Gersting. Fundamentos Matematicos para a Ciencia
da Computacao. Quinta Edicao. LTC, 2004.
Algebraic Structures. Wikipedia. Wikimedia Foundation Inc..
02 Nov. 2010.
hhttp://en.wikipedia.org/wiki/Algebraic_structurei.
Joao C. A. Barata. Curso de Fsica Matematica. Livro on-line.
02 Nov. 2010. hhttp://denebola.if.usp.br/~jbarata/
Notas_de_aula/notas_de_aula.htmli.
46 / 46
UFCG CEEI