Actividad 6

Parte A
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.
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
(a1,a2) a1 a2
Ejemplo 1
La suma la multiplicacin en N , en Z , en Q , en R en C.
Ley de composicin externa
Una ley de composicin externa definida en A con operadores de B es toda funcin
aplicacin de B x A en A.
En smbolos
es ley externa en A con operadores en B B x A A
es decir, si b B y a A la imagen del par (b ; a) = b a A
Segn las propiedades que deban satisfacer estas leyes de composicin, se tienen los
distintos tipos de estructuras sistemas axiomticos.
Monoide
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.

Semigrupo
Un monoide asociativo se denomina semigrupo.
Si la ley de composicin interna tambin es conmutativa se llama semigrupo
conmutativo.
Si existe el elemento neutro se dice que 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.
Grupo
Sea 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 a b c a b c
b) posee elemento neutro en A. Es decir e A / a , si a A a e e a a
c) Todo elemento de A es invertible en A respecto de .
Es decir a A , a A / a a a a e
Grupo Abeliano Grupo conmutativo es cuando adems de ser un grupo,
d) es conmutativa. Es decir a , b : a, b A a b b a
Si G = (A , ) es un grupo, se dice que es un grupo finito si el conjunto A es finito y
su cardinal se llama orden del grupo.
Ejemplos

1) El par ( Z , ) donde Z es el conjunto de los nmeros enteros y es una

operacin definida como a b = a + b + 3 forma un grupo abeliano.
Comprobacin:
es una ley de composicin interna en Z pues si a y b Z , a + b + 3 Z
es asociativa pues
a b c = (a + b +3) c = a + b +3 + c +3 = a + b + c + 6

y a b c = a (b + c + 3) = a + b + c + 3 + 3 = a + b + c + 6

tiene elemento neutro e = 3 , pues

a A , a e = a entonces a + e +3 = a e = 3
y e a = a entonces e + a + 3 = a e = 3
tiene inverso a , a / a a e , en nuestro caso
a a = 3 a a 3 = 3 luego a = a 6 es inverso a derecha
a a 3 a a 3 = 3 luego a = a 6 es inverso a izquierda
es conmutativa pues

ab = a + b + 3 = b + a + 3 = b a

Subgrupo
Un subconjunto no vaco B, del conjunto A es un subgrupo de ( A , ) si y solo s
( B , ) es un grupo.
Por ejemplo, ( Z , + ) es un subgrupo de ( Q , + ).
Si en estas estructuras se introduce una nueva ley de composicin interna con
ciertas restricciones, se obtienen ternas ordenadas del tipo (A , , ) que tambin
son estructuras algebraicas.
Estas nuevas estructuras son:
Anillo
Dados, 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 a b c a b c
b) posee elemento neutro en A. Es decir e A / a , si a A a e e a a
c) Todo elemento de A es invertible en A respecto de .
Es decir a A , a A / a a a a e
d) es conmutativa. Es decir a , b : a, b A a b b a
Estas 4 propiedades muestran que ( A , ) es un grupo abeliano.
e) es asociativa. Es decir a , b , c : a, b, c A (a b) c = a ( b c)
Esta propiedad muestra que ( A , ) es un semigrupo.
f) distribuye doblemente sobre . Es decir, a , b , c : a, b, c A
a (b c ) = ( a b ) (a c ) y (b c ) a = (b a ) ( c a )
Resumiendo podemos decir que:
(A , , ) es un Anillo sii (A , ) es un grupo abeliano ; ( A , ) es un semigrupo y
la segunda operacin distribuye sobre la primera.
Si adems
g) conmutativa. Es decir a , b : a, b A a b = b a
entonces tenemos un Anillo conmutativo.
h) posee elemento neutro en A. Es decir e A / a , si a A a e e a a
entonces tenemos un Anillo con identidad Anillo con unidad.
i) Todo elemento de A distinto de cero es invertible en A respecto de .
Es decir a A , a 0 , a A / a a = a a = e entonces se llama
Anillo de divisin.
Anillos sin divisores de cero

Un anillo (A , , ) se dice sin divisores de cero si y solo s elementos no nulos de A

dan producto no nulo.
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 b 0
Anillo de integridad
(A , , ) es un Anillo de integridad si y solo s (A , , ) es un anillo y 0 es su nico
divisor de cero
Dominio de integridad
La terna (A , , ) se llama Dominio de integridad si y solo s (A , , ) es un
Anillo conmutativo con unidad y sin divisores de cero.
Dicho de otra manera, un Dominio de integridad es un Anillo conmutativo con
identidad y de integridad.
Cuerpo
La terna ordenada ( A , + , ) es un cuerpo, o tiene estructura de cuerpo si y solo si
( A , + , ) es un anillo de divisin conmutativo.
Esto es: ( A , + , ) es un cuerpo si y solo si ( A , + , ) es un anillo conmutativo,
con unidad cuyos elementos no nulos admiten inverso multiplicativo.
Un cuerpo queda caracterizado por las siguientes estructuras:
( A , + , ) es un cuerpo si y solo si

