Professional Documents
Culture Documents
*
e
1
= e
2
por ser e
1
neutro (a izquierda): e
1
e
2
= e
2
Algo similar sucede con la unicidad del elemento simtrico:
Teorema
Consideremos A, A , y una operacin binaria definida en A, que cumple la propiedad
asociativa.
Si existe simtrico de a (a A), entonces es nico.
10) Demuestra el teorema anterior.
En un conjunto no vaco se pueden definir una o ms operaciones, y dichas operaciones
pueden cumplir determinadas propiedades. De acuerdo a las propiedades que cumplan, se dir que
el conjunto con la o las operaciones, tienen determinada estructura.
Definicin
Se llama monoide a todo par
( )
, A formado por un conjunto A no vaco y una operacin
binaria definida en l.
Estructuras Algebraicas
Profa. Mnica Olave Prof. Gustavo Franco
6
Observacin
1
Consideremos un monoide ( , ) A y un conjunto B no vaco tal que . B A
Para que sea una operacin binaria en B, : B x B B deber ser una funcin. En otras
palabras:
es una operacin binaria en B
1)
: es funcin
2) es nico
x y B
B B B
x y
Como B es un subconjunto de A y la condicin 2) se cumple para todos los elementos de A, se
cumplir particularmente para todos los elementos de B. Por lo tanto, para que sea una operacin
binaria en B basta con que , , . x y B x y B
Si es una operacin binaria en B diremos que ( , ) B es una subestructura de ( , ). A
Analicemos ahora, si ( , ) B es una subestructura de ( , ), A la transmisin de propiedades
de la estructura madre a la subestructura.
Si ( , ) A es conmutativa ( , ) es conmutativa. B
Dem:
( , ) A es conmutativa = , , x y A x y y x
= , ,
B A
x y B x y y x
( , ) es conmutativa. B
Por lo tanto, si una estructura es conmutativa, todas sus subestructuras tambin lo son.
Anlogamente se prueba que:
Si ( , ) A es asociativa ( , ) B es asociativa
Consideremos ( , ) A con neutro n.
( , ) B tiene neutro n B
Consideremos ( , ) A que cumple la propiedad existencia de simtrico y que , e B siendo e
el neutro de ( , ). A
( , ) B cumple la propiedad existencia de simtrico
( )
' . x B x B
Grupo
Definicin
Dado el conjunto G, G , y una relacin de G G en G, diremos que (G, ) es un
grupo si, y slo si, es una operacin binaria que cumple las propiedades, asociativa,
existencia del elemento neutro y existencia del elemento simtrico.
Simblicamente:
(G, ) es grupo
a (a x) = a b
Asociativa de
(a a) x = a b
Existencia de simtrico
, es grupo
, es grupo conmutativo o abeliano
es conmutativa
G
G
( )
( )
Estructuras Algebraicas
Profa. Mnica Olave Prof. Gustavo Franco
8
e x = a b
Existencia de neutro de
x = a b
Por lo tanto: S = {a b}.
15) Sabiendo que (G, ) es grupo, resuelve en (G, ) la ecuacin: x a = b.
De la aplicacin anterior y de la actividad 15), podemos enunciar una sexta propiedad que se
cumple en toda estructura de grupo:
6) Si (G, ) es grupo, las ecuaciones a x = b y x a = b tienen una nica raz cada una.
16) Como habrs observado, si bien estas ecuaciones tienen raz nica, stas no
necesariamente son iguales. Qu se debera cumplir para que fueran iguales?
II) (G, ) es grupo. Resolveremos en (G, ) la ecuacin: a x b c = b. Como sabemos que
se cumplen las propiedades de grupo podemos resolverla as:
a x b c = b
x b c = a b
x b = a b c
x = a b c b
S = {a b c b }
17) a) Justifica cada una de las dobles implicaciones anteriores.
b) Si en el ejemplo anterior (G, ) es grupo abeliano, se puede reducir la raz?
18) Sea P = { x / x = 2n, n } e I = { x / x = 2n + 1, n }.
i) Investiga si (P, +) e ( I, +) tienen estructura de grupo.
ii) Considera el conjunto E = P I. Es (E, +) grupo? Justifica.
iii) Decide y justifica si la siguiente proposicin es verdadera o falsa:
(A B, ) es grupo (A, ) y (B, ) son grupos.
Estructuras Algebraicas
Profa. Mnica Olave Prof. Gustavo Franco
9
Anillo
Definicin
Dados el conjunto A, A , una operacin binaria definida en A y una relacin de
A A en A, diremos que (A, , ) es un anillo si, y slo si, (A, ) es grupo abeliano, es
una operacin binaria que cumple la propiedad asociativa y adems se cumple que es
distributiva respecto de .
Simblicamente:
(A, , ) es anillo
( , ) es grupo abeliano
es una operacin binaria en
es asociativa
es distributiva respecto de
A
A
Notacin: Si (A, , ) es anillo y a A, escribiremos Op(a) al simtrico de a segn , y lo
llamaremos opuesto de a.
19) En cada uno de los siguientes casos, investiga si estamos frente a un anillo:
i) (, +, )
ii) (, , ), siendo y dos operaciones binarias definidas en tales que:
a b = a + b + 1 y a b = a + b + ab
Propiedades que se cumplen en una estructura de anillo
Se consideran el conjunto A, A , y dos operaciones binarias y definidas en A, tales
que (A, , ) es anillo.
1) Propiedad de Absorcin: a A, a e = e a = e (siendo e el neutro para ).
Terminologa: habitualmente a e se lo denomina elemento absorbente para la operacin .
2) a, b A, Op(a) b = a Op(b) = Op(a b).
3) a, b A, Op(a) Op(b) = a b.
20) Demuestra las propiedades anteriores.
Estructuras Algebraicas
Profa. Mnica Olave Prof. Gustavo Franco
10
Anillo sin divisores de cero
Definicin
(A, , ) es un anillo sin divisores de cero si, y slo si, (a b) e si a e y b e; siendo
e el elemento neutro para la operacin .
Simblicamente:
El anillo (A, , ) no tiene divisores de cero a, b A, (a e b e a b e)
Otra forma equivalente de enunciar esta propiedad es:
El anillo (A, , ) no tiene divisores de cero a, b A, (a b = e a = e b = e);
siendo e el elemento neutro de la operacin .
Esta ltima, se denomina por lo general, Propiedad Hankeliana.
Observacin: la propiedad hankeliana es la recproca de la propiedad de absorcin. Ambas
propiedades no son equivalentes!
Por lo tanto:
El anillo (A, , ) tiene divisores de cero a, b A, (a e b e a b = e)
En este caso diremos que a y b son divisores de 0.
21) Brinda ejemplos de anillos sin divisores de 0.
22) Trabajaremos con una matemtica distinta: la matemtica del reloj.
Si te preguntan cunto es 11 + 16 seguramente contestars 27.
Pero si te preguntan: son las 11, dentro de 16 horas, qu hora ser? En este caso no vas a
decir que son las 27 sino que son las 3. Es decir, en la matemtica del reloj 11 + 16 = 3, y
vamos a escribirlo as 11 16 = 3, para que no haya confusin.
Para facilitar el trabajo usaremos un reloj ms chico de slo seis nmeros:
Tenemos entonces el conjunto H = {0, 1, 2, 3, 4, 5} y definimos en l las relaciones y a
travs de las siguientes tablas:
0
1
2 3
4
5
Estructuras Algebraicas
Profa. Mnica Olave Prof. Gustavo Franco
11
a) Observa cada tabla, busca el patrn de construccin y compltalas.
b) Investiga si y son operaciones binarias en H.
c) Asumiendo que cumple la propiedad asociativa, investiga si (H, ) es grupo abeliano.
d) Asumiendo que (H, , ) es un anillo, investiga si tiene divisores de cero.
Clases Residuales Mdulo m: primera aproximacin
Definicin
Dados a (dividendo) y b
+
(divisor), llamamos cociente (c) y resto (r) de la divisin
entera, a dos nmeros enteros que cumplen: i) a = bc + r y ii) 0 r < b.
Consideremos la divisin de un nmero entero cualquiera entre 6. Segn la definicin
anterior, los restos posibles de dicha divisin son: 0, 1, 2, 3, 4 y 5.
Consideremos ahora el conjunto de todos los nmeros enteros separados en clases, de modo
que todos los enteros que tienen el mismo resto r en la divisin entre 6 pertenezcan a la misma
clase:
r = 0 6, 12, 0, 12, 18,
r = 1 5, 1, 7, 13, 11,
r = 2 10, 2, 8, 14, 4,
r = 3 3, 9, 3, 9, 15,
r = 4 8, 4, 10, 16, 2,
r = 5 7, 1, 5, 11, 17,
Cul una la relacin de equivalencia que origina en una particin en estas clases de
equivalencia?
Observa que si consideramos dos enteros cualesquiera a y b pertenecientes a una misma
clase, se verifica que 6. a b
= En ese caso habitualmente se dice que a es congruente con b
mdulo 6, y se escribe: (6). a b
La relacin R definida en , tal que a R b (6), a b es de equivalencia.
Llamaremos clase residual mdulo 6, a cada una de las clases de equivalencia que la relacin
R determina en , y llamaremos conjunto de las clases residuales mdulo 6, al conjunto cociente:
,
R
y lo notaremos
6
; por lo tanto:
6
.
=
R
0 1 2 3 4 5
0 0 1 2 3 4 5
1 1 2 3 4 5 0
2 2 0
3
4 2
5 1 4
0 1 2 3 4 5
0 0 0 0 0 0 0
1 0 1 3 5
2 0 2 4 2
3 0 0 3 0 3
4 2 4 2
5 4 3 1
Estructuras Algebraicas
Profa. Mnica Olave Prof. Gustavo Franco
12
Clases Residuales Mdulo m: segunda aproximacin
Definicin
Consideremos , y . a b m
+
Diremos que a es congruente con b mdulo m, y lo notaremos
( ), a b m si y slo si, la diferencia de a entre b es mltiplo de m.
Simblicamente: ( ) . a b m a b m
=
Teorema
Consideremos , y . a b m
+
La relacin R definida en tal que a R b ( ), a b m es una relacin de equivalencia.
23) Demuestra el teorema anterior.
Definicin
La relacin de equivalencia anterior (R) establece en el conjunto de los nmeros enteros (),
una particin en clases de equivalencia. A cada una de estas clases de equivalencia se la denomina
clase residual mdulo m.
Definicin
Al conjunto cociente
R
se lo denomina conjunto de las clases residuales mdulo m, y se lo
nota
m
.
Simblicamente: .
m
=
R
24) Se considera m
+
, y las relaciones y definidas en
m
tales que:
[a] [b] = [a + b] y [a] [b] = [a b].
a) Demuestra que y son operaciones binarias definidas en
m
.
b)
( )
, ,
m
es un anillo? En caso afirmativo, tiene divisores de cero?
25) Considera la estructura
( )
, , R en donde R es el conjunto de las rotaciones de un
tringulo (ejercicio 14). Las estructuras
( ) ( )
3
, y , , R son isomorfas?
Estructuras Algebraicas
Profa. Mnica Olave Prof. Gustavo Franco
13
Propiedad cancelativa de en el anillo (A, , )
es cancelativa
= =
= =
a b a c a e b c
b a c a a e b c
, siendo e el neutro para la operacin .
Teorema
Un anillo (A, , ) no tiene divisores de cero si, y slo si, se cumple la propiedad cancelativa
de .
Directo
Demostraremos que si (A, , ) es un anillo sin divisores de cero, entonces:
1)
2)
= =
= =
b a c a a e b c
a b a c a e b c
1) Dem
= b a c a
, , anillo
( )
A
( )
b a Op c a e = ( ) ( )
Op( )=Op( ) x y x y
= b a Op c a e ( ) ( ( ) )
Prop. distributiva de
respecto de .
= b Op c a e ( ( ))
( ) Prop. hankeliana a e
b Op c e = ( )
, , anillo
( )
A
( )
= b c
26) Indica cules son la propiedades del anillo (A, , ) que se han utilizado en ().
2) Anlogamente se demuestra:
( )
= = a b a c a e b c
Recproco
Si en un anillo (A, , ) se cumple la propiedad cancelativa de , entonces el anillo no tiene
divisores de cero.
Dem
Una forma de demostrar que el anillo (A, , ) no tiene divisores de cero es probar que se
cumple la propiedad hankeliana.
Sean a A y b A, si a b = e pueden pasar dos cosas: b = e b e
Si b = e ya est demostrado.
Si b e probaremos que a = e.
c b = (c b) e
=
a b e
c b = (c b) (a b)
Prop. distributiva de
respecto de .
c b = (c a) b
b e
Estructuras Algebraicas
Profa. Mnica Olave Prof. Gustavo Franco
14
Prop. cancelativa de
c = c a
por H)
( )
a = e
27) Explica cmo se aplica la hiptesis en ().
Anillo conmutativo
Definicin
(A, , ) es anillo conmutativo
( )
, , es anillo
es conmutativa
A
Anillo con unidad
Definicin
(A, , ) es anillo con unidad = = (A, , ) es anillo y , , . u A a A a u u a a
En este caso diremos que u es elemento unidad para de A.
En otras palabras, diremos que (A, , ) es un anillo con unidad si, y slo si, existe neutro de
la operacin , al cual llamaremos elemento unidad.
Dominio de Integridad
Definicin
Todo anillo conmutativo, con unidad y sin divisores de cero, se denomina dominio de
integridad.
28) El anillo
( )
, , :
m
i) Es conmutativo?
ii) Tiene unidad?
iii) Es dominio de integridad?
29) Investiga si (P, +, ) es un dominio de integridad, siendo
P = {x , x = 2h, h }
30) Dado el conjunto A = {1, 2, 3, 4}. Se definen las relaciones y de la siguiente
Estructuras Algebraicas
Profa. Mnica Olave Prof. Gustavo Franco
15
manera:
= + +
= + + >
si 4
4 si 4
x y x y x y
x y x y x y
x y es igual al resto de dividir x.y entre 4; siendo x e y elementos de A.
a) Construye una tabla de doble entrada para y .
b) Investiga si y son operaciones definidas en A.
c) Investiga, si corresponde, si (A, ) y (A, ) son grupos.
d) Es (A, , ) un anillo?
31) Sea
( )
2
M el conjunto de todas las matrices 22 con elementos enteros.
Se definen dos operaciones binarias y en
( )
2
M tales que:
y
a b e f a e b f
c d g h c g d h
a b e f ae bg af bh
c d g h ce dg cf dh
| | | | | | + +
=
| | |
+ +
\ \ \
| | | | | | + +
=
| | |
+ +
\ \ \
i) Teniendo en cuenta que en
( )
2
, M dos matrices son iguales si, y slo si, sus elementos
correspondientes son iguales en ,
( ) ( )
2
, , es un anillo? M
En caso afirmativo:
ii) Es conmutativo?
iii) Tiene unidad?
iv) Es dominio de integridad?
Cuerpo
Definicin
Dado el conjunto K, K , (K, , ) es un cuerpo si, y slo si, (K, , ) es un anillo
conmutativo con unidad, tal que todos los elementos de K, excepto el neutro de la primera
operacin, tienen simtrico respecto a la segunda operacin (al simtrico de a respecto de
la operacin , lo llamaremos inverso de a y lo notaremos Inv(a)).
Simblicamente:
(K, , ) es un cuerpo
Teoremas
1) Los cuerpos no admiten divisores de cero.
2) En todo cuerpo se cumple la cancelativa de .
= =
Estructuras Algebraicas
Profa. Mnica Olave Prof. Gustavo Franco
18
43) En el conjunto se define la operacin tal que (a, b) (x, y) = (ax, bx + y).
Es ( , ) un grupo?
44) En el conjunto se definen las operaciones y tales que:
(a, b) (c, d) = (a + c, b + d) y (a, b) (c, d) = (ac, 0).
Investiga si ( , , ) es un anillo.
45) Sea (A, ) un grupo conmutativo. Prueba que para todo u, x, y, z pertenecientes a A se verifica:
(u x) (y z) = (u (x y)) z = u (x (y z)) = (x z) (y u)
46) Dado el conjunto A = {0, 1} y las operaciones + y definidas en A tales que:
Es (A, +, ) cuerpo?
47) Sea
| |
= =
` |
\
)
1
, ,
2
k
A x x k y la operacin binaria = : , . . A A A a b a b
Demuestra que
( )
, A es un grupo conmutativo.
48) a) Dadas las operaciones binarias siguientes: = + +
3 3 3
: , 1 a b a b y
=
.
: , ,
4
a b
a b investiga si
( )
, , es un anillo.
b) Resuelve en
( )
, , : i)
( ) ( ) ( )
2 1 2 x x x =
ii)
( ) ( )
3
4 2 ( 2 ) 2 x x =
49) Se considera el conjunto
( ) ( ) ( ) ( )
R
3) Se considera la operacin binaria definida en
R
tal que
, , . a b a b a b ( ( ( ( ( = +
R
a) Demuestra que:
i)
2
: biyectiva. f
R
ii)
( ) ( ) ( )
. f a b f a f b ( ( ( ( = +
b) Qu se puede concluir acerca de las estructuras:
( )
2
, y , ?
| |
+
|
\
R
Bibliografa Consultada
Gentile, E. (1977). Estructuras algebraicas I. Monografa n 3. OEA.
Grimaldi, R. (1997). Matemticas discreta y combinatoria: Una introduccin con aplicaciones.
Mxico: Pearson Educacin.
Trejo, C. (1977). Matemtica elemental moderna. Estructura y mtodo. Argentina: Editorial
Universitaria de Buenos Aires.