Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
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]
[ESTRUTURAS ALGBRICAS]
( X , )
( 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.
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]
DEFINIO 2
Chama-se
SEMIGRUPO
associativa: x ( y z ) = ( x y ) z .
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.
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]
=
( porque e y y ) .
DEFINIO 5
Chama-se
MONIDE
{1, 1}
em relao ao monide
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]
DEFINIO 6
Um GRUPO ( G, ) um monide ( G, ) em que todos os elementos so invertveis. Em
particular, um grupo diz-se
ABELIANO
comutativa.
MAGMA
SEMIGRUPO
MONIDE
GRUPO
[ESTRUTURAS ALGBRICAS]
DEFINIO 7
Um
ANEL
( A, )
apenas um semigrupo no
DEFINIO 8
Um anel unitrio A diz-se um
ANEL DE DIVISO
CORPO
a um anel de
diviso abeliano.
[ESTRUTURAS ALGBRICAS]
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.
[ESTRUTURAS ALGBRICAS]
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.
e a de
ESPAO VECTORIAL