ESTRUCTURAS ALGEBRAICAS

Prof. Hugo Omar Pajello

Una Estructura Algebraica es un objeto matemtico consistente en un conjunto no
vaco y una relacin ley de composicin interna definida en l.
En algunos casos ms complicados puede definirse ms de una ley de composicin
interna y tambin leyes de composicin e!terna.
Empecemos por recordar algunas definiciones"
Operacin binaria Ley de composicin interna definida en un conjunto no vaco A
Es una aplicacin o funcin

del producto cartesiano de

A x A
en A
En smbolos"

es una ley interna en A

: A x A A

Es decir
1 2 1 2
(a , a ) a a
Ejemplo #
$a suma la multiplicacin en N % en Z % en Q % en R en C
Ejemplo &
$as siguientes tablas definen leyes de composicin interna en el conjunto
A ' (a % b % c )
i*

ii*

a b c
a a b c
b b c a
c c a b

a b c
a a b b
b c a c
c b c a
#
Ley de composicin e!terna
Una ley de composicin e!terna definida en A con operadores de + es toda funcin
aplicacin

de
Bx A
en A.
En smbolos

es ley e!terna en A con operadores en +

Bx A
A
es decir% si b B y a A la imagen del par ,b - a* ' b

A
.eg/n las propiedades 0ue deban satisfacer estas leyes de composicin% se tienen los
distintos tipos de estructuras sistemas a!iomticos.
"onoide
El par #A $

% donde A es un conjunto no vaco dotado de una operacin ley de

composicin interna

se denomina monoide.
Ejemplos de monoides
# N $ & % $ # Z $ & % $ # Q $ & % $ son monoides.

# N $ ' % no es un monoide por0ue la sustraccin no es ley de
composicin interna en N
# N $

* donde

est definido como a

b ' m!.(a % b)
es un monoide.

Semi(r)po
Un monoide asociativo se denomina semigrupo.
.i la ley de composicin interna tambin es conmutativa se llama semigrupo
conmutativo.
.i e!iste el elemento neutro se dice 0ue es un semigrupo con unidad semigrupo
con identidad.
El elemento neutro de llama identidad.
&
Ejemplos de semigrupos
# N $ & % es un semigrupo conmutativo sin elemento neutro.
# N
*
$ & % es un semigrupo conmutativo con elemento neutro% el 1.
# N $

% es un semigrupo conmutativo con elemento neutro identidad

igual a #.
Gr)po
.ea el par #A $

% % donde A es un conjunto no vaco dotado de una ley de composicin

interna binaria

"
#A $

% es un grupo se define sobre A una estructura de grupo s"

a*

es asociativa. Es decir
a
% b %
c
" a% b% c

( ) ( ) a b c a b c =
b*

posee elemento neutro en A. Es decir e A 2 a % si a A a e e a a = =

c* 3odo elemento de A es invertible en A respecto de

.
Es decir
a A
% a A 2
a a a a e = =
Gr)po Abe+iano Gr)po conm)tati,o es cuando adems de ser un grupo%

d*

es conmutativa. Es decir a % b " a% b

A a b b a =
.i G - #A $

* es un grupo% se dice 0ue es un grupo finito si el conjunto A es finito y

su cardinal se llama orden del grupo.
Ejemplos
#* El par # Z $

% donde Z es el conjunto de los n/meros enteros y

es una
operacin definida como a

b ' a 4 b 4 5 forma un grupo abeliano.

6omprobacin"

es una ley de composicin interna en Z pues si a y b

Z % a 4 b 4 5

es asociativa pues
5

( ) a b c
' ,a 4 b 45*

c ' a 4 b 45 4 c 45 ' a 4 b 4 c 4 7
y
( ) a b c
' a

,b 4 c 4 5* ' a 4 b 4 c 4 5 4 5 ' a 4 b 4 c 4 7

tiene elemento neutro e ' 85 % pues

a A % a

e ' a entonces a 4 e 45 ' a

e ' 85
y e

a ' a entonces e 4 a 4 5 ' a

e ' 85

tiene inverso
a , a / a a e =
% en nuestro caso
a a ' 85

a a 3 + + ' 85 luego a9 ' 8 a 8 7 es inverso a derec:a

a a 3 =

a a 3 + + ' 85 luego a9 ' 8 a 8 7 es inverso a i;0uierda

es conmutativa pues a b ' a 4 b 4 5 ' b 4 a 4 5 ' b a

