Você está na página 1de 1

UFCG - Universidade Federal de Campina Grande

2016.2
Professor: Leandro Balby Marinho
Monitora: Ivyna Rayany Santino Alves

6 lista de exerccios

01. Dada uma lgebra < S, >, mostre para cada caso se temos semigrupo, monide,
grupo ou nenhum.
a. R(Reais) e x + y = (x + y )2
b. N(Naturais) e x * y = max(x,y)
02. Defina uma operao no conjunto dos inteiros(Z) que sejam:
a. Associativa mas no comutativa
b. Nem associativa e nem comutativa
03. Demonstre as seguintes propriedades das lgebras booleanas da expresso:
Justifique cada passo da demonstrao na expresso a seguir:
x + (x . y) = x, x . (x + y) = x
04. Em cada caso abaixo, defina e justifique se h bijeo, isomorfismo ou
homomorfismo:
a. Se G = (Q* , .) e J = (R*, .), ento f : Q R, f(x) = x2
b. f: < Z, + > < P, + > dada por f(x) = 2x (P o conjunto dos nmeros pares)
c. Se G = ( R+* , .) e J = ( R+ , +), ento f: R+* R+ , f(x) = logx
05. Mostre que essas expresses so vlidas:
a. x y = (x + y) . (xy)
b. x y = (x . y) + (x . y)