ESTRUCTURAS ALGEBRAICAS

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 externa.
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 , en R en C!
Ejemplo #
!as siguientes tablas definen leyes de composicin interna en el conjunto
A $ %a" b" c&
i'

ii'

Ley de composicin e"terna
Una ley de composicin externa definida en A con operadores de ( es toda funcin aplicacin de
Bx A
en A.
En smbolos
es ley externa en A con operadores en (

Bx A
A
es decir" si b B y a A la imagen del par )b * a' $ b a

A
+eg,n las propiedades -ue deban satisfacer estas leyes de composicin" se tienen los distintos tipos de
estructuras sistemas axiomticos.
#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 , & % , $ , & % , son monoides.

Semi'r(po
Un monoide asociativo se denomina semigrupo.
Ejemplos de semigrupos
$ N , & % es un semigrupo conmutativo sin elemento neutro.
$ N) , & % es un semigrupo conmutativo con elemento neutro" el /.
$ 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 0 a " si a A a e e a a = =
c' 1odo elemento de A es invertible en A respecto de .
Es decir a A " a A 0 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 =
S(b'r(po
Un subconjunto no vaco (" del conjunto A es un subgrupo de $ A , % si y solo s $ B , % es un grupo.
2or ejemplo" $ Z , & % es un subgrupo de $ , & %.
Ani**o
3ados" un conjunto no vaco A y dos leyes de composicin interna y

" 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 0 a " si a A a e e a a = =

c' 1odo elemento de A es invertible en A respecto de .
Es decir a A " a A 0 a a a a e = =

d' es conmutativa. Es decir a " b : a" b

A a b b a =

Estas 4 propiedades muestran -ue $ 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 -ue $ 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 '
5esumiendo podemos decir -ue:

$A , ,

% es un Anillo si $A , % es un grupo abeliano * $ A ,

% es un semigrupo y la segunda operacin

distribuye sobre la primera.
g'

conmutativa. Es decir a " b : a" b

b $ b

a
Entonces tenemos un Anillo conmutativo.

6'

posee elemento neutro en A. Es decir e A 0 a " si a A

a e e a a = = g g
Entonces tenemos un Anillo con identidad Anillo con unidad.
i' 1odo elemento de A distinto de cero es invertible en A respecto de

.
Es decir a A " a / " a A 0 a

a7 $ a7

a $ e entonces se llama
Anillo de divisin.
Ejemplos
.8 $ N , & ,

% con las operaciones conocidas no es (n ani**o" pues en N no

existe neutro para la adicin.
#.8 $ N) , & ,

% con las operaciones conocidas no es ani**o" pues N) carece de

inversos aditivos.
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.

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 -ueda caracteri9ado por las siguientes estructuras:
$ A , & ,

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

b% $ A , -). ,

% es un 'r(po abe*iano.
c%

distribuye respecto de &
Ejemplos
.8 $ Z , & ,

% con las operaciones conocidas" no es c(erpo" pues Z carece de inversos multiplicativos.

#.8 $ , & ,

% / $ R , & ,

% y $ C , & ,

% con las operaciones conocidas son c(erpos

2ara proveer de un ejemplo de estructura algebraica no tan conocida" definiremos el conjunto Zn llamado
conjunto de los enteros modulo n.
:
Enteros md(*o n $Zn%
+i n es un n,mero entero tal -ue n # " se denomina Zn al conjunto

Zn 0 - / " " # " : "..." n8.
Esto puede verse en las siguiente tablas de operaciones en el conjunto Zn
2ara n $ : Zn 0 - / " " # . las tablas de operaciones son:
2ara la suma 2ara el producto
. / #

/ #
/ / # / / / /
# / / #
# # / # / #
El producto No posee divisores de cero
Bib*io'ra12a cons(*tada
8 ;lgebra !ineal y <eometra
;ngel 5afael !arrotonda Editorial Eudeba 8 =>:
8 ?otas de ;lgebra @
En9o 5. <entile Editorial Eudeba 8 =>A
8 ;lgebra @
Armando 5ojo Editorial El Ateneo 8 =>B
4