Otros ejemplos"
# * # Z $ & % . # Q $ & % . # R $ & % y # C $ & %
.on grupos abelianos .
3ambin se llaman grupos aditivos debido a la operacin aditiva.
& * # N $ & % <o es grupo. <o tiene neutro ni inverso de cada elemento.
5 * # N
*
$ & % <o es grupo. 3iene neutro% el 1 % pero no tiene inverso
aditivo.
= * # Q $

% <o es grupo% el 1 no tiene inverso multiplicativo.

> * # R $

% <o es grupo% el 1 no tiene inverso multiplicativo.

7 * # Q / 0 * 1 $

% y # R / 0 * 1 $

% .on grupos.
S)b(r)po
Un subconjunto no vaco +% del conjunto A es un subgrupo de # A $

% si y solo s
# B $

% es un grupo.
Por ejemplo% # Z $ & % es un subgrupo de # Q $ & %.
=
.i en estas estructuras se introduce una nueva ley de composicin interna con
ciertas restricciones% se obtienen ternas ordenadas del tipo #A $

% 0ue tambin
son estructuras algebraicas.
Estas nuevas estructuras son"
Ani++o
?ados% un conjunto no vaco A y dos leyes de composicin interna

% la
terna ordenada #A $

% tiene estructura de Anillo si y solo si

a*

es asociativa. Es decir
a
% b %
c
" a% b% c

( ) ( ) a b c a b c =

b*

posee elemento neutro en A. Es decir e A 2 a % si a A a e e a a = =

c* 3odo elemento de A es invertible en A respecto de

.
Es decir
a A
% a A 2
a a a a e = =

d*

es conmutativa. Es decir a % b " a% b

A a b b a =

Estas = propiedades muestran 0ue # A $

% es un grupo abeliano.
e*

es asociativa. Es decir a % b % c " a% b% c

,a

b*

c ' a

, b

c*

Esta propiedad muestra 0ue # A $

% es un semigrupo.
f*

distribuye doblemente sobre

. Es decir% a % b % c " a% b% c

,b

c * ' , a

b *

,a

c * y ,b

c *

a ' ,b

a *

, c

a *
@esumiendo podemos decir 0ue"

#A $

% es un Anillo sii #A $

% es un grupo abeliano - # A $

% es un semigrupo y
la segunda operacin distribuye sobre la primera.
Una ac+aracin oport)na
>
6omo la operacin

es aditiva y la operacin

es multiplicativa% es com/n
representarlas con los conocidos signos de la suma y el producto% pero en todos los
casos deber respetarse la definicin 0ue corresponde a cada operacin.
6on esta aclaracin debe 0uedar claro 0ue # A $ & $

% representa una estructura

algebraica% talve; un anillo% pero 0ue la operacin & y la operacin

no representan
la suma y el producto conocido% salvo ello est e!presamente indicado.
6on igual margen de tolerancia en la interpretacin de este tema% debemos decir 0ue el
elemento neutro de la operacin aditiva se representa con 1 ,cero* y el neutro de la
operacin multiplicativa con # ,uno* sin 0ue ellos sean necesariamente el 1 y #
conocidos.
.i adems
g*

conmutativa. Es decir a % b " a% b

b ' b

a

entonces tenemos un Anillo conmutativo.

:*

posee elemento neutro en A. Es decir e A 2 a % si a A

a e e a a = = g g
entonces tenemos un Anillo con identidad Anillo con unidad.
i* 3odo elemento de A distinto de cero es invertible en A respecto de

.
Es decir a A % a

1 % a A 2 a

a9 ' a9

a ' e entonces se llama

Anillo de divisin.
Ejemplos
#.A # N $ & $

% con las operaciones conocidas no es )n ani++o% pues en N no

e!iste neutro para la adicin.

&.A # N
*
$ & $

% con las operaciones conocidas no es ani++o% pues N

*
carece de
inversos aditivos.
5.A # Z $ & $

% con las operaciones conocidas% es )n ani++o conm)tati,o con

)nidad
Ani++os sin di,isores de cero
7
Un anillo #A $

% se dice sin divisores de cero si y solo s elementos no n)+os de A

dan producto no n)+o.
En smbolos"

#A $

% carece de divisores de cero si y solo s a % b " a% b

A si a 0 y b 0
entonces a

