Você está na página 1de 9

[ESTRUTURAS ALGBRICAS]

Prof. Carlos R. Paiva

NOTA PRVIA
As breves notas que se seguem destinam-se a constituir uma introduo bastante sucinta
de algumas estruturas algbricas abstractas. Os exemplos escolhidos baseiam-se,
essencialmente, nos conjuntos dos nmeros mais conhecidos equipados com as
respectivas operaes usuais.

inteiros

=
{ 1, 2, 3, 4, 5, }
= { , 3, 2, 1, 0, 1, 2, 3, }

racionais

reais
complexos
quaternies
octonies

naturais

nmeros

p
| p , q , q 0
r =
q

= i
= j
=

Apesar de, do ponto de vista histrico, ter causado alguma dificuldade psicolgica a
aceitao pelo mainstream quer dos nmeros negativos quer dos nmeros complexos,
talvez a definio dos nmeros reais que deve causar maior cuidado e reflexo. Uma
forma, hoje quase universalmente aceite, de introduzir os nmeros reais deve-se ao
matemtico alemo Julius Wilhelm Richard Dedekind (1831-1916). Veja-se, a este
propsito:
Michael Spivak, Calculus. Cambridge: Cambridge University Press, 3rd ed., 1994,
pp. 578-596 (Chapters 29-30).
Sobre os nmeros (em geral) e sobre os complexos, os quaternies e os octonies (em
particular), consulte-se a excelente obra:
H.-D. Ebbinghaus et al., Numbers. New York: Springer-Verlag, 1991.
Uma referncia importante para o estudo das estruturas algbricas em lgebra abstracta
o livro:
Rui Loja Fernandes e Manuel Ricou, Introduo lgebra. Lisboa: IST Press (Vol.
15), 2004.
A construo de Cayley-Dixon, segundo a qual se tem

= i
= j
=
pode ser consultada em:

[ESTRUTURAS ALGBRICAS]

Prof. Carlos R. Paiva

Pertti Lounesto, Clifford Algebras and Spinors. Cambridge: Cambridge University


Press, 2nd ed., 2001, p. 302 (Chapter 23).
Uma optima referncia sobre octonies a seguinte
http://math.ucr.edu/home/baez/octonions/:
John C. Baez, The octonions, Bull. Amer. Math. Soc., Vol. 39, pp. 145-205, 2002.

Finalmente, para os mais exigentes em termos de lgebra, recomendam-se os seguintes


livros:
NVEL ELEMENTAR
Serge Lang, Undergraduate Algebra. New York: Springer, 3rd ed., 2005.
Garrett Birkhoff and Saunders Mac Lane, A Survey of Modern Algebra. Wellesley,
Massachusetts: A. K. Peters, 4th ed., 1997.
NVEL AVANADO
Saunders Mac Lane and Garrett Birkhoff, Algebra. Providence, Rhode Island: AMS
Chelsea Publishing, 3rd ed., 1999.
Roger Godement, Cours dAlgbre. Paris: Hermann, 1996.
N. Bourbaki, Elements of Mathematics: Algebra I, Chapters 1-3. Berlin: SpringerVerlag, 1989.
Thomas W. Hungeford, Algebra. New York: Springer, 1974.
Serge Lang, Algebra. New York: Springer, Revised Third Edition, 2002.
Derek J. S. Robinson, A Course in the Theory of Groups. New York: Springer, 2nd
ed., 1996.
Joseph J. Rotman, An Introduction to the Theory of Groups. New York: Springer,
4th ed., 1995.

Para os interessados na histria do conceito de grupo, recomenda-se:


Hans Wussing, The Genesis of the Abstract Group Concept: A Contribution to the
History of the Origin of Abstract Group Concept. Mineola, New York: Dover, 2007
(1984).

[ESTRUTURAS ALGBRICAS]

Prof. Carlos R. Paiva

Seja X um conjunto no-vazio, i.e., X . Uma operao binria em X uma


aplicao : X X X . Uma estrutura algbrica abstracta no mais do que o par

