Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Estructuras Algebraicas
Estructuras Algebraicas
a
b
c
ii)
a
b
c
a
a
b
c
b
b
c
a
c
c
a
b
a
a
c
b
b
b
a
c
c
b
c
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.
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
es conmutativa pues a b = a + b + 3 = b + a + 3 = b a
Otros ejemplos:
1) (Z,+) ; (Q,+) ; (R,+) y (C,+)
Son grupos abelianos .
Tambin se llaman grupos aditivos debido a la operacin aditiva.
2 ) ( N , + ) No es grupo. No tiene neutro ni inverso de cada elemento.
3 ) ( N0 , + ) No es grupo. Tiene neutro, el 0 , pero no tiene inverso
aditivo.
4 ) ( Q , ) No es grupo, el 0 no tiene inverso multiplicativo.
5 ) ( R , ) No es grupo, el 0 no tiene inverso multiplicativo.
6 ) ( Q { 0 } , ) y ( R { 0 } , ) Son grupos.
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
4
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 ge e ga 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.
Ejemplos
1.- ( N , + , ) con las operaciones conocidas no es un anillo, pues en N no
existe neutro para la adicin.
2.- ( N0 , + , ) con las operaciones conocidas no es anillo, pues N0 carece de
inversos aditivos.
3.- ( Z , + , ) con las operaciones conocidas, es un anillo conmutativo con
unidad.
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
6
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 +
Ejemplos
7
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
Para n = 3
Para la suma
+
0
1
2
Para el producto
0
0
1
2
1
1
2
0
2
2
0
1
0
0
0
0
0
1
2
1
0
1
2
2
0
2
1
Para n = 4
Para la suma
+
0
1
2
3
0
0
1
2
3
Para el producto
1
1
2
3
0
2
2
3
0
1
3
3
0
1
2
0
1
2
3
0
0
0
0
0
1
0
1
2
3
2
0
2
0
2
3
0
3
2
1
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.
3.
4.
Ejemplos
1.- ( Rn, + , R , ) es un Espacio Vectorial con las suma y el producto conocidos.
Siendo Rn , con n 1 el conjunto de las n uplas de nmeros reales.
2.- ( K x , + , K , ) es un Espacio Vectorial con la suma y el producto
conocidos, siendo K un cuerpo y K x el conjunto de los polinomios en una
indeterminada con coeficientes en K.
3.- ( Rm x n, + , R , ) en el Espacio Vectorial de la matrices de orden m x n en el
cuerpo de los reales, con la suma y el producto conocidos.
Morfismo u Homomorfismo
10
Ejemplos
11
1.
f ( x1 , x2 , x3 ) = x x
3
2
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
x1 y1
x y
2
2
0
x3 y3
= f x1 y1 , x2 y2 , x3 y3 =
x1
= x x
3
2
=
y1
+ y y =
3
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:
x
f x1, x2 , x3 = 1
x2
0
x3
y1
f y1, y2 , y3 =
y2
0
y3
1 2
ya que 3x 3y
y
3
x + y + 1 x +1 + y + 1 = x + y + 2
Bibliografa consultada
- lgebra Lineal y Geometra
ngel Rafael Larrotonda
- Notas de lgebra I
Enzo R. Gentile
- lgebra I
Armando Rojo
13