1
Ani++o de inte(ridad
#A $

% es un Anillo de integridad si y solo s #A $

% es un anillo y 1 es su /nico
divisor de cero
2ominio de inte(ridad
$a terna #A $

% se llama Dominio de integridad si y solo s #A $

% es un
Anillo conmutativo con unidad y sin divisores de cero.
?ic:o de otra manera% un Dominio de integridad es un Anillo conmutativo con
identidad y de integridad.
Ejemplos
#.A # Z $ & $

% con las operaciones conocidas es un dominio de inte(ridad.

&.A # Q $ & $

% . # R $ & $

% y # C $ & $

% con las operaciones conocidas

son dominio de inte(ridad.
5.A $os polinomios en una indeterminada , o ms * con coeficientes en Q % R
C forman dominio de inte(ridad con las operaciones conocidas.
C)erpo
$a terna ordenada # A $ & $

% es un cuerpo% o tiene estructura de cuerpo si y solo si

# A $ & $

% es un ani++o de di,isin conm)tati,o.

B
Esto es" # A $ & $

% es un c)erpo si y so+o si # A $ & $

% es un ani++o conm)tati,o$
con )nidad cuyos elementos no n)+os admiten in,erso m)+tip+icati,o
Un c)erpo 0ueda caracteri;ado por las siguientes estructuras"
# A $ & $

% es un c)erpo si y so+o si a* # A $ & % es un (r)po abe+iano.

b* # A / 0*1 $

% es un (r)po abe+iano.
c*

distribuye respecto de &
Ejemplos
#.A # Z $ & $

% con las operaciones conocidas% no es c)erpo% pues Z carece de

inversos multiplicativos.
&.A # Q $ & $

% . # R $ & $

% y # C $ & $

% con las operaciones conocidas

son c)erpos.
5.A 3odo c)erpo es un dominio de inte(ridad.
Para proveer de un ejemplo de estructura algebraica no tan conocida% definiremos el
conjunto Z
n
llamado conjunto de los enteros modulo n.
Enteros md)+o n #Z
n
%
.i n es un n/mero entero tal 0ue n & % se denomina Z
n
al conjunto

Z
n
- 0 1 % # % & % 5 %...% nA#1
Este conjunto% provisto de las operaciones de suma y producto definidas as"
4 suma " si : y C pertenecen a Z
n
% entonces : 4 C es igual al resto de la divisin
de : 4 C por n.
Ejemplo" si n ' D - : ' > y C ' B % entonces : 4 C ' =

prod)cto " si : y C pertenecen a Z

n
% entonces :

C es igual al resto de la
D
divisin de :

C por n.

Ejemplo" si n ' D - : ' > y C ' B % entonces :

C ' 5
$a terna #Z
n
$ & $

% es un anillo conmutativo con unidad. .e llama Anillo de los

enteros mdulo n.
# Z
n
$ & $

% es un dominio de integridad si y solo s n es primo.

Esto puede verse en las siguiente tablas de operaciones en el conjunto Z
n
Para n ' 5 Z
n
- 0 1 % # % & 1 las tablas de operaciones son"
Para la suma Para el producto
4 1 # &

1 # &
1 1 # & 1 1 1 1
# # & 1 # 1 # &
& & 1 # & 1 & #
El producto No posee divisores de cero
Para n ' = Z
n
- 0 1 % # % & % 5 1 las tablas de operaciones son"
Para la suma Para el producto
4 1 # & 5

1 # & 5
1 1 # & 5 1 1 1 1 1
# # & 5 1 # 1 # & 5
& & 5 1 # & 1 & 1 &
5 5 1 # & 5 1 5 & #
El producto posee divisores de cero
E
Espacio 3ectoria+
Un espacio vectorial sobre un cuerpo 4 es un conjunto 3 % cuyos elementos se
denominan vectores% provisto de dos operaciones% una interna 0ue se denomina s)ma
y otra e!terna 0ue se denomina prod)cto y 0ue cumplen ciertas propiedades.
$a operacin e!terna % multiplica un elemento del conjunto 4 por un elemento del
conjunto 3.
Notacin
Esta estructura suele representarse de las siguientes maneras"
6omo la cuaterna ordenada # 3 $ & $ 4 $

% . como la terna ordenada # 4 $ 3 $& % y

tambin es muy usual la e!presin sinteti;ada 3
4

$ todas ellas se leen Espacio

Vectorial V sobre el cuerpo K . o simplemente K espacio vectorial.
$as operaciones enunciadas deben cumplir las siguiente propiedades"
#. # 3 $ & % es un Grupo conmutativo a* 4 Es asociativa
b* 4 Es conmutativa
c* 4 3iene neutro
d* 4 3iene inverso
&. $a operacin e!terna asocia de la siguiente manera"
a % b " a% b

F y x A % a

# b

! % - # a

b %

!
5. $a operacin e!terna distribuye sobre la interna de la siguiente manera"
a " a

F y
x , y A
% a

# ! & y % - a

! & a

