Professional Documents
Culture Documents
REITORA
MATERIAL DIDTICO
EDITORAO ELETRONICA
Odivaldo Teixeira Lopes
REALIZAO
SUMRIO
APRESENTAO ................................................................................................................................. 7
INTRODUO ...................................................................................................................................... 9
UNIDADE I - RELAES ............................................................................................................................. 11
1.1. RELAES BINRIAS E SUAS PROPRIEDADES ...................................................................................................... 11
1.2. RELAO DE EQUIVALNCIA ............................................................................................................................ 16
1.3. RELAO DE ORDEM ...................................................................................................................................... 17
E X E R C C I O S .................................................................................................................................... 55
BIBLIOGRAFIA: ................................................................................................................................. 59
APRESENTAO
Disciplina: LGEBRA
I IDENTIFICAO:
DISCIPLINA: LGEBRA
CARGA HORRIA TOTAL: 120 h/a
II OBJETIVO GERAl DA DISCIPLINA:
Introduzir os conceitos fundamentais da lgebra, apresentando uma construo lgicoformal das estruturas algbrica de modo que possa prover o estudante com uma base que lhe
permita a ampliao de seus conhecimentos matemticos em diversas direes.
III CONTEDO PROGRAMTICO:
Unidade I Relaes
1.1. Relaes binrias e suas propriedades
1.2. Relaes de equivalncia
1.3. Relaes de ordem
1.4. Limites superiores e inferiores, supremo e nfimo, mximo e mnimo, maximal e
minimal.
Unidade II Grupos e Subgrupos
2.1. Leis de composio interna e suas propriedades
2.2. Tbua de uma operao
2.3. Grupide, semigrupo, monide, grupo, grupo comutativo.
2.4. Propriedades de grupo
2.5. Subgrupos
Unidade III Homomorfismo de Grupos
3.1. Homomorfismo e classificao do homomorfismo.
3.2. Propriedades dos Homomorfismos
3.3. Ncleo de um Homomorfismo.
3.4. Homomorfismos Especiais
Unidade IV Classes Laterais
4.1. Classe Lateral Direita
4.2. Classe Lateral Esquerda
4.3. Propriedades das Classes Laterais
4.4. Subgrupo Normal
Unidade V Anis e Corpos
5.1. Anel
5.2. Anis comutativos, anis com unidade e anis de integridade,
5.4 Subanis.
5.5 Corpo.
INTRODUO
O sculo dezenove, mais do que qualquer perodo precedente, mereceu ser conhecido
como Idade urea da matemtica. O que se acrescentou ao assunto durante esses cem anos
supera de longe, tanto em quantidade quanto em qualidade , a produtividade total combinada
de todas as pocas precedentes.
Em 1892 um novo mundo na geometria foi descoberto por Lobachevsky, um russo que
tivera um professor alemo, e em 1874 o campo da anlise fora assombrado pela matemtica
do infinito introduzido por Cantor, um alemo nascido na Rssia. A Frana j no era mais o
centro reconhecido do mundo matemtico, embora fornecesse a carreira meterica de variste
Galois (1811 1832). O carter internacional do assunto se percebe no fato de as duas
contribuies mais revolucionrias na lgebra terem sido feitas, em 1843 e 1847, por
matemticos que ensinavam na Irlanda, embora, os contribuidores mais prolficos lgebra
do sculo dezenove tenham sido os ingleses que passaram algum tempo na Amrica, - Arthur
Caley (1821 1895) e J. J. Sylvester (1814 1897) e foi principalmente na universidade de
onde esses provinham, Camdridge, que se deu o aparecimento da lgebra moderna.
O ponto de virada na matemtica inglesa veio em 1815, o algebrista George Peacock
(1791 1858) no produziu resultados novos notveis em matemtica, mas teve grande
importncia na reforma do assunto na Inglaterra, especialmente no que diz respeito lgebra.
Num esforo para justificar as idias mais amplas na lgebra, Peacock em 1830 publicou seu
Treatise on Algebra, em que procurou dar lgebra uma estrutura lgica comparvel de Os
elementos de Euclides. A lgebra de Peacock tinha sugerido que os smbolos para objetos na
lgebra no precisam indicar nmeros, e Augustus De Morgan (1806 1971) arga que as
interpretaes dos smbolos para as operaes eram tambm arbitrrias; George Boole
(1815 1864) levou o formalismo sua concluso. A matemtica j no estava limitada a
questes de nmero e grandeza contnua. Aqui pela primeira vez est claramente expressa a
idia de que a caracterstica essencial da matemtica no tanto seu contedo quanto sua
forma. Se qualquer tpico apresentado de tal modo que consiste de smbolos e regras
precisas de operao sobre smbolos, sujeitas apenas exigncia de consistncia interna, tal
tpico parte da matemtica.
A multiplicidade de lgebra inventadas no sculo dezenove poderia ter dado
matemtica uma tendncia centrfuga se no tivessem sido desenvolvidas certos conceitos
estruturais. Um dois mais importantes desses foi a noo de grupo, cujo papel unificador na
geometria j foi indicado. Na lgebra o conceito de grupo foi sem dvida a fora mais
importante par a coeso , e foi um fator essencial no surgimento das idias abstratas. No
houve uma pessoa responsvel pelo surgimento da idia grupo, mas a figura que mais se
sobressai neste contexto foi o homem que deu o nome a esse conceito, o jovem variste
Galois, morto tragicamente antes de completar vinte anos. A obra de Galois foi importante
no s por tornar a noo abstrata de grupo fundamental na teoria das equaes, mas tambm
por levar, atravs das contribuies de J. W. R. Dedekind (1831 1916), Leopold Kronecker
(1823 1891) e Ernst Eduard Kummer (1810 1893), ao que se pode chamar tratamento
aritmtico da lgebra, algo parecido com a aritmetizao da anlise, isto significa o
desenvolvimento de um cuidadoso tratamento postulacional da estrutura algbrica em termos
de vrios corpos de nmeros.
A Itlia tinha parte um tanto menos ativa no desenvolvimento da lgebra que a Frana,
a Alemanha e a Inglaterra, mas durante os ltimos anos do sculo dezenove houve
matemticos italianos que se interessaram profundamente pela lgica matemtica. O mais
conhecido desses foi Giuseppe Peano (1858 1932) cujo nome lembrado hoje em conexo
com os axiomas de Peano dos quais dependem tantas construes rigorosas da lgebra e da
anlise.
UNIDADE I - RELAES
1.1. RELAES BINRIAS E SUAS PROPRIEDADES
PRODUTO CARTESIANO
Definio:
Sejam A e B dois conjuntos no vazios. Chama-se produto cartesiano de A por B o conjunto formado
por todos os pares ordenados (x , y) tais que o primeiro elemento x pertence ao conjunto A e o segundo elemento
y pertence ao conjunto B .
Este conjunto produto representa-se por AxB, que se l "A por B" , "A vezes B" ou "A cartesiano
B". Simbolicamente, temos:
AxB = { (x , y) x A e y B }
Se B A, como BxA = { (y , x) y B e x A } e (x , y) (y , x), segue-se que
n(AxB) = n(A).n(B)
Exemplos:
01. Sejam os conjuntos: A = {1, 2, 3} e B = { 1, 2}. Temos:
AxB = {(1,1); (1,2); (2,1); (2,2); (3,1); (3,2)} e BxA = {(1,1); (1,2); (1,3); (2,1); (2,2); (2,3)}
O produto cartesiano de dois conjuntos pode ser representado por um diagrama cartesiano, por uma tabela de
dupla entrada ou por um diagrama sagital.
Diagrama Cartesiano
11
BxA
(1,1)
(1,2)
(1,1)
(1,2)
(1,3)
(2,1)
(2,2)
(2,1)
(2,2)
(2,3)
(3,1)
(3,2)
Diagrama Sagital
RELAO
Definio:
Sejam A e B dois conjuntos no vazios. Chama-se de relao binria de A em B ou apenas relao de
A em B todo subconjunto R de A x B , isto :
R relao de A em B
R AxB
A definio deixa claro que toda relao um conjunto de pares ordenados. Para indicar que (a,b) R
usaremos algumas vezes a notao a R b (l-se "a erre b" ou "a est relacionado com b segundo R"). Se
(a,b) R , escrevemos
Os conjuntos A e B so denominados, respectivamente, conjunto de partida e conjunto de chegada da
relao R .
12
Exemplos:
01. Sejam os conjuntos A = { 1, 2, 3, 4 } e B = { 1, 3, 5, 7, 9 }. Qualquer subconjunto de
relao de A em B, assim, as relaes abaixo so relaes de A em B :
a)
R3 = {(2,1); (1,3)}
d) R4 = AxB
e)
R5 =
f)
R7 = {(x,y) 2 x = y }
b) R8 = {(x,y) 2 2x + 4y 8 = 0 }
c)
R9 = {(x,y) 2 x y + 2 < 0 }
03. A relao R10 = {(x,y) 2 (x 4)2 + (y 3)2 < 4 }possui a seguinte representao :
13
A x B uma
Exemplos:
01. Aproveitando os exemplos anteriores de relao, temos que :
a) D(R1)
= {1}
Im(R1) = B
b) D(R2)
= A
Im(R2) = {1, 3, 5, 7}
c) D(R5)
Im(R1) =
d) D(R6)
= {1, 2, 3 }
Im(R6) = {7, 9}
e) D(R8)
Im(R8) =
Im(R10) = ]1 , 5[
f) D(R10) = ]2 , 6[
02. A relao R10 = {(x,y) 2 (x 4)2 + (y 3)2 > 4 }possui a seguinte representao:
14
R1 = { (y,x) B x A (x,y) R }
A relao inversa e tambm denominada de relao recproca.
No caso particular em que A = B, tambm se diz que R1 a relao oposta de R .
Exemplos :
01. Aproveitando os exemplos anteriores de relao, temos que :
a)
d) R41 = BxA
e)
R51 =
f)
g) R71 = {(x,y) 2 x = y }
h) R81 = {(x,y) 2 2y + 4x 8 = 0 }
i)
j)
Sugerimos ao aluno que represente as relaes inversas no plano cartesiano e faa uma analogia com a
respctivarelao definida anteriormente.
Qual a concluso que podemos tirar quando representamos a relao R e sua inversa R1 ?
Propriedades
Seja R uma relao em A. Ento podemos verificar as seguintes propriedades:
REFLEXIVA
Diz-se que R reflexiva quando a condio abaixo est satisfeita :
( x A ; tem-se xRx )
15
SIMTRICA
Diz-se que a R simtrica quando a condio abaixo est satisfeita :
(x, y A; xRy yRx )
TRANSITIVA
Diz-se que R transitiva quando a condio abaixo est satisfeita :
( x, y e z A; xRy e yRz xRz )
ANTI-SIMTRICA
Diz que R e anti-simtrica quando a condio abaixo est satisfeita :
( x, y A; xRy e yRx x = y )
Exemplos:
01. Seja A = {1, 2, 3, 4}. Ento podemos classificar as relaes abaixo em :
a)
Anti-simtrica e Transitiva
d) R5 = AxA
e)
R5 =
02. A relao R definida por xRy x y , sobre o conjunto dos nmeros reais uma relao reflexiva, antisimtrica e transitiva.
03. A relao R definida por xRy xy (x divide y) ,sobre o conjunto dos inteiros positivos e uma relao
reflexiva, anti-simtrica e transitiva.
04. Sendo A o conjunto das retas do espao, a relao R definida por xRy x // y , uma relao reflexiva,
simtrica e transitiva.
05. A relao R = {(x,y) 2 (x 4)2 + (y 4)2 4 } uma relao apenas simtrica.
16
Exemplos:
01. Sendo A o conjunto das retas do espao, a relao R definida por xRy x // y , uma relao de
equivalncia.
02. A relao R definida por xRy x y , sobre o conjunto dos nmeros reais uma relao de ordem.
03. A relao R definida por xRy xy (x divide y) ,sobre o conjunto dos inteiros positivos e uma relao de
ordem.
04. A relao R definida por xRy x y = 3k (onde k um inteiro), sobre o conjunto dos inteiros positivos e
uma relao de equivalncia.
Observao : Se R uma relao de ordem em A e todos os elementos de A esto relacionados, ento diz-se
que R uma relao de ordem total, caso contrrio, diz-se que R uma relao de ordem parcial.
CLASSES DE EQUIVALNCIA
Definio:
Sejam R uma relao sobre o conjunto A e o elemento a A. Chama-se de classe de equivalncia
determinada por a, mdulo R, o subconjunto de A, definido por :
a = { x A xRa }
ou
a = { x A aRx }
CONJUNTO QUOCIENTE
Definio:
Sejam R uma relao de equivalncia sobre o conjunto A. O conjunto formado por todas as classes de
equivalncia gerada pelos elementos de A denominado de conjunto quociente e denotado por A/R.
Exemplos
01. As relaes abaixo definidas so relaes de equivalncia em A = {1, 2, 3, 4}:
a)
= {1, 2} ;
= {1, 2} ; 3 = {3} e
= {4}
17
= { 1, 2} ; 3 =
= {3, 4}
a = { a, b, c} = b = c
d = {d, e} = e
= {f }
Teorema
Sejam R uma relao de equivalncia sobre A e os elementos a, b A. As seguintes proposies so
equivalentes :
(I) aRb;
(II) a a ;
(IV) a b
(III) b a ;
isto ,
aRb
a a
ab
b a
ou x est relacionado y
ou
x y
18
ou
x precede y
ou
y precedido por x
DIAGRAMA SIMPLIFICADO
A partir de um exemplo, mostraremos como construir um diagrama simplificado de uma relao de
ordem.
Exemplo:
A relao R definida por xRy xy (x divide y), sobre o conjunto A = {1, 2, 3, 4, 6, 8} uma relao de ordem,
isto , R = {(1,1); (1,2); (1,3); (1,4); (1,6); (1,8); (2,2); (2,4); (2,6); (2,8); (3,3); (3,6); (4,4); (4,8); (6,6); (8,8)} .
Para fazermos o diagrama simplificado vale as seguintes regras para construo do diagrama:
* Se (1,2) R, ento 1 2;
* Se (1,2), (2,4) e (2,4) R, ento 1 2 4, isto , no h necessidade de indicar 1 4;
* Considerando que toda relao de ordem uma relao reflexiva, fica subtendido a existncia de um lao em
torno de todo par (x,x) R;
Deixamos ao aluno apresentar outras relaes de ordem com seus respectivos diagramas simplificados.
Definies:
Seja R uma relao de ordem em A e B um subconjunto de A.
Dizse que L A um limite superior de B quando todo x B precede L.
Dizse que l A um limite inferior de B quando todo x B precedido por l.
Chamase de supremo do conjunto B ao menor dos limites superiores, caso exista.
Chamase de nfimo do conjunto B ao maior dos limites inferiores, caso exista.
Um elemento M B um mximo de B, quando ele for um limite superior de B.
Um elemento m B um mnimo de B, quando ele for um limite inferior de B.
Dizse que M0 B maximal de B, se o nico elemento de B precedido por M0 o prprio.
Dizse que m0 B minimal de B, se o nico elemento de B que precede m0 o prprio.
19
Exemplos:
01. Sejam a relao R definida por xRy x y sobre o conjunto A = e o subconjunto B = [ 0 , 1] de A.
B
0
Lim sup(B)
= { L L 1}
Lim inf(B)
= { l l 0 }
Supremo do subconjunto B:
Sup(B)
= 1
nf(B)
= 0
Mx(B)
= 1
Mn(B)
= 0
Maximal(B)
= 1
Minimal(B)
= 0
nfimo do sbconjunto B:
Mximo do subconjunto B:
Mnimo do sbconjunto B:
Maximal do subconjunto B:
Minimal do sbconjunto B:
B
0
Lim sup(B)
= { L L 1}
Lim inf(B)
= { ll0}
Supremo do subconjunto B:
Sup(B)
= 1
nf(B)
= 0
Mximo do subconjunto B:
Mx(B)
= 1
Mnimo do sbconjunto B:
Mn(B)
= No existe.
nfimo do sbconjunto B:
Maximal do subconjunto B:
Maximal(B)
= 1
Minimal do sbconjunto B:
Minimal(B)
= No existe.
20
a)
Simbolicamente:
21
x
y
03. Observe que a diferena de nmeros naturais no uma operao interna em N, porm, a
mesma operao definida no conjunto dos nmeros inteiros uma operao interna em Z.
Exemplos:
01. A operao definida por x y = mdc(x,y) em A = {1, 2, 3, 4} pode ser representada pela
seguinte tbua :
22
02. A operao definida por x y = x y em A = ({1, 2}) pode ser representada pela
seguinte tbua :
{1}
{2}
{ 1, 2}
{1}
{1}
{1}
{2}
{2}
{2}
{ 1, 2}
{1}
{2}
{ 1, 2 }
IDEMPOTNCIA
Diz-se que a operao em A idempotente se, e somente se, para todo elemento x de
A tem-se xx = x .
ASSOCIATIVA
Diz-se que a operao em A associativa quando, quaisquer que sejam os elementos
x, y e z de A, tem-se x ( y z ) = ( x y ) z .
23
COMUTATIVA
Diz-se que a operao em A comutativa quando, quaisquer que sejam os
elementos x e y de A, tem-se x y = y x .
(II) x e = x .
1 (um),
respectivamente.
b) Para a composio de funes de R em R , o elemento neutro a funo identidade,
definida por f(x) = x .
24
x
1 2x
Proposio
Seja uma operao interna em A, associativa e admite elemento neutro e, ento
podemos concluir que:
a) Todo elemento x A admite um nico simtrico.
b) O simtrico do simtrico, de um elemento x A, o prprio x .
c) Se x e y so elementos simetrizveis em A e seus respectivos simtricos so
x' e y',
ELEMENTO REGULAR
Diz-se que um elemento a A regular ou simplificvel em relao a operao se,
e somente se, quaisquer que sejam os elementos x e y de A, as relaes :
(I)
xa=ya x=y
(II)
ax=ay x=y
26
Proposio
Se uma operao interna em A associativa, admite o elemento neutro e e
a A simetrizvel, ento a regular.
Exemplo:
01. Sejam G = C , H = { i, 1, i, 1} e a operao Z1Z2 = Z1 . Z2 . Observando a tbua
abaixo, conclumos que H uma parte fechada de G.
27
SEMIGRUPO
Definio:
Semigrupo um par ordenado ( G , ) formado por um conjunto no vazio G e uma
operao associativa em G, isto , todo grupide cuja operao associativa.
MONIDE
Definio:
Chama-se de monide a todo grupide ( G, ) cuja operao associativa e
admite elemento neutro, ou todo semigrupo cuja operao tem admite elemento neutro.
GRUPO
Definio:
Seja G um conjunto no vazio munido de uma operao . Dizse que a operao
define uma estrutura de grupo sobre o conjunto G ou que o conjunto G um grupo em
relao operao quando as seguintes propriedades so vlidas:
(G1)
Associativa
Quaisquer que sejam x, y e z G, temse x(yz) = (xy)z.
(G2)
Elemento Neutro
Existe em G um elemento e tal que xe = ex qualquer que seja x G.
(G3)
Elementos Simetrizveis
Para todo x em G, existe um elemento x' em G tal que xx' = x'x = e.
Por outro lado, G um grupo se o par ( G, ) um monide que satisfaz a condio
GRUPO COMUTATIVO
Definio:
28
Exemplos:
01. O grupide ( Q , ) um grupo abeliano, onde xy = x + y. De fato :
(G1) x, y, z Q temse (x + y) + z = x + (y + z)
(G2) e = 0 Q, tal que x Q temse 0 + x = x + 0 = x
(G3) x Q, x Q tal que x + ( x) = ( x) + x = 0
(G4) x, y Q, temos x + y = y + x
02. O grupide (Z, ) munido da operao xy = x + y 10 possui as seguintes propriedades:
Associativa
(xy)z = (x + y 10)z
= (x + y 10) + z 10
= x + (y + z 10) 10
= x(y + z 10)
= x(yz)
Comutativa
xy = x + y 10 = y + x 10 = yx
Elemento Neutro
xe = x
x + e 10 = x
e
ex
=x
e + x 10 = x
= 10
= 10
Elementos Simetrizveis
xx' = e
x'x
= e
x + x' 10 = 0
x' + x 10
= 0
x' = 20 x
x'
= 20 x
U (Z) = Z
04. Deixamos ao encargo do leito provar que os grupides abaixo so grupos abelianos :
x3 y3
a) G =
xy=
b) G = Q
xy=x+y+3
Notao
Para simplificar, indicaremos pela notao aditiva ( G, + ) quando a operao
for a adio usual e pela notao multiplicativa ( G, . ) se a operao
for a
Exemplos :
01. Seja G = { i, 1, i, 1} e a operao Z1Z2 = Z1 . Z2 . Observando a tbua abaixo,
conclumos que G um grupo finito e que sua ordem o(G) = 4.
30
Corolrio
Para todo elemento do grupo ( G, ) cujo simtrico x', temse (x')' = x.
Demonstrao:
Pela definio de simtrico, temos:
(x')' x'
= e
x' (x')'
[(x')' x' ] x = e x
(x')' [x' x ] = x
x [x' (x')' ]
= e
= xe
[x x' ] (x')'
= x
(x')' e
= x
e (x')'
= x
(x')'
= x
(x')'
= x
SIMTRICO DE UM COMPOSTO
Teorema
Quaisquer que sejam x e y em G, temse ( x y )' = y' x'.
Demonstrao:
Aplicando a propriedade associativa, temos:
(xy)(y'x') = x(yy')x' = xex' = xx' = e
e, de modo anlogo :
(y'x')(xy) = y'(x'x)y = y'ey = y'y = e
31
ELEMENTOS REGULARES
Teorema
Todos os elementos do grupo G so regulares.
importante notar que num grupo valem as regras de simplificao esquerda e
direita para a operao do grupo.
Teorema
Quaisquer que sejam os elementos a e b de G, as equaes ax = b e ya = b
admitem soluo nica em G .
Demonstrao;
De fato,
ax
= b
ya
= b
a'(ax) = a'b
(ya)a'
= ba'
(a'a)x = a'b
y(aa' )
= ba'
ex = a'b
ye
= ba'
x = a'b
= ba'
Por outro lado, supondo que x0 e y0 G so, respectivamente, solues das equaes
ax = b e ya = b , temse :
x0 = ex0
y0
= y0e
32
x0 = (a'a)x0
y0 = y0(aa' )
x0 = a'(ax0)
y0 = (y0a)a'
x0 = a'b
y0
= ba'
Exemplos:
01. A tbua ao lado representa todas as possveis operaes do grupo G = { a, b, c, d, e, f}
levandose em conta que :
a) G abeliano
b) O neutro e
c) af = bd = e
d) ad = bc = f
e) ac = bb = d
f) cd = a
33
2.5. SUBGRUPOS
Definio:
Sejam ( G, ) um grupo e H uma parte no vazia do conjunto G. O par ( H, ) dizse
um subgrupo do grupo ( G, ), quando H fechado operao do grupo G e ( H, )
tambm um grupo, isto , quando as seguintes condies forem satisfeitas:
(S1) Quaisquer que sejam os elementos x e y de H, temse xy H
(S2) O par ( H, ) tambm um grupo.
A associatividade da operao em G garante a associatividade desta operao em
H, porque H uma parte no vazia de G ( H G ).
Todo grupo ( G, ) em que o(G) 1, admite pelo menos dois subgrupos : ( {e}, ) e
( G, ), denominados de subgrupos triviais ou subgrupos imprprios. Os demais subgrupos
de ( G, ), se existem, so chamados de subgrupos prprios .
Exemplos:
01. Sobre o grupo multiplicativo dos reais ( , . ), podemos afirmar que :
a) Os subgrupos triviais so : ( , . ) e ( {1}, . ) ;
b) Os conjuntos H1 = { 1, 1} e H2 = {x x > 0} so subgrupos prprios de ( , . )
02. O grupo de Klein (Felix Klein 1849 1925), de ordem 4, K = { a, b, c, e} representado na
tbua abaixo :
34
definida por
ELEMENTO NEUTRO
Teorema
O elemento do neutro do grupo coincide com o elemento neutro de cada um dos seus
subgrupos.
Demonstrao:
Sejam eG e eH os respectivos elementos neutros do grupo G e do subgrupo H.
Como H G, temos que eH G e que eH eG = eG eH = eH .
Por hiptese eH o elemento neutro de H, logo eH eH = eH.
Aplicando a propriedade de elementos simplificveis em eH eG = eH eH , obtemos
eG = eH . Portanto, o elemento neutro do grupo o mesmo elemento neutro de cada um dos
seus subgrupos.
SIMTRICO DE UM ELEMENTO
Teorema
O simtrico de qualquer elemento do subgrupo coincide com o seu simtrico no grupo.
Demonstrao:
Sejam x H e e o elemento neutro do grupo e do subgrupo.
35
xx'H = x'Hx = e
Demonstrao:
Supondo que H seja um subgrupo do grupo G, as condies (S1) e (S2) so claramente
satisfeitas.
Reciprocamente, supondo que as duas condies (S1) e (S2) sejam satisfeitas, temos :
a) A operao associativa em H, porque a operao em G associativa
e H
G;
b) As condies (S1) e (S2) garantem que a operao fechada em H, assim como,
todos os elementos de H so simetrizveis;
c) Tomando h H , pela condio (S2) h' H e pela condio (S1) hh' = h'h H,
assim e H.
Portanto, H um subgrupo do grupo G.
Exemplos:
01. Mostraremos que o par ( H = { 3n n Z }, . ) um subgrupo do grupo multiplicativo
dos racionais positivos ( G = Q+, . ).
a) O neutro do grupo e = 1 que pode ser interpretado como e = 30 = 1, onde 0 Z ;
b) Dados h1 = 3p e h2 = 3q elementos de H, com p e q inteiros, temos :
i. h1h2 = 3p.3q = 3p + q H, pois p + q inteiro
c) Seja h = 3m , com m inteiro. Assim,
36
1 e
2 racionais, temos :
h1h2 = [cos(1) + i.sen(2)].[cos(2) + i.sen(2)]
h1h2 = [cos(1).cos(2) sen(1).sen(2)] + i.[cos(1).sen(2) + sen(1).cos(2)]
h1h2 = cos(1 + 2) + i.sen(1 + 2)
h1h2 H, pois 1 + 2 = Q;
c) Dado h = cos() + i.sen() H, com racional. Assim,
hh' = e h.h' = 1 h' =
1
h' = cos() i.sen( )
h
37
hh' = e
z . h' = 1
h' = z = z= 1.
h' = z
h' H.
Portanto, H um subgrupo de G = C .
05. O conjunto H = { x Q x > 0} um subgrupo do grupo multiplicativo dos nmeros
racionais no nulos ( Q, . ). De fato :
a) O neutro do grupo e = 1 H, pois e = 1 > 0;
b) Dados h1 e h2 elementos de H, com h1 > 0 e h2 > 0, temos :
h1h2 = h1.h2 > 0, logo h1h2 H;
h . h' = 1
h' > 0
h' H.
h' =
Portanto, H um subgrupo de G = Q .
38
1
h
Simbolicamente:
Note que o primeiro membro desta relao, isto , no termo f(x y) o composto x y computado em
G ao passo que no segundo membro desta relao, isto , no termo f(x) f(y), o composto de elementos de J.
Com isto, entendese uma aplicao de um sistema algbrico (grupo), em outro sistema algbrico semelhante
(grupo), que conserva a estrutura.
Exemplos :
01. Sejam os grupos ( , + ) e ( +, . ). A aplicao f : + , definida por f(x) = 2x um homomorfismo.
De fato :
f(a b) = 2a + b = 2a . 2b = f(a) f(b)
02. Sejam os grupos (+, . ) e ( , + ). A aplicao f : + , definida por f(x) = log(x) um
homomorfismo. De fato :
f(m n) = log(m . n) = log(m) + log(n) = f(m) f(n)
03. Sejam os grupos (C, . ) e ( +, . ). A aplicao f : C + , definida por f(z) = z um
homomorfismo. De fato :
f(z1 z2) = z1 . z2 = z1 . z2 = f(z1) f(z2)
39
04. A aplicao f: (ZxZ, +) (ZxZ, +), definida por f(x,y) = (x y, 0) um homomorfismo. De fato :
f[(a,b) (c,d)] = f[(a,b) + (c,d)] = f[(a + c, b + d)] = ((a + c) (b + d), 0)
f[(a,b) (c,d)] = ((a b) + (c d), 0 + 0) = (a b, 0) + (c d, 0) = f(a,b) f(c,d)
05. Sejam os grupos multiplicativos G = M2() tal que det(A) 0; A M2() e
J = . A aplicao f :
Teorema
A imagem f(eG) do elemento neutro eG do grupo G o elemento neutro eJ do grupo J, isto , f(eG) = eJ.
Demonstrao :
Para todo x elemento de G, temos :
x eG = x
f(x eG) = f(x)
f(x) f(eG) = f(x)
f(x) f(eG) = f(x) eJ
f(eG) = eJ
c.q.d.
Teorema
A imagem do simtrico de qualquer elemento x do grupo G igual ao simtrico da imagem de x, isto ,
f(x') = [f(x)]' , x G .
Demonstrao :
Para todo x elemento de G, temos :
f(eG) = eJ
f(x x') = eJ
f(x) f(x') = eJ
f(x) f(x') = f(x) [f(x)]'
f(x') = [f(x)]'
c.q.d.
Teorema
O homomorfismo transforma subgrupos de G em subgrupos de J .
40
Demonstrao:
Seja ( H, ) um subgrupo de ( G, ) .
Afirmamos que ( f(H), ) um subgrupo de ( J, ). De fato :
a)
b) y1, y2 f(H), por definio, existem x1, x2 H tais que f(x1) = y1 e f(x2) = y2 . Assim, y1 y2 = f(x1)
f(x2) = f(x1) f(x2) = f(x1 x2 )
Como x1 x2 H, temse y1 y2 f(H).
d) y f(H), por definio, existe x H tais que f(x) = . Assim, y' = f(x)' = f(x')
Como x' H, temse y' f(H).
Portanto, ( f(H), ) um subgrupo de ( J, ) .
Em smbolos :
Exemplos :
01. Sejam os grupos ( , + ) e ( +, . ) e o homomorfismo f : + , definido por
Aplicando a condio para que um elemento x de G pertena ao ncleo de f, temos: f(x) = eJ
f(x) = 2x .
2x = 1
x=0
log(x) = 0
x=1
41
z = 1
f(z) = z, sendo z =
x +y =1
Geometricamente :
04. Consideremos o homomorfismo de grupos f: (ZxZ, +) (ZxZ, +), definido por f(x,y) = (x y, 0).
Kernel de f :
f(x,y) = eJ
(x y, 0 ) = (0,0)
x=y
f(X) = eJ
det(X) = 1.
Teorema
Seja f: (G, ) ( J, ) um homomorfismo de grupos, ento o ncleo de f um subgrupo de G, isto ,
o par (N(f), ) um subgrupo do grupo (G, ) .
Demonstrao :
a)
f(y) = eJ .
42
Sugerimos ao leitor que procure recordar quando uma aplicao injetora, sobrejetora ou bijetora antes
de dar continuidade neste texto.
MONOMORFISMO
Definio:
Dizse que o homomorfismo f um monomorfismo ou homomorfismo injetor quando a aplicao f
injetora .
EPIMORFISMO
Definio:
Dizse que o homomorfismo f um epimorfismo ou homomorfismo sobrejetor quando a aplicao f
sobrejetora .
ISOMORFISMO
Definio:
Isomorfismo ou homomorfismo bijetor todo homomorfismo cuja aplicao f bijetora .
ENDOMORFISMO
Definio :
Chamase de endomorfismo a todo homomorfismo de (G, ) em si prprio .
43
AUTOMORFISMO
Definio:
Chamase de automorfismo a todo endomorfismo cuja aplicao f seja bijetora .
Exemplos:
01. Sejam os grupos ( , + ) e ( +, . ). A aplicao f : + , definida por f(x) = 2x um isomorfismo.
02. Sejam os grupos (+, . ) e ( , + ). A aplicao f : + , definida por f(x) = log(x) um isomorfismo.
03. Sejam os grupos (C, . ) e ( +, . ). A aplicao f : C + , definida por f(z) = z um epimorfismo.
04. A aplicao f: (ZxZ, +) (ZxZ, +), definida por f(x,y) = (x y, 0) um endomorfismo.
05. Sejam os grupos (, + ) e ( , + ). A aplicao f : , definida por f(x) = 2.x um automorfismo.
06. A aplicao f: (Z, +) (Q, +), definida por f(x,y) = 2.x um monomorfismo.
Deixamos ao encargo do leitor mostrar que as aplicaes so injetora, sobrejetora ou bijetora, conforme o
caso.
h H}
h H}
Exemplos:
01. Sejam o grupo multiplicativo G = { i, 1, i, 1} e o subgrupo H = { 1, 1}.
Todas as possveis operaes do grupo figuram na tbua abaixo:
Observe que :
Se o elemento gerador da classe pertence ao subgrupo, ento est classe igual ao prprio
subgrupo.
45
As classes laterais de H = { a, e } em G, so :
a H = { x G x = a h ; h H } = { a, b, c, e }
b H = { x G x = b h ; h H } = { a, b, c, e }
c H = { x G x = c h ; h H } = { a, b, c, e }
e H = { x G x = e h ; h H } = { a, b, c, e }
H a = { x G x = h a ; h H } = { a, b, c, e }
H b = { x G x = h b ; h H } = { a, b, c, e }
H c = { x G x = h c ; h H } = { a, b, c, e }
H e = { x G x = h e ; h H } = { a, b, c, e }
Demonstrao:
Considere as classes laterais a H = {a h h H} e H a = {h a h H }.
Assim, H a = { h a h H } = { a h h H } = a H, pois G um grupo
abeliano.
Teorema
Sejam ( H, ) um subgrupo do grupo ( G, ), ento todo elemento a de G pertence
sua classe lateral.
Demonstrao:
Consideremos a classe lateral direita H a de H em G, determinada por a G .
Sabemos que o elemento neutro e do grupo G pertence ao subgrupo H.
46
Teorema
Sejam ( H, ) um subgrupo do grupo ( G, ), e a, b elementos quaisquer de G, ento
as classes laterais direita H a e H b (ou as classes laterais esquerda a H e a H )
de H em G, geradas por a e b, respectivamente, coincidem se, e somente se
a b' H
( ou a' b H ).
Demonstrao:
Consideremos que as classes laterais direita sejam coincidentes, isto , H a
Teorema
Sejam ( H, ) um subgrupo do grupo ( G, ), e a, b elementos quaisquer de G, ento
as classes laterais direita (ou as classes laterais esquerda ) de H em G, determinadas por a
e b so disjuntas ou coincidentes.
Demonstrao:
Consideremos as classes laterais direita H a e H b de H em G, determinadas por
a e b, respectivamente.
Suponha que exista um elemento x de G tal que x H a e x H b .
Logo existem h1, h2 H tais que :
h1 a = x = h2 b ou ainda
h1 a = h2 b
47
Lema
Sejam ( G, ) um grupo e H um subgrupo de G e
a, b G, com a b. Ento
Demonstrao:
Definamos a seguinte aplicao :
f:Ha Hb
ha hb
f( h a ) = h b
Afirmamos que f : H a H b bijetora. De fato :
a) Seja f(h1 a) = f(h2 a)
logo, h1 a = h2 a.
h1 b = h2 b
h1 = h2
f injetora.
Teorema de Lagrange
A ordem de qualquer subgrupo ( H, ) de um grupo finito ( G, ) divide a ordem do
grupo ( G, ).
Demonstrao:
Pelo teorema sobre parties em um conjunto, temse que as classes laterais direita
(ou esquerda) de H em G, decompem G em classes laterais mutuamente disjuntas. Por
outro lado, sabemos que entre duas classes laterais existe sempre uma correspondncia
bijetora, isto , H a H b, a, b G, e mais ainda H a H b H e = H. Logo,
como G finito, o nmero de classes laterais multiplicado pela quantidade de elementos em
48
Exemplos:
01. As ternas ( Z, +, . ); ( Q, +, . ); ( , +, . ) e ( C, +, . ) so anis, pois, para cada uma delas,
so vlidas as trs seguintes condies:
(A1) Os pares ( Z, +); ( Q, +); ( , +) e ( C, +) so grupos abelianos;
(A2) Os pares ( Z, . ); ( Q, . ); ( , . ) e ( C, . ) so semigrupos;
(A3) A multiplicao (.) em Z, Q, e C distributiva em relao a adio (+).
02. A terna ( 2.Z, +, . ), onde 2.Z denota o conjunto dos nmeros inteiros pares, um anel,
pois, so vlidas as trs seguintes condies:
(A1) O par ( 2.Z, +) um grupo abeliano;
(A2) O par ( 2.Z, . ) um semigrupo;
(A3) A multiplicao (.) em 2.Z distributiva em relao a adio (+).
03. Seja M2() o conjunto de todas as matrizes quadradas de ordem 2. A terna ( M 2(), +, .)
um anel, pois, temos :
(A1) O par (M2(), +) um grupo abeliano;
(A2) O par (M2(), . ) um semigrupo;
(A3) A multiplicao (.) em M2() distributiva em relao a adio (+) .
04. A terna ( {0}, +, . ) um anel, porque ( {0}, + ) um grupo abeliano; ( {0}, . ) um semi
grupo e a multiplicao (.) distributiva em relao adio (+).
05. Seja A = = { f f : }. Dadas duas funes quaisquer f, g A, definindo f + g
e f.g da seguinte forma :
(f + g) :
(f.g) :
(f.g)(x) = f(x).g(x)
50
ANEL DE INTEGRIDADE
Definio:
Dizse que o anel comutativo com unidade ( A, , ) um anel de integridade,
quando a, b A, temse a b = 0A a = 0A ou b = 0A , isto , vale a lei do anulamento
do produto.
Se a e b so elementos no nulos do anel A tais que a b = 0A ou b a = 0A,
dizemos que a e b so divisores prprios do zero em A.
51
Exemplos :
01. Os anis ( Z, +, . ); ( Q, +, . ); ( , +, . ) e ( C, +, . ) so exemplos clssicos de anis de
integridade.
0 1 1 0
0 0
0 0 . 0 0 0 0
1 0 0 1
embora,
.
0 0 0 0
0 1
0 0
5.4. SUBANIS
Definio:
Sejam ( A, , ) um anel e L um subconjunto no vazio de A. Diz-se que L um
subanel quando:
a) L fechado para as operaes que dotam o conjunto A da estrutura de anel;
b) ( L, , ) tambm um anel.
Exemplo:
Considerando-se as operaes usuais sobre os conjuntos numricos temos que:
a)
Z subanel de Q, R e C;
b) Q subanel de R e C;
c)
R subanel de C.
Proposio:
Sejam ( A, , ) um anel e L um subconjunto no vazio de A. Ento L um
subanel de A se, e somente se, a b e a b L, sempre que a,b L.
52
5.5. CORPO
Definio:
Chamase corpo todo anel comutativo ( C, , ) com elemento unidade e tal que
todo elemento no nulo de C inversvel para a operao .
Em outras palavras, corpo toda terna ordenada ( C, , ) que satisfaz as seguintes
condies :
(C1) ( C, ) um grupo abeliano;
(C2) ( C, ) um grupo abeliano;
(C3) A operao distributiva em relao operao .
Exemplos :
01. Os anis ( Q, +, . ); ( , +, . ) e ( C, +, . ) so corpos, denominados, respectivamente,
corpo dos nmeros racionais, corpo dos nmeros reais e corpo dos nmeros complexos,
pois, so vlidas as condies:
(A1) Os pares ( Q, +); ( , +) e ( C, +) so grupos abelianos;
(A2) Os pares ( Q, . ); ( , . ) e ( C, . ) so grupos abelianos;
(A3) A multiplicao (.) em Q, e C distributiva em relao a adio (+).
53
Teorema
Todo corpo ( C, , ) no possui divisores de zero.
Demonstrao:
Devemos provar que da igualdade a.b = 0 implica em a = 0 ou b = 0, quaisquer que
sejam os elementos a, b C.
Se a = 0, no h o que demonstrar.
Se a 0, ento pela definio de corpo, o elemento a C inversvel, isto , possui
inverso a 1 C.
Assim, a.b = 0
a 1.a.b = a 1.0
1A.b = 0
b=0.
Teorema
Todo corpo ( C, , ) um anel de integridade.
Demonstrao:
De fato, de acordo com a definio de corpo e teorema acima, ( C, , ) um anel
comutativo com elemento unidade e sem divisores de zero, portanto, ( C, , ) um anel de
integridade.
54
EXERCCIOS
01. Dados os conjuntos A = {a, b} ; B = {2, 3} e
C = {3, 4} . Calcule:
a) A x ( B C )
b) ( A x B ) ( A x C )
c) A x ( B C )
d) ( A x B ) ( A x C )
e) A x ( B C )
f) A x ( C B )
e)
R5 =
55
1
e 2 .
2
x
uma lei de composio interna ?
y
a) A =
e xy=
b) A =
e xy=
x y
2
x2 y2 .
c) A =
e x y = x . y +2.x
d) A = ZxZ e (a,b)(c,d) = ( a + c, b.d)
e) A = ZxZ e (a,b)(c,d) = ( a . c , 0 )
cos()
sen()
sen() cos()
A =
56
e)
23=1
cos()
sen()
sen() cos()
H =
1
2
3
4
1
3
4
1
2
2
4
3
2
1
3
1
2
3
4
.
b) G = Q {1}; x y = x + y x.y e
H = 2.Z = { 0, 2, 4, 6, 8, ...}
4
2
1
4
3
c) G = Z;
x y=x+y e
H = 2.Z = { 0, 2, 4, 6, 8, ...}
d) G = C; z1 z2 = z1 . z2 e
H = { z C z = 2 }
e) G = ; x y = x + y e H = N .
43. Provar que, se H1 e H2 so subgrupos do
grupo ( G, ), ento H1 H2 um subgrupo
do grupo G.
44. Mostre que, se G um grupo e x x = 1, ento
G abeliano.
m
: m, n } so
subgrupos
do
1 0 1 0 1 0 1 0
;
;
;
0 1 0 1 0 1 0 1
com a operao de multiplicao usual de
matrizes um grupo abeliano.
G =
52. O subconjunto H = { 6n n Z } um
subgrupo do grupo ( Q, . ).
57
3
5
7
9
5
5
7
9
3
7
7
9
3
5
9
9
3
5
7
1 0 1 0 1 0 1 0
;
;
;
0 1 0 1 0 1 0 1
com as operaes usuais de adio e
multiplicao de matrizes um anel de
integridade
f(z) = z
g) f : ( C, . ) ( C, . ), definida por
f(z) = z2
h) f : ( C, . ) ( C, . ), definida por
f(z) =
3
3
5
7
9
1
z
f : ( C, . ) ( C, . ), definida por
f(z) = z
j) f : ( Z, + ) ( C, . ), definida por
f(n) = in
k) f : ( , . ) ( , . ), definida por
f(x) = x3
i)
xy=x+y
x. y
X Y = (X Y) (X Y)
XY=XY
69. Verifique se L = {a + b a, b Q}
subanel de A = .
58
BIBLIOGRAFIA:
ALENCAR FILHO, Edgard de. Teoria Elementar dos Conjuntos. Nobel. So Paulo, 1990.
ALENCAR FILHO, Edgard de. Elementos de lgebra Abstrata. Nobel. So Paulo, 1979.
AZEVEDO, Alberto PICCININI, Renzo. Introduo teoria dos grupos. IMPA, Rio de
Janeiro, 1969.
DOMINGUES, Higino IEZZI, Gelson. lgebra Moderna. Atual. So Paulo, 1995.
GARCIA, Arnaldo LEQUAIN, Yves. lgebra: um curso de introduo. IMPA. Rio de
Janeiro, 1988.
HERNSTEIN, I. N. Topics in Algebra. Traduo: Adalberto P. Bergamasco e L.H. Jacy
Monteiro. Polgono. So Paulo, 1970.
SIMIS, Aron. Introduo lgebra. IMPA Monografias de Matemtica. Rio de Janeiro,
1976.
59