Escolar Documentos
Profissional Documentos
Cultura Documentos
Def. 1
Dados dois conjuntos E e F, no vazios, chama-se produto, cartesiano de E por F o conjunto
formado por todos os pares ordenados (x, y) com x em E e y em F.
Notao; E x F . Assim, temos:
E x F = { (x,y) / x E e y F }
Def. 2
Chama-se relao binria de E em F todo subconjunto R de E x F.
( R uma relao de E em F )
R E x F
Obs: - A definio deixa claro que toda relao um conjunto de pares ordenados;
- Para indicar que (a,b) R usaremos a notao a R b ( l-se: a relaciona-se com b
segundo R ) ;
- Para indicar que (a,b)
x = y
uma relao de equivalncia pois:
) ( ) ( x x R x x
) ( ) ( x y y x y x
) ( ) ( z x z y e x z y x y
3) A relao de paralelismo definida para as retas de um espao euclidiano:
x R y
y x //
uma relao de equivalncia, pois se x, y, z so retas do espao, temos:
2
I) x // x
II) x // y
y // x
III) ( x // y e y // z )
x // z
CLASSES DE EQUIVALNCIA
Def.:
Seja R uma relao de equivalncia sobre E. Dado a E , chama-se classe de equivalncia
determinada por a, mdulo R, o subconjunto a de E constitudo pelos elementos x tais que x R a.
Em smbolos:
a = { x E / x R a }
Fig pag 24
Def.2: O conjunto das classes de equivalncia mdulo R ser indicado por E / R e chamado
conjunto quociente de E por R.
Obs; o conjunto de todos os elementos que esto relacionados com um elemento a de E.
EXEMPLOS
1) Na relao de equivalncia
R = { (a,a), (b,b), (c,c), (a,c), (c,a) }
Temos:
a = { a, c )
b = { b}
c = { c, a }
E / R = { {a, c} , {b} }
2)
3)
3
PARTIO DE UM CONJUNTO
Def.:
Seja E um conjunto no vazio. Diz-se que uma classe T de subconjuntos no vazios de E uma
partio de E se, e somente se:
a) dois membros quaisquer de T ou so iguais ou so disjuntos;
b) a unio dos membros de T igual a E.
EXEMPLOS:
1) T = { {1}, {2,3}, {4} } uma partio do conjunto E = { 1,2,3,4 }
2) Sejam:
P = {x z / x par }
I = { x Z / x impar }
Ento T = { P, I } uma partio de Z
3) T = { ] } [ , 1 ] , ] 1 , 1 [ , [ 1 , + uma partio de R
Fig pag 26
Obs:
Certos conceitos matemticos como os de nmeros inteiros, nmero racional, nmero real, vetor,
etc, so fixados atravs de relaes de equivalncia e classes de equivalncia cuja construo se
baseia nos teoremas a seguir:
Teorema 1
Se R uma relao de equivalncia sobre um conjunto E, ento E / R ( conjunto das classes de
equivalncia modulo R ) uma partio de E.
Dem:
4
a) Seja a E / R. Como a relao de equivalncia sobre um conjunto R reflexiva, ento a R
a, portanto, a a .
Assim, a
para todo a E.
b) sejam a E / R e b E / R tais que a
b
. Provaremos que a = b .
De fato, seja y a
b ; ento:
b a aRb
yRb b y
aRy yRa a y
c) provemos que
E a
U
E a
.
II) sendo x um elemento qualquer de E, temos:
x E
a U x x x xRx
E a
.
Assim, E
a U
E a
Teorema 2:
Se T uma partio de E, ento existe uma relao R de equivalncia sobre E de modo que
E/R = T.
Dem:
Seja R uma relao sobre E assim definida:
x R y
A y e A x T A ;
isto , x est na relao com y quando existe um conjunto A da partio T que contm x e y.
Temos:
I) Para todo x em E, existe uma classe A em T tal que xA, portanto,
x R x.
5
II) Sendo x E e y E, vem:
x R y
x R y A x y A y x T A , , ;
III) Sendo x, y, z E, vem:
x R y A1 T / x , y A1
y R z A2 T / y, z A2
Como A1 A2
2) Seja E = { a Z / -3 } 3 a e x R y
x y = 2k , k Z.
a) construir a relao R
b) Determinar E/R
c) Provar que R de equivalncia;
6
RELAES DE ORDEM
Intuitivamente, podemos pensar numa relao de ordem quando lembramos de uma fila no banco,
de uma fila de alunos dispostos numa sala de aula, na relao "menor ou igual" no nmeros
naturais, etc.
Def.:
Uma relao R sobre um conjunto E no vazio chamada relao de ordem parcial sobre E se,
e somente se, R reflexiva, anti-simtrica e transitiva, isto , so verdadeiras as sentenas:
I)
) ( ) ( x R x E x x
II)
) ( ) , ( y x x R y e y R x E y x
III)
) ( ) , , ( z R x z R y e y R x E z y x
Obs:
- Dizemos que R anti-simtrica quando:
) ( ) , ( y x x R y e y R x E y x
ou a equivalente:
y x E y x ( ) , (
x no relaciona com y ou y no relaciona com x ), isto ,
- Se x e y so elementos distintos, ento x no se relaciona com y ou y no se relaciona com x.
Ex:
Nas relaes sobre E = { a, b, c }
R1 = { ( a,a), (b,b), (a,b), (a,c) } anti-simtrica
R2 = { (a,a), (a,b), (b,a), (b,b), (c,c) } no anti-simtrica, pois a b e a R b e b R a
- Quando R uma relao de ordem parcial sobre E, para exprimirmos que (a, b)
R usaremos a
notao a b ( R), que se l: a precede b na relao R.
- Para exprimirmos que (a, b)
R e a b usaremos a notao
a < b(R ), que se l: a precede estritamente b na relao R.
- Quando no houver dvidas quanto relao de ordem que est sendo consideradas,
escrevemos apenas:
7
a b ( a precede b ) para indicar (a, b) R e
a < b ( a precede estritamente b) para indicar ( a, b) R e a b.
Def 2:
Um conjunto parcialmente ordenado um conjunto sobre o qual se definiu uma certa relao de
ordem parcial.
Def 3:
Seja R uma relao de ordem parcial sobre E, os elementos a, b E se dizem compatveis
mediante R se a b ou b a.
Def 4:
Se dois elementos quaisquer de E forem compatveis mediante R, ento R ser relao de ordem
total sobre E. O conjunto E, nesse caso, chamado conjunto totalmente ordenado.
Ordem total
Em matemtica e ajuste a teoria, a ordem total, ordem linear, ordem simples, ou requisitar (non-estrito) a relao binria
(denotado aqui perto infix ) em algum jogo X. A relao transitive, antisymmetric, e total. Um jogo emparelhado com uma
ordem total chamado a jogo totalmente requisitado, a jogo linear requisitado, a jogo simplesmente requisitado, ou a
corrente.
Se X requisitado totalmente sob o , ento a seguinte preenso das indicaes para tudo a, b e c em X:
Se a b e b a ento a = b (antisymmetry);
Se a b e b c ento a c (transitivity);
a b ou b a (totality).
Contraste com a ordem parcial, que falta a terceira circunstncia. Uma relao que tem a propriedade do totality significa que
qualquer par dos elementos no campo da relao seja mutuamente comparvel sob a relao.
Totality implica reflexivity, isto , a a. Assim uma ordem total tambm a ordem parcial, isto , a relao binria qual
reflexivo, antisymmetric e transitive. Daqui uma ordem total tambm uma ordem parcial que satisf condio do totality.
EXEMPLOS:
1) A relao R = { (a, a), (b,b), ( c,c), (a, b), (b, c), (a, c) uma relao de ordem total sobre
E = { a, b, c }, conforme se pode notar no diagrama abaixo. Observe-se que o fato de no haver
dois pontos que no estejam ligados por uma flecha indica que a ordem total.
8
2) A relao R sobre definida por x R y
y x
( menor ou igual ) uma relao de ordem
total, denominada ordem habitual, pois:
) ( ) ( y x x x
) ( ) , ( y x x y e y x y x
) ( ) , , ( z x z y e y x z y x
) , ( ) , ( x y ou y x y x y x
3) A relao de divisibilidade sobre N: x R y
M
2
M
1
M
2
mximo de A e M
1
A
M
1
M
2
Ento M
1
= M
2
.
10
SUPREMO E INFIMO
Def.:
Seja A um subconjunto no vazio do conjunto parcialmente ordenado E. Chama-se supremo de A
o mnimo ( caso exista) do conjunto dos limites superiores de A.
Chama-se nfimo de A o mximo (caso exista) do conjunto dos limites inferiores de A.
Obs:
Supremo: o menor dos limitantes superiores
nfimo: o maior dos limitantes inferiores
Quando existem so nicos
ELEMENTOS MAXIMAIS E MINIMAIS X
Seja A um subconjunto no vazio do conjunto parcialmente ordenado E.
Def.1:
Um elemento m
1
A um elemento maximal de A quando se verifica:
(
) ( )
1 1
x m x m A x
Isto , quando o nico elemento de A precedido por m
1
ele prprio.
Def.2:
Um elemento m
0
A um elemento minimal de A quando se verifica:
) ( ) (
0 0
m x m x A x
Isto , quando o nico elemento de A que precede m
0
ele prprio.
Obs: Num certo sentido, no h elemento maior que um elemento maximal nem h elemento menor que
um elemento minimal.
EXEMPLOS:
1) se E = , A = ] 0, 1 ] e a ordem a habitual, temos:
a) so limites superiores de A os nmeros L 1
b) so limites inferiores de A os nmeros
0 l
11
c) o mximo de A 1
d) A no tem mnimo;
e) O supremo de A 1;
f) O nfimo de a 0;
( conjunto dos limites inferiores pode coincidir com o mnimo, quando houver)
g) S 1 elemento maximal de A;
h) A no tem elementos minimais.
EXERCCIOS - 2
3) Mostre que ( Z, ) parcialmente ordenado
Obs: O smbolo quando no definido explicitamente, indica a relao de ordem habitual seja em N, Z, Q ou R.
Obs: APLICAO
Def: Seja f uma relao de E em F. Dizemos que f uma aplicao de E em F se:
a) D(f) = E ; (domnio da aplicao E )
b) Dado a D(f), nico o elemento b F de modo que (a, b) f
Obs: elementos distintos
imagens distintas
Obs: - se f uma aplicao de E em F, escrevemos b = f(a) ( l-se: b imagem de a pela f
- f : E
C
12
Exemplo
1) Considerando a aplicao f: N X N
A
L-se: operao sobre A ou operao interna em A
Exemplos:
1) A operao de diviso nos nmeros racionais f: Q* X Q*
E , onde E = M
mxn
(R ) = conjunto das matrizes do tipo mxn com
elementos reais, tal que f(x, y) = x + y a operao de adio sobre M
mxn
(R )
CONCEITUAO
Def:
Sendo E um conjunto no vazio, toda aplicao f: E x E
E.
EXEMPLO:
1) As adies em N, Z, Q, R ou C so operaes que gozam da propriedade associativa;
2) As multiplicaes em N, Z, Q, R ou C so operaes associativas
CONTRA- EXEMPLOS
14
1) a potenciao em N no associativa pois:
( )
4
3
2
= 2
81
e ( 2
3
)
4
= 2
12
2) A diviso em R* no associativa pois
( 24 : 4 ) : 2 = 6 : 2 = 3 e 24 : ( 4 : 2 ) = 12
b) Propriedade Comutativa
Def.:
Dizemos que * tem a propriedade comutativa quando x * y = y * x, , quaisquer que sejam x, y
E.
EXEMPLOS:
1) As adies em N, Z, Q, R e C so operaes comutativas
2) as multiplicaes em N, Z, Q, R e C so operaes comutativas
3) A adio em M
mxn
(R ) comutativa
CONTRA-EXEMPLOS
1) A potenciao em N no comutativa
2
3
= 8 e 3
2
= 9
2) A diviso em R* no comutativa pois
1 : 5 = 1/5 e 5 : 1 = 5
3) A multiplicao em M
2x2
(R ) no comutativa pois:
Escrever exemplo
c) Elemento Neutro
Def.:
Dizemos que e
E
Dizemos que e
E.
15
Se e elemento neutro direita e esquerda para
*
, ento dizemos que e elemento neutro pra
esta lei.
EXEMPLOS:
1) O elemento neutro das adies em N, Z, Q, R e C o nmero 0 pois 0 + x = x + 0 para
qualquer nmero x.
2) O elemento neutro das multiplicaes em N, Z, Q, R, e C o nmero 1 pois 1. x = x = x . 1 para
qualquer nmero x.
3) o elemento neutro da adio em M
mxn
(R ) a matriz nula do tipo mxn pois:
0
mxn
+ X = X + 0
mxn
= X
CONTRA-EXEMPLOS
1) A subtrao em Z admite 0 como elemento neutro direita pois x 0 = x, x Z mas no
tem o elemento neutro esquerda pois no existe e (fixo) tal que e x = x , x Z .
2) A diviso em R* admite 1 como elemento neutro direita pois x : 1 = x , x R* mas no
tem o neutro esquerda pois no existe e (fixo) tal que e : x = x, x R*
d) Elementos simetrzveis
Dizemos que x
E tal que: x
*
x = x
*
x = e
O elemento x chamado simtrico de x para a operao
*
.
Quando a operao uma adio ( + ), o simtrico de x tambm chamado de oposto de x e
indicado por x.
Quando a operao uma multiplicao ( . ), o simtrico de x chamado inverso de x e indicado
por x
-1
16
NOTAO
PAG 118 CONJUNTO DOS SIMETRIZVEIS
EXEMPLOS
1) 2 um elemento simetrizvel para a adio em Z e seu simtrico -2 pois:
(-2) + 2 = 0 = 2 + (-2).
2) 2 um elemento simetrizvel para a multiplicao em Q e seu simtrico
2
1
pois:
2
1
. 2 = 1 = 2 .
2
1
e) Elementos regulares
Def.:
Dizemos que um elemento a
x = y (1)
x * a = y * a
x = y , para todo x , y N.
2) 3 regular para a multiplicao em Z pois:
3 . x = 3 . y
x = y, para todo x, y Z
3) 0 no regular para a multiplicao em Z pois:
0 . 2 = 0 . 3 e 2 3.
PROPOSIO:
17
Se a operao
*
associativa, tem elemento neutro e e um elemento a
E simetrizvel,
ento a regular.
Dem:
Sejam x e y elementos quaisquer de E tais que a * x = a * y e x * a = y * a . Temos:
(1) a * x = a * y
a * ( a * x ) = a * ( a * y )
(a * a) * x = ( a * a) * y
e * x = e * y
x = y.
E, analogamente:
(2) x
a = y = y
x = y. portanto , a regular .
Notao:
Sendo
.
Ex:
a) R
+
(N) = N
b) R(Z) = Z*
c) R
+
(M
mxn
(R)) = M
mxn
(R).
Notemos que se
*
tem neutro em E , ento e
*
R
(E), portanto ,
*
R
(E)
.
Observemos ainda que se, alm disso,
associativa, *
U
(E) *
R
(E) . conforme proposio
anterior.
f) Propriedade distributiva
Def.:
Sejam
se :
X ( y
z) = ( x y)
( x z ) e ( 1)
( y
z ) x = (y x )
.
18
Valendo (2) dizemos que distributiva direita de
.
Obs: se comutativa, ento distributiva esquerda ou direita de * so equivalentes.
EXERCCIOS - 3
4) Em cada caso abaixo, considere a operao
y =
2 2
y x +
b) E = R e x
y =
2
y x +
TBUA DE UMA OPERAO
Construo
Seja E = {a
1
, a
2
, ... a
n
} ( n 1 ) um conjunto com n elementos. Cada operao sobre E uma
aplicao f: E X E
(aj ak ) com i, j, k
{ 1, 2, 3, ..., n };
calculam-se todos os compostos do tipo ( ai
aj )
ak , com i, j, k { 1, 2, 3, ..., n }.
Notemos que este mtodo exige o clculo de 2n
3
compostos.
2 ) Encontra-se um conjunto F dotado de uma operao que se sabe ser associativa, de vtal
forma que exista f: E
c = a e c
b = b
c) Elemento Neutro
Sabemos que um elemento e neutro para a operao
*
quando:
(I) e
x = x , x E e
(II) x
e = x , x E
Da condio (I) decorre que a linha de e igual a linha fundamental.
Da condio (II) decorre que a coluna de e igual coluna fundamental.
Assim, uma operao * tem neutro desde que exista um elemento cuja linha e coluna sejam
respectivamente iguais a linha e coluna fundamentais.
21
No quadro exemplo 1 visto anteriormente, a operao tem neutro que 1
No quadro exemplo 2, a operao tem neutro que D
Um exemplo de operao sem neutro dado pela tbua abaixo.
* a b c
a a b c
b c a b
c b a c
Notemos que a neutro s esquerda.
c) Elementos Simetrizveis
Sabemos que um elemento a
i
E tal que:
( I ) a
j
a
i
= e
e ( II ) a
i
a
j
= e
Da condio (II) decorre que a linha de ai deve apresentar ao menos um composto igual a e ;
Da condio (I) decorre que a coluna de ai deve apresentar ao menos um composto igual a e .
Como a
ji
= a
ij
= e , decorre que o neutro deve figurar em posies simtricas relativamente
diagonal principal.
Assim, um elemento ai simetrizvel quando o neutro figura ao menos uma vez na linha i e na
coluna i da tbua, ocupando posies simtricas em relao diagonal principal.
22
EXEMPLO
A tbua abaixo define uma operao
x a
y e
( II ) x y
a y
a, b, c
G ,
isto , vale a propriedade associativa ;
b) existe e
G de maneira que a
*
e = e
*
a = a ,
G,
ou seja, existe um elemento neutro;
c) todo elemento de G simetrizvel em relao lei considerada:
a G, a G / a * a = a * a = e
Obs:
- Quando a lei de composio considerada for uma adio diremos que o grupo em questo um
grupo aditivo ao passo que se a lei for uma multiplicao nos referimos a ele como um grupo
multiplicativo.
- Se a lei que faz de G um grupo dada por ( x, y)
x
*
y tambm se costuma dizer que o par
(G,
*
), onde
*
simboliza a lei, um grupo.
GRUPOS COMUTATIVOS OU ABELIANOS
Def.:
Dizemos que um grupo (G, * ) abeliano ou comutativo se, e somente se, a lei ( x, y)
x * y
comutativa, isto :
a
*
b = b
*
a ,
a, b
G.
GRUPOS FINITOS TBUA DE UM GRUPO FINITO
Um grupo finito um grupo ( G, * ) no qual o conjunto G finito. O nmero de elementos de G,
nesse caso, chamado de ordem do grupo G.
A tbua de um grupo finito ( G, *) a tbua da lei de composio considerada em G.
25
Denotaremos a ordem de um grupo finito G por o(G).
EXEMPLO
G = { -1, 1 } um grupo em relao multiplicao usual.
um grupo finito de ordem 2.
* 1 -1
1 1 -1
-1 -1 1
ALGUNS GRUPOS IMPORTANTES
a) Grupo Aditivo dos Inteiros
Para a adio usual em Z vale,
a + ( b + c ) = (a + b ) + c
a + 0 = 0 + a = a
a + (-a) = (-a) + a = 0
a+ b = b +a
Logo (Z, + ) um grupo abeliano. o grupo aditivo dos inteiros.
b) Grupo aditivo dos Racionais
o grupo ( Q, + ) onde a adio considerada a usual
c) Grupo Aditivo dos Reais
o grupo ( R, + ) onde a adio tambm a usual
d) Grupo multiplicativo dos Racionais
o conjunto Q* fechado para a multiplicao usual em Q pois:
( a, b Q ) ( a 0 e b 0
= a + bi e
= (ac bd) + (ad + bc).i tambm um nmero complexo no nulo. Alm disso tem-se:
.(
) = (
).
.1 = 1.
-1
=
-1
.
= 1
Lembramos que 1 = 1 + 0i e
-1
=
2 2
b a
a
+
+
i
b a
b
.
2 2
+
desde que
= a + bi 0.
Logo ( C*, . ) tambm um grupo abeliano. o grupo multiplicativo dos complexos.
Tem-se ainda: Grupo multiplicativo das matrizes, grupos lineares de grau n; grupos multiplicativos
de classes de restos, grupos de permutaes, ...e outros.
PROPRIEDADES IMEDIATAS DOS GRUPOS
EXERCCIOS - 4
Pag. 90.. ve Mat discretar PDF pag 52, lgebra PDF pag28
5 )Seja M2(Z) o conjunto de todas as matrizes de ordem 2 com elementos inteiros. Verifique se (M2(Z), + )
um grupo e se abeliano.
6 ) 6) Verifique se (R, * ) um grupo em que a * b = a + b 2
Obs: considere o conjunto dos nmeros reais munido da operao * definida por a * b = a + b 2
27
SUBGRUPO
O que e? Vamos ento comentar a definio:
< G, * > um grupo,
Um subgrupo de G uma estrutura algbrica < H, * > que satisfaz s seguintes condies:
I) H um subconjunto no vazio de G.
II) * (asterisco) ( a operao) associativa em H
III) * admite oi elemento neutro em H
IV) todo elemento de H admite simtrico com relao operao * em H.
Estas quatro propriedades nos levam a perceber que H na verdade tambm um grupo.
Ento, para termos um subgrupo de um grupo G, na verdade, necessrio encontrar um grupo
dentro do ,grupo G.
Indica-se H < G
Depois dessa observao fcil ver que todo grupo subgrupo de si mesmo.
Na verdade, todo grupo G tal que
G
2 tem, pelo menos, dois subgrupos: ele prprio e o
conjunto formado pelo elemento neutro. Esses so chamados de subgrupos triviais.
Afirmao:
I) H < G e H 0
II) * associativa em H
Claro, A operao *, operao go grupo, associativa em H
III) * admite o elemento neutro em H
IV)
G
e
H e seu simtrico tambm pertence a H
SUBGRUPOS NO TRIVIAIS
O nosso interesse maior so pelos subgrupos no triviais, se eles existirem, so chamados de
subgrupos prprios.
DETERMINAO DE SUBGRUPOS
Exemplo
Considerando o grupo <Z
6 , + > responda:
28
H = < 0, 2, 3 > subgrupo? no? Por que?
Para a operao + (adio) no uma operao interna em H. essa uma condio necessria.
Observe que, se somarmos 2 + 3, obteremos 5 e 5 no pertence ao conjunto H ( fechamento) ,
portanto no um subgrupo.
Propriedade importante para subgrupos mas no vamos demonstr-la aqui.
Proposio I
Seja G um grupo e H um subgrupo de G.
O simtrico de h em H coincide com o simtrico de h nem G.
Proposio II
Seja G um grupo e H um subgrupo no vazio de G. H um subgrupo de G se:
I) h
1
h
2
H , h
1
, h
2
H
II) h
-1
H , h H
A verificao de H ser no, vazio feita verificando-se se o elemento neutro do grupo est em H
obs??????
veja que no h necessidade de verificar a associatividade pois os elementos de H so de G, para
os quais est garantida a associatividade.
Exemplos:
1) verificar se H = { 0, 2, 4, 6, 8, 10 } subgrupo de Z
12
.
Soluo:
I) o elemento neutro de Z12 o zero e que pertence a H
II) cada elemento de H tem seu simtrico tambm em H:
o simtrico de zero o prprio zero 0
-1
= o H
o simtrico de 2 10 2
-1
= 10 H
4
-1
=
8 H
29
6
-1
= 6 H
Obs: 4 + 2 = 2 + 4 por ser Z
12
um grupo abeliano
6 + 6 = 0 8 + 8 = 4
6 + 8 = 2 8 + 10 = 6
6 + 10 = 4 10 + 10 = 8
um grupo fechado
Logo H subgrupo de Z
12.
TEOREMA DE LAGRANGE
O teorema de Lagrange vai auxiliar na determinao de quais subconjuntos de um determinado
grupo so ou no subgrupo desse grupo.
Seja G um grupo me H um subgrupo de G.
Ento ordem de H divide ordem de G
Em particular, denotamos da seguinte forma:
( G : H ) =
H
G
Demonstrao:
Suponhamos ( G : H ) = r e seja G/H = { a
1
H, a
2
H, ...,a
r
H }
Ento, devido proposio que diz que a relao de equivalncia sobre G definida por a
b , se
e s se a
-1
b
H e se a
H }
Ento
G = a
1
H U a
2
H U ...U a
r
H e a
i
H a
j
H
(OBS: como a unio disjunta, classes distintas, o nmero de elementos de G igual soma do
nmero de elementos de cada classe lateral da unio)
Sempre que i j
Mas devido proposio que diz que o numero de elementos de cada uma das classes laterais
igual ao nmero de elementos de H, ou seja, igual a ordem de H , o(H), portanto:
30
o(G) = o(H) + o(H) + ...+ o(H)
Em que o numero de parcelas r = ( G : H ), De onde:
o(G) = ( G : H) o(H) e o(H) / o(G).
Obs:
1. Ao dividirmos a ordem de G pela ordem de H que so nmeros naturais, vamos encontrar
um terceiro nmero, que tambm natural. Esse nmero denominado ndice de H em G.
2. necessrio que um determinado subconjunto tenha ordem ( sendo um divisor da ordem
de G ) para que ele seja ento um possvel subgrupo. Se isso no valer, com certeza no
subgrupo.
Exemplos:
1) considere o grupo aditivo Z
10
Z
10
= { 0, 1, 2, 3, ... 9}
Usando o Teorema de Lagrange, verificar quais dos subconjuntos abaixo so subgrupos de Z
10.
H
1
= { 0, 2, 4, 8 } H
4
= { 0, 5 }
H
2
= { 0, 2, 4 } H
5
= { 1, 2, 4, 8, 6 }
H
3
= { 0, 8 } H
6
= { 0, 2, 4, 6, 8 }
Eliminamos de imediato os subconjuntos que no so subgrupos observado pelo Teorema de
Lagrange:
H
1
no subgrupo, pois O(H
1
) = 4 e 4 no divide 10
H
2
no subgrupo, pois O( H
2
) = 3 e 3 no divide 10
O Teorema garante candidatos a subgrupos, que so:
H
2
, H
4
, H
5
e H
6
Que fazer para determinar quais desses subconjuntos so subgrupos?
No temos outra sada seno verificar se as condies para subgrupos so ou no atendidas.
Para o subconjunto.
H
3
= { 0, 8 }
31
I) no vazio
II) o elemento neutro do grupo zero e 0
H
3
III) todo elemento do subconjunto tem seu simtrico no subconjunto:
0
-1
= 0
H
3
, 8
-1
= 2 e 2 no pertence a H
3
Logo, H
3
no subgrupo de Z
10
.
H
4
= { 0, 5 }
I) 0
H
4
e o elemento neutro do grupo 0
II) 0
-1
= 0
H
4
, 5
-1
= 5
H
4
III) a operao realizada entre dois elementos quaisquer dentro do grupo tem resultado dentro do
prprio grupo ( fechamento).
0 + 0 = 0
H
4
0 + 5 = 5
H
4
5 + 5 = 5
H
4
logo H
4
< Z
10
Concluso: H
4
subgrupo de Z
10
H
5
= { 1, 2, 4, 6, 8 }
I) O zero, elemento neutro de Z
10
, deve pertencer ao subconjunto, como 0
H
5
conclumos que
H
5
no subgrupo de Z
10
H
6
= { 0, 2, 4, 6, 8 }
I) 0
H
4
e o elemento neutro do grupo 0
II) 0
-1
= 0
H
6
, 4
-1
= 6
H
6
, 6
-1
= 4
H
6
2
-1
= 8
H
6
, 8
-1
= 2
H
6
III) a operao realizada entre dois elementos quaisquer dentro do grupo tem resultado dentro do
prprio grupo ( fechamento).
0 + 0 = 0
H
4
2 + 0 = 2
H
4
4 + 0 = 4
H
4
6 + 0 = 6
H
4
0 + 2 = 2
H
4
2 + 2 = 4
H
4
4 + 2 = 6
H
4
6 + 2 = 8
H
4
0 + 4 = 4
H4 2 + 4 = 6
H4 4 + 4 = 8
H
4
6 + 4 = 0
H
4
32
0 + 6 = 6
H4 2 + 6 = 8
H4 4 + 6 = 0
H
4
6 + 6 = 2
H
4
0 + 8 = 8
H4 2 + 8 = 0
H4 4 +8 = 2
H
4
6 + 8 = 4
H
4
Mas 8 + 8 = 1
H
4
e portanto, a operao no fechada no conjunto
Logo, H
6
no subgrupo de Z
10
+ 0 2 4 6 8
0 0 2 4 6 8
2 2 4 6 8 0
4 4 6 8 0 2
6 6 8 0 2 4
8 8 0 2 4 1
NOTAS
GRUPO
TBUA DE UMA OPERAO
(TABELA DE DUPLA ENTRADA)
EXEMPLO:
Seja A = { 0, 1, 2, 3 }
+ 0 1 2 3
0 0 1 2 3
1 1 2 3 0
2 2 3 0 1
3 3 0 1 2
Obs:
33
NA OPERAO NA TABELA (usual)
- soma e divide por 4, que o(A), ordem de A
- deixa apenas o resto
0*0 = 0
ELEMENTO SIMTRICO:
Obs: na tabela verifica o simtrico para ter o neutro
O simtrico de 1 3 , pois 1 * 3 = 0
O simtrico de 2 2 , pois 2 * 2 = 0
GRUPO DAS CLASSES RESIDUAIS
Cada classe de resduo modulo n pode ser representada por um de seus membros, embora ns geralmente
representemos cada classe residual pelo menor inteiro no negativo pertencente classe (pois este o
prprio resto que resulta da diviso). Note que quaisquer dois membros de diferentes classes residuais
mdulo n so congruentes mdulo n. Alm disso cada inteiro pertence a uma e somente uma classe
residual mdulo n.
3
O conjunto de inteiros {0, 1, 2, ..., n - 1} chamado o menor sistema de resduos mdulo n . Qualquer
outro conjunto de n inteiros, com nenhum par deles congruente mdulo n chamado um sistema completo
de resduos mdulo n .
claro que o menor sistema de resduos uma sistema completo de resduos e que um sistema completo
de resduos simplesmente um conjunto contendo precisamente um representante de cada classe de
resduo mdulo n. O menor sistema de resduos mdulo 4 {0, 1, 2, 3}. Alguns outros sistemas de resduos
mdulo 4 so:
{1,2,3,4}
{13,14,15,16}
{-2,-1,0,1}
{-13,4,17,18}
{-5,0,6,21}
{27,32,37,42}
Alguns conjuntos que no so um sistema completo de resduos mdulo 4 so:
34
{-5,0,6,22} pois 6 congruente a 22 mdulo 4.
{5,15} pois um sistema completo de resduos deve ter exatamente 4 elementos.
GRUPO ADITIVO DAS CLASSES REDIDUAIS
z/m = { 1 ,... 3 , 2 , 1 , 0 m }
Z/10 = { 9 ,... 3 , 2 , 1 , 0 }
0
= { 0, 10, 20, 30, ... }
1
= { 1, 11, 21, ... }
8
= { 8, 18, 28, ... }
Z/4 = { 3 , 2 , 1 , 0 }
Z/2 = { 2 , 1 , 0 }
Obs: na diviso por 2 ou deixa resto 1 ou 2.
z/ 10 , 2/2 deixa resto 0 ou 1
ORDEM DE UM ELEMENTO DO GRUPO
Seja G um grupo e seja a
'
1 2
3 2
4 2
2 2
4
3
2
1
o(3) = 4 pois 3
4
= 1
potencias de 3
'
1 3
2 3
4 3
3 3
4
3
2
1
o(4) = 2 pois 4
2
= 1
potencias de 4
'
1 256 4
4 64 3 4
1 16 4
4 4
4
3
2
1
16 : 5 = 1
Exemplo 2
Em Z/
5
= {0, 1, 2, 3, 4 }
36
+ 0 1 2 3 4
0 0 1 2 3 4
1 1 2 3 4 0
2 2 3 4 0 1
3 3 4 0 1 2
4 4 0 1 2 3
Simtrico de 1 4 pois 1 * 4 = 0
Simtrico de 2 3 pois 2*3 = 0 m.a = e
Menor inteiro m tal que m.1 = 0
0(0) = 1 , pois 1.0 = 0
O(1) = 5 , pois 5.1 = 5
O(2) = 5 , pois 5.2 = 0
O(3) = 5 , pois 5.3 = 0
O(4) = 5 , pois 5.4 = 0
o(1) =
'
+ + + + +
+ + +
+ +
+
0 5 1 . 5 1 1 1 1 1
4 1 . 4 1 1 1 1
3 1 . 3 1 1 1
2 1 . 2 1 1
O(2) =
'
+ + + +
+
0 2 . 5 2 2 2 2 2
4 2 . 2 2 2
2 2 . 1
O(3)
'
+ + + +
+ + +
+ +
+
0 3 . 5 3 3 3 3 3
2 3 . 4 3 3 3 3
4 3 . 3 3 3 3
1 3 . 2 3 3
3 3 . 1
o(4) =
'
+ + + + +
+ + +
+ +
+
0 20 4 . 5 4 4 4 4 4
1 16 4 . 4 4 4 4 4
2 12 4 . 3 4 4 4
3 8 4 . 2 4 4
Vamos apresentar teoria e conceitos que nos vo permitir provar alguns resultados bem interessantes. Um
deles que possvel dividir grupos entre si. O conceito de grupo quociente vai ser tratado
posteriormente. Vimos que, quando um grupo G e um subgrupo H dado, possvel particionar o grupo em
classes, chamadas de classes laterais. Estas classes so precisamente as classes de equivalncia de uma
37
relao induzida da seguinte forma: xRy se e s se xy
-1
H (para classes laterais
direitas), x
-1
y (para classes laterais esquerdas).
Um dos fatos importantes a respeito da ordem de um subgrupo de um grupo que: se G um grupo finito e
H um subgrupo de G, ento [H] divide [G], isto , a ordem (nmero de elementos) de H divide a ordem de
G. Este resultado conhecido com teorema de Lagrange.
Assim, por exemplo, um grupo G de 8 elementos s poder vir a ter subgrupos de 1, 2, 4 ou 18 elementos
(sendo possvel que G tenha vrios subgrupos de, por exemplo, 2 elementos).
Para um melhor entendimento do Teorema de Lagrange, vamos introduzir o conceito de classes laterais.
Definio 1 - Sejam (G, *) um grupo e H um subgrupo de G. Para cada elemento a G, define-se a classe
lateral direita de H, determinada por a, como sendo o conjunto H*a = {h*a | h H}
De forma semelhante, define-se a*H = {a*h | h H} como sendo a classe lateral esquerda de H,
determinada por a.
Da definio de classe lateral, pode-se concluir que, a*H = H*a, a G, se e somente se G for um grupo
abeliano.
Definio 2 - Se H*a = a*H, para todo a G, H chamado um subgrupo normal de G.
Exemplo 1.
Sejam (G, *) = (Z12, +) e seja H = < 3 > = {0, 3, 6, 9 }.
Para cada elemento a Z 12 (a Z), a classe lateral direita de H, determinada por a, definida como
sendo o conjunto H + a = {h + a | h H}.
Assim temos:
H + 0 = H = {0, 3, 6, 9}
H + 1 = {1, 4, 7, 10}
H + 2 = {2, 5, 8, 11}
Observe que:
H + 0 = H + 3 = H + 6 = H + 9
H + 1 = H + 4 = H + 7 = H + 10
H + 2 = H + 5 = H + 8 = H + 11
Como pode ser notado, existem apenas trs classes laterais direitas de H em Z12, que so as classes H + 0
= H, H + 1 e H + 2.
CLASSES DE EQUIVALNCIA DE UMA RELAO BINRIA
38
Def.:
Seja R uma relao de equivalncia sobre E. Dado a E , chama-se classe de equivalncia
determinada por a, mdulo R, o subconjunto a de E constitudo pelos elementos x tais que x R a.
Em smbolos:
a = { x E / x R a }
Fig pag 24
Def.2: O conjunto das classes de equivalncia mdulo R ser indicado por E / R e chamado
conjunto quociente de E por R.
Obs; o conjunto de todos os elementos que esto relacionados com um elemento a de E.
EXEMPLOS
1) Na relao de equivalncia
R = { (a,a), (b,b), (c,c), (a,c), (c,a) }
Temos:
a = { a, c )
b = { b}
c = { c, a }
E / R = { {a, c} , {b} }
2)
Seja A={ 1, 2, 3 } e R uma relao de equivalncia em A definida por R={ (1, 1), (1, 2), (2, 2), (2, 1),
(3, 3) } , temos que as classes de equivalncia de 1 e 3 so respectivamente: cl(1) = { 1, 2 } e cl(3)
= { 3 } . Note que a classe de equivalncia do 2 cl(2) ={ 1, 2 } , isto cl(2)= cl(1)
CLASSE LATERAL
Definio 1
Sejam G um grupo e H um subgrupo de G. Dado a G, chamamos de uma classe lateral (
esquerda) ao conjunto aH = {a . h | h H}.
Observao:
1. Se G for um grupo aditivo, ento denotaremos a classe lateral aH por
39
a + H = {a + h | h H}
2. Se e for o elemento neutro do grupo G, ento eH = H. Mais ainda, a aH para todo a G.
3. O conceito de classe lateral direita definido de modo anlogo:
4. o subconjunto de G definido por H = { ha / h
H }
5. Onde H um subgrupo de G e a
G
Exemplo:
1) calcular as classes laterais do subgrupo H = { I,
} de S = { I,
,
2
,
,
}
Usando a tabela:
x I
2
I I
2
I
2
I
2
I
2
I
Assim temos:
H =
{I,
} = {
I,
} = {
2
H =
2
{I,
} = {
2
I,
2
} = {
2
,
}
H =
{I,
} = {
I,
2
{ = {
, I } = H
H =
{I,
} = { (
)I, (
)
} = {
,
2
} =
2
H =
{I,
} = { (
)I, (
} = {
} =
H
Observe que as classes laterais distintas, nesse caso, so H ,
H e
2
H
40
Portanto G/H = { H,
H ,
2
x + y e (x, y)
b K / a.b = 1 )
Obs:
- O elemento b chamado de inverso de a e indicado por a
-1
.
- Num anel com unidade indica-se por U(A) o subconjunto de A formado pelos elementos para os
quais existe simtrico multiplicativo (inverso). Esses elementos so chamados de inversveis.
Assim um corpo K um anel comutativo com unidade tal que U(K) = K* = K { 0 } .
EXEMPLOS
1) O anel Z no um corpo, pois U(Z) = {1, -1 }
2) Os anis Q, R e C so corpos
3)
EXERCCIOS
==================================================================
43
RESPOSTAS
1) 1) quais das relaes abaixo so relaes de equivalncia sobre E = { a, b, c } Pag 28
a) R1 = { (a,a), (a,b), (b,a), (b,b),(c,c) }x
b) R2 = { (a,a), (a,b), ( b,a), (b,b), (b,c) }x
c) R3 = { (a,a), (b,b), (b,c), (c, b), (a,c), (c,a) }
d) R4 = E x E
e) R5 =
44
3) Mostre que (Z,) parcialmente ordenado
se (a, b) Z e a b ( a precede b )
Temos que a a para todo inteiro a: reflexiva
Se a b e b a ento a = b: anti-simtrica
Se a b e b c ento a c: transitiva
Logo uma ordem parcial no conjunto dos inteiros e (Z, ) um conjunto parcialmente
ordendo.
45
4) Em cada caso abaixo, considere a operao
y =
2 2
y x +
fazer da nota
5 )Seja M2(Z) o conjunto de toda as matrizes de ordem 2 com elementos inteiros. Verifique se (M2(Z), + )
um grupo e se abeliano.
Para verificarmos se a operao (),+ 2 um grupo abeliano, precisamos verificar quais
propriedades ela satisfaz:
- (M2(Z), + ) fechada pois a adio de duas matrizes 2x2 uma matriz 2x2
- (M2(Z), + ) associativa pois A +( B + C) = ( A + B) + C obs: construir exemplo com elementos literais
- (M2(Z), + ) possui elemento neutro
,
_
0 0
0 0
(M2(Z), + ) possui elemento inverso. Por exemplo, a inversa da matriz
,
_
1 2
3 4
a matriz
,
_
1 2
3 4
Logo um grupo e como vale a propriedade comutativa pois A + B = B + A um grupo abeliano.
6) Verifique se (R, * ) um grupo em que a * b = a + b 2
Obs: considere o conjunto dos nmeros reais munido da operao * definida por a * b = a + b 2
46
a) associatividade
c b a , ,
E, (a * b) * c = a* (b* c)
(a + b 2) * c = a* (b + c 2)
(a + b 2) + c 2 = a + ( b + c 2 ) 2
a + b + c 4 = a + b + c 4 ( V )
b) elemento neutro
x E , x * e = x
x + e 2 = x
e 2 = 0
e = 2
c) elemento simetrizvel
x E , x * x = e
x + x - 2 = 2
x = 4 x
at aqui verifica-se que um grupo.
d) comutatividade
b a,
E, a * b = b * a
a + b 2 = b + a 2 ( V )
um grupo abeliano.
47