y
=. $a operacin e!terna tiene elemento neutro.
Ejemplos
#.A # R
n
$ & $ R $

% es un Espacio Gectorial con las suma y el producto conocidos.

.iendo R
n
$ con n # el conjunto de las n 8 uplas de n/meros reales.
#1
&.A #

4
x

$

&

$

4

$

% es un Espacio Gectorial con la suma y el producto
conocidos% siendo 4 un cuerpo y 4
x

el conjunto de los polinomios en una
indeterminada con coeficientes en 4.
5.A # R
m ! n
$ & $ R $

% en el Espacio Gectorial de la matrices de orden m ! n en el

cuerpo de los reales% con la suma y el producto conocidos.
"or5ismo u 6omomor5ismo
Una aplicacin de conjuntos 57 A

B se dir 0ue es un morfismo de la estructura

#A $

% en la estructura #B $ % o simplemente un morfismo de A en + si se cumple

0ue"

x , y A
-
f(x y)
'
f(x) f(y)
Ejemplo"

.ean las estructuras # R $ & % y # R
&
$

% con las operaciones 4 y

usuales.
$a aplicacin 5 7 R

R
&
definida por 5#!% - 8
!
es un morfismo de estas
estructuras ya 0ue cumple 0ue"
f ,! 4 y* ' &
! 4 y
' &
!

&
y
' f ,!*

f ,y*
Endomor5ismo
.e llama as a todo morfismo de A en A.
"onomor5ismo
.e llama as a todo morfismo inyectivo.
Epimor5ismo
.e llama as a todo morfismo sobreyectivo.
##
Isomor5ismo
.e llama as a todo morfismo biyectivo.
A)tomor5ismo
.e llama as a todo endomorfismo biyectivo.
Ejemplos
#. .ean las estructuras # R
9
$ & % y # R
8 ! 8
$ & % y la aplicacin
f , !
#
% !
&
% !
5
* '
1
2 3
x 0
x x



$as operaciones consideradas son las de suma de ternas ordenadas de
n/meros reales y la de suma de matrices.
Entonces% como "

( ) ( )
1 2 3 1 2 3
f x , x , x y , y , y +

'
( )
1 1 2 2 3 3
f x y , x y , x y + + +
'

1 1
2 2 3 3
x y 0
x y x y
+

+ +

'
1
2 3
x 0
x x



4
1
2 3
y 0
y y



'
'
1 2 3
f x , x , x

4
1 2 3
f y , y , y

f es un morfismo.
Adems es inyectivo% es decir un monomorfismo.
puesto 0ue
x y
al dominio% resulta"


1 2 3
f x , x , x

'
1
2 3
x 0
x x

1 2 3
f y , y , y

'
1
2 3
y 0
y y




#&
Para probar 0ue no es sobreyectivo% basta ver 0ue% por ejemplo
1 2
3 4



no es
imagen de nadie.
&. f " R

R tal 0ue f ,!* ' 8 5! es un automorfismo respecto a la suma.

i* Es morfismo pues f ,! 4 y * ' 8 5 ,! 4 y * ' 8 5! 8 5y ' f ,! * 4 f ,y *
ii* f es biyectiva por0ue"
es inyectiva" !

y - f ,! *

f ,y * ya 0ue 8 5!

8 5y
y es suryectiva" y

R !

R tal 0ue f ,! * ' y -

8 5! ' y entonces ! ' 8
y
3
5. f " R

R tal 0ue f,!* ' ! 4 # no es :omomorfismo respecto a la

adicin.
Efectivamente no cumple la definicin de morfismo
f ,! 4 y*

f ,!* 4 f ,y*
ya 0ue ! 4 y 4 #

! 4# 4 y 4 # ' ! 4 y 4 &
Es interesante saber 0ue la Topo+o(:a es la parte de la matemtica 0ue se ocupa de
estudiar los conjuntos estructurados mediante relaciones 0ue nos permiten decir
cuando un elemento del conjunto es ;conti()o< o pr!imo a una parte del mismo.
Topo+o(:a deriva del griego 0ue significa"
Topos7 $ugar % e!tensin posicin.
Lo(os7 6iencia saber.
$uego la topologa puede definirse como la ; Ciencia de +a e!tensin de+ +)(ar<
#5
Bib+io(ra5:a cons)+tada
A Hlgebra $ineal y Ieometra
Hngel @afael $arrotonda Editorial Eudeba A #EB5
A <otas de Hlgebra J
En;o @. Ientile Editorial Eudeba A #EB7
A Hlgebra J
Armando @ojo Editorial El Ateneo A #EBD
#=