a) ( A , + ) es un grupo abeliano.
b) ( A {0} , ) es un grupo abeliano.
c) distribuye respecto de +

Enteros mdulo n (Zn)

Si n es un nmero entero tal que n 2 , se denomina Zn al conjunto

Zn = { 0 , 1 , 2 , 3 ,..., n-1}
Este conjunto, provisto de las operaciones de suma y producto definidas as:
+ suma : si h y k pertenecen a Zn , entonces h + k es igual al resto de la divisin
de h + k por n.
Ejemplo: si n = 8 ; h = 5 y k = 7 , entonces h + k = 4
producto : si h y k pertenecen a Zn , entonces h k es igual al resto de la
divisin de h k por n.

Ejemplo: si n = 8 ; h = 5 y k = 7 , entonces h k = 3
La terna (Zn , + , ) es un anillo conmutativo con unidad. Se llama Anillo de los
enteros mdulo n.
( Zn , + , ) es un dominio de integridad si y solo s n es primo.
Esto puede verse en las siguiente tablas de operaciones en el conjunto Zn

Espacio Vectorial
Un espacio vectorial sobre un cuerpo K es un conjunto V , cuyos elementos se
denominan vectores, provisto de dos operaciones, una interna que se denomina suma
y otra externa que se denomina producto y que cumplen ciertas propiedades.
La operacin externa , multiplica un elemento del conjunto K por un elemento del
conjunto V.
Notacin
Esta estructura suele representarse de las siguientes maneras:
Como la cuaterna ordenada ( V , + , K , ) ; como la terna ordenada ( K , V ,+ ) y
tambin es muy usual la expresin sintetizada VK , todas ellas se leen Espacio
Vectorial V sobre el cuerpo K . o simplemente K espacio vectorial.
Las operaciones enunciadas deben cumplir las siguiente propiedades:

1.

( V , + ) es un Grupo conmutativo

a) + Es asociativa
b) + Es conmutativa
c) + Tiene neutro
d) + Tiene inverso

2.

La operacin externa asocia de la siguiente manera:

a , b : a, b K y x A , a ( b x ) = ( a b ) x

3.

La operacin externa distribuye sobre la interna de la siguiente manera:

a : a K y x , y A
, a ( x + y ) = a x + a y

4.

La operacin externa tiene elemento neutro.

Morfismo u Homomorfismo
Una aplicacin de conjuntos f: A B se dir que es un morfismo de la estructura
(A , ) en la estructura (B , ) o simplemente un morfismo de A en B si se cumple
que:
x , y A
; f(x y) = f(x) f(y)
Ejemplo:
Sean las estructuras ( R , + ) y ( R + , ) con las operaciones + y usuales.
La aplicacin f : R R + definida por f(x) = 2 x es un morfismo de estas
estructuras ya que cumple que:
f (x + y) = 2 x + y = 2 x 2 y = f (x) f (y)

Endomorfismo
Se llama as a todo morfismo de A en A.
Monomorfismo
Se llama as a todo morfismo inyectivo.
Epimorfismo

Se llama as a todo morfismo sobreyectivo.

Isomorfismo
Se llama as a todo morfismo biyectivo.
Automorfismo
Se llama as a todo endomorfismo biyectivo.
Ejemplos
1.

Sean las estructuras ( R3 , + ) y ( R2 x 2 , + ) y la aplicacin

x

f ( x1 , x2 , x3 ) = 1

x2 x3
Las operaciones consideradas son las de suma de ternas ordenadas de
nmeros reales y la de suma de matrices.
Entonces, como :
f x1, x2, x3 y1, y2, y3 = f x1 y1 , x2 y2 , x3 y3 =

0
x1 y1
x1 0
y1 0
x y x y = x x + y y =
2
3
3
3
3
2
2
2

f x1, x2, x3 + f y1, y2, y3

f es un morfismo.
Adems es inyectivo, es decir un monomorfismo.
puesto que x y al dominio, resulta:
0
0
x
y
f x1, x2, x3 = 1
f y1, y2, y3 = 1

x2 x3
y2 y3

1 2

Para probar que no es sobreyectivo, basta ver que, por ejemplo

no es
3 4
imagen de nadie.
Bibliografa consultada
- lgebra Lineal y Geometra
ngel Rafael Larrotonda

Editorial Eudeba - 1973

- Notas de lgebra I
Enzo R. Gentile

Editorial Eudeba - 1976