( X , )

em que o smbolo usado para representar a operao binria, i.e., tem-se

( x, y ) = x y . Escreve-se, ento,
: X X X : ( x, y ) x y .
O conjunto X designado por suporte da estrutura abstracta ( X , ) .

DEFINIO 1
Chama-se MAGMA ao conjunto X equipado com uma operao binria. Portanto, o par

(X,)

ou ( X , ) um magma.

Frequentemente indica-se a operao binria por simples justaposio, i.e., escreve-se


x y em vez de ( x, y ) . S se utiliza o smbolo + para indicar a operao binria

quando esta comutativa, i.e., quando ( x, y ) = ( y, x ) . Diz-se, neste caso, que se usa
a notao aditiva. Em todos os outros casos a notao diz-se multiplicativa. O uso dos
parnteses segue a conveno habitual, i.e.,

x ( y z ) = ( x, ( y , z ) )

( x y ) z = ( ( x, y ) , z )

[ESTRUTURAS ALGBRICAS]

Prof. Carlos R. Paiva

que so, em geral, resultados diferentes (i.e., no caso geral no se admite a


associatividade).

DEFINIO 2
Chama-se

SEMIGRUPO

a todo o magma associativo, i.e., em que a operao binria

associativa: x ( y z ) = ( x y ) z .

Note-se, e.g., que o magma ( , ) no constitui um semigrupo j que, em geral, a


multiplicao no associativa. Tendo em considerao o comportamento dos inteiros 0
e 1, respectivamente em relao adio e ao produto usuais, define-se o elemento
neutro em abstracto.

DEFINIO 3

e e=
x x
Seja uma operao binria no suporte X . Ao elemento e X tal que x=
para qualquer x X , d-se o nome de ELEMENTO NEUTRO da operao binria.

Frequentemente ao elemento neutro chama-se zero (utilizando-se o smbolo 0)


quando se usa a notao aditiva e um ou identidade (utilizando-se o smbolo 1)
quando se usa a notao multiplicativa. Facilmente se demonstra que o elemento neutro
nico.

DEFINIO 4
O elemento x X diz-se INVERTVEL sse (abreviatura de se e s se) existe y X tal
que x=
y y=
x e . Neste caso, y diz-se INVERSO de x .

[ESTRUTURAS ALGBRICAS]

Prof. Carlos R. Paiva

Pode facilmente demonstrar-se que, num semigrupo, se x X tem inverso direita y ,


e inverso esquerda z , ento y = z e x invertvel. Com efeito, tem-se
sucessivamente
x y =
e z ( x y) =
z
z),
( porque z e =
( z x) y =
z
( porque a operao associativa ) ,
=
e y z
=
( porque z x e ) ,
=
y z

=
( porque e y y ) .

Na notao aditiva frequente chamar simtrico ao inverso y de x X , sendo ento


representado por y = x . Na notao multiplicativa, porm, se y o inverso de x X
escreve-se y = x 1 .

DEFINIO 5
Chama-se

MONIDE

a um semigrupo em que a operao binria tem identidade (ou

elemento neutro) no suporte.

Note-se, a ttulo de exemplo, que o semigrupo ( , + ) no um monide j que 0 .


Facilmente se verifica que, num monide, o inverso de um elemento invertvel nico e
pertence, tambm, ao suporte. Representa-se por X o conjunto dos elementos
invertveis do monide ( X , ) . Assim, e.g., tem-se =

( , ) . J, por outro lado,

{1, 1}

em relao ao monide

= em relao ao monide ( , + ) . Note-se, ainda, que

em relao ao monide ( , ) se tem = \ { 0} . Facilmente se demonstra que,


num monide ( X , ) , se x, y X so invertveis, ento ( x y ) = y 1 x 1 . Com efeito,
1

tem-se sucessivamente ( e = 1)

( x y ) ( y 1 x 1 ) = ( x ( y y 1 ) ) x 1 ,
= ( x 1) x 1 ,
= xx 1 ,
= 1.

[ESTRUTURAS ALGBRICAS]

Prof. Carlos R. Paiva

Estamos, agora, em condies de definir o conceito fundamental das estruturas


algbricas o conceito de grupo.

DEFINIO 6
Um GRUPO ( G, ) um monide ( G, ) em que todos os elementos so invertveis. Em
particular, um grupo diz-se

ABELIANO

quando a respectiva operao binria for

comutativa.

O monide ( , ) no constitui um grupo j que o nmero 0 no invertvel. J o


monide ( , + ) um grupo: todos os elementos tm simtrico. O monide ( , ) no
um grupo, mas o monide ( , ) j constitui um grupo apesar de no ser um grupo
abeliano (recorda-se aqui que, e.g., i j = ji ). Tem-se, portanto, a seguinte sucesso de
estruturas algbricas (do geral para o particular, em sentido crescente no que respeita
riqueza da estrutura).

MAGMA

SEMIGRUPO

MONIDE

GRUPO

O conceito de grupo permite a formulao de uma estrutura mais rica a estrutura de


anel.

[ESTRUTURAS ALGBRICAS]

Prof. Carlos R. Paiva

DEFINIO 7
Um

ANEL

um terno ordenado ( A, +, ) em que: (i) o par ( A, + ) um grupo abeliano;

(ii) o par ( A, ) um semigrupo; (iii) a multiplicao distributiva em relao adio.


No caso particular em que o semigrupo ( A, ) constitui um monide, o anel diz-se um
ANEL UNITRIO.

Quando a multiplicao comutativa o anel diz-se um ANEL ABELIANO.

Note-se que, na definio de anel, o magma

( A, )

apenas um semigrupo no

constitui, necessariamente, um monide. Assim, o conjunto dos nmeros naturais


no constitui um anel: o semigrupo ( , + ) no um monide porque 0 e, portanto,
muito menos um grupo. Mesmo o conjunto 0 = { 0} no constitui um anel: o
monide ( 0 , + ) no um grupo: qualquer n 1 no invertvel pois no possui
simtrico. Os octonies no constituem um anel j que o magma ( , ) no um
semigrupo (a multiplicao no associativa). So anis: , , , e . Num anel
unitrio A designa-se por A o conjunto dos elementos invertveis do monide ( A, ) .
Prova-se a seguinte proposio: se A um anel unitrio, ento ( A , ) um grupo.

DEFINIO 8
Um anel unitrio A diz-se um

ANEL DE DIVISO

quando se tiver A = A \ { 0} , i.e.,

quando todos os elementos no-nulos forem invertveis. Chama-se

CORPO

a um anel de

diviso abeliano.

Assim, o anel no um anel de diviso: os elementos no-nulos no so invertveis


em relao multiplicao. Os anis , , e so anis de diviso. O anel de

[ESTRUTURAS ALGBRICAS]

Prof. Carlos R. Paiva

diviso dos quaternies de Hamilton no um corpo j que a respectiva


multiplicao no comutativa. So corpos: , e .

ANIS DE DIVISO

CORPOS

ANIS

Definio 9
O anel A verifica a LEI DO CORTE para o produto se
a, b, c A, c 0 e

c
( a=

b c ou c =
a c b ) =
a b.

Um DOMNIO INTEGRAL um anel unitrio abeliano A { 0} no qual a lei do corte para


o produto vlida.

O anel um exemplo de um domnio integral. Outros domnios integrais so: ,


e . O anel de diviso dos quaternies de Hamilton no constitui um domnio
integral: no , sequer, um anel abeliano.

[ESTRUTURAS ALGBRICAS]

Prof. Carlos R. Paiva

Anis

Domnios
Integrais

Anis de
Diviso

Corpos

Quando se passa da lgebra Geral para a lgebra Linear, novas estruturas ganham
importncia nomeadamente, a de
SOBRE UM CORPO.

MDULO SOBRE UM ANEL

e a de

No se abordam, aqui, estes novos conceitos.

ESPAO VECTORIAL