Está en la página 1de 19

ESTRUCTURAS ALGEBRAICAS

Fundamentos de la Matemtica 2013



Profa. Mnica Olave Prof. Gustavo Franco

1) Considera la relacin dada por el siguiente diagrama sagital:











i) Observa la relacin con atencin y agrega en el conjunto de partida tres elementos y sus
correspondientes en el conjunto de llegada.
ii) Describe el conjunto de partida y el de llegada y asgnale un nombre a cada uno.
iii) La relacin que estamos analizando, es una funcin? Si as lo fuera, con qu nombre la
bautizaras?

Definicin









De esta definicin se deducen dos propiedades muy importantes:

Unicidad: el resultado de operar dos elementos de A es nico.
Clausura: el resultado de operar dos elementos de A es otro elemento de A.

Si retomamos la actividad inicial, seguramente acordaremos que la funcin descrita la
podemos llamar adicin y notarla con el smbolo +. Tiene como dominio el conjunto y como
codominio el conjunto .
+ es una operacin binaria definida en , ya que + : es funcin (la suma de dos
elementos de es un nico elemento de ).
Consideremos (7, 8) y 15 .
Como (7,8) 15,
+
escribimos 7 + 8 = 15

Cuando definamos en forma genrica una operacin binaria en un cierto conjunto A,
utilizaremos letras minsculas de nuestro alfabeto (a, b, c,) para representar los elementos de A
y un smbolo arbitrario para designar a la operacin (, #, !, , , ).
Dado un conjunto A, A , decimos que es una operacin binaria definida en A si, y
slo si, de A A en A es una funcin.

Simblicamente:
es una operacin binaria definida en A (A ) : A A A es una funcin.

(0, 0)
(2, 3)
(1, 4)
(0, 2)
(3, 3)
(5, 1)
(6, 0)
(0, 6)
(7, 8)
(1, 0)
0
1
2
15
6
5
.....
.....
.........
. . . . .
.......

Estructuras Algebraicas


Profa. Mnica Olave Prof. Gustavo Franco

2


2) Investiga si las siguientes relaciones corresponden a operaciones binarias definidas en los
conjuntos que se indican en cada caso:
a) definida en A = {0, 1, 2}, tal que:






b) # definida en , tal que: a # b =
2
+ a b
.
c) definida en , tal que: a b = a + b ab.
d) Divisin entera definida en : dados a (dividendo) y b , b 0 (divisor), llamamos
cociente (c) y resto (r) de la divisin entera a dos nmeros naturales que cumplen:
i) a = bc + r y ii) r < b.


3) Ya sabes que en el conjunto de los nmeros reales se define ms de una operacin (adicin y
multiplicacin, por ejemplo) y que esas operaciones cumplen varias propiedades.
Considera la adicin definida en e indica qu propiedades cumple.


Enunciaremos ahora algunas propiedades de las operaciones binarias. Una operacin binaria
puede, eventualmente, no cumplir ninguna de ellas!


Propiedades de las operaciones

Consideramos un conjunto A, A , y una operacin binaria definida en A.

Asociativa

La operacin binaria es asociativa a, b, c A, (a b) c = a (b c)

4) Investiga cules de las operaciones binarias de la actividad 2), cumplen esta propiedad.


Existencia del elemento neutro

Existe neutro para la operacin e A, a A, a e = e a = a

Observa que para que un elemento sea neutro de una operacin, exigimos que lo sea a
derecha y a izquierda.
0 1 2
0 0 2 0
1 2 0 1
2 0 1 2



Estructuras Algebraicas


Profa. Mnica Olave Prof. Gustavo Franco

3

5) Investiga cules de las operaciones binarias de la actividad 2), cumplen esta propiedad.


Existencia del elemento simtrico

La operacin cumple la propiedad de existencia del elemento simtrico a A, a' A,
a a' = a' a = e, siendo e el elemento neutro para la operacin .
Notacin: a' se denomina simtrico de a y es la forma en que convendremos notar al
simtrico de a.

Observa que para que un elemento sea simtrico, exigimos que lo sea a derecha y a izquierda.

Como recordars, para el caso de la adicin de nmeros reales, al simtrico de un nmero real
se lo denomina opuesto, y para el caso de la multiplicacin, al simtrico de un nmero real (si
existe) se lo llama inverso.


Conmutativa

La operacin es conmutativa a A, b A, a b = b a


6) Investiga cules de las operaciones binarias de la actividad 2), cumplen la propiedad
existencia del elemento simtrico y la propiedad conmutativa.


7) Se considera el conjunto A = {1, 2, 3, 6} y la relacin : A A A tal que
a b = MCD(a, b).
i) Representa la relacin en una tabla.
ii) Investiga si es una operacin binaria definida en A. Justifica tu respuesta.
En caso afirmativo, analiza si cumple con las propiedades, conmutativa, existencia de
neutro y de simtrico.


Distributiva
Consideramos ahora un conjunto A, A , y dos operaciones binarias definidas en A: y .

Diremos que la operacin es distributiva respecto de
a, b, c A, (a (b c) = (a b) (a c)) ((b c) a = (b a) (c a))

8) a) Considera un conjunto A , y las operaciones interseccin () y unin ()
definidas en el conjunto P(A). La interseccin, es distributiva respecto de la unin? Y la
unin, es distributiva respecto de la interseccin?
b) En el conjunto de los reales, la multiplicacin es distributiva respecto de la adicin? Y
la adicin, es distributiva respecto de la multiplicacin?




Estructuras Algebraicas


Profa. Mnica Olave Prof. Gustavo Franco

4
Las propiedades de la adicin en que enunciaste en la actividad 3) son, en general,
conocidas por todos. Pero, todas las operaciones definidas en cualquier conjunto, las cumplen
siempre?
Si te pidiramos resolver en
( )
, , . + la ecuacin: x + 3 = 7, seguramente llegaras a que la
raz de la ecuacin es el real 4, y que el conjunto solucin es S = {4}.

Cules son las propiedades que, en forma tcita, permitieron resolver la ecuacin?

x + 3 = 7
+ es operacin binaria (unicidad)
y cancelativa de la adicin


(x + 3) + (3) = 7 + (3)
Asociativa
de la adicin


x + (3 + (3)) = 7 3
Existencia de opuesto
de la adicin


x + 0 = 7 3
Existencia de neutro
de la adicin


x = 7 3

x = 4

Por lo tanto: S = { 4 }.

Como la adicin es una operacin binaria definida en el conjunto de los nmeros reales que
cumple estas cuatro propiedades, puedes pasar de la primera ecuacin a la ltima. Si alguna de
estas propiedades no se cumpliera, tendramos que ingeniarnos para resolver la ecuacin de otro
modo ya que no podramos pasar para el otro lado.


9) (Examen - 15 de diciembre de 2010). Se considera el conjunto
{ }
1, 2, 3, 4, 6 , A = cuyo
cardinal es 5, y la relacin * definida en A por la siguiente tabla:








2) Resuelve en
( )
, : A
a)
( )
3 2 2 2 x =
b)
( )
2 3 4 3 x =
*
1 2 3 4 6
1 3 6 4 1 2
2 3 6 1 2 4
3 4 2 1 3 6
4 1 2 3 4 6
6 3 4 1 6 2

1) Investiga:
a) si * es operacin binaria en A.
b) si * es conmutativa.
c) Existencia de neutro.
d) Existencia de simtrico.
e) si * es asociativa.
Estructuras Algebraicas


Profa. Mnica Olave Prof. Gustavo Franco

5
Volvamos a terreno conocido. Sabemos que en el conjunto la operacin adicin (+) tiene
elemento neutro (el 0) y que este es nico. Veamos una posible justificacin acerca de que el
neutro para cualquier operacin binaria, si existe, es nico.

Teorema: unicidad del neutro

Consideremos A, A , y una operacin binaria definida en A.
Si existe neutro para , entonces, es nico:

= = =
= =
1 1 1 2
2 2
(H) , (T)
,
a A a e e a a e e
a A a e e a a



Dem:

por ser e
2
neutro (a derecha): e
1
e
2
= e
1


es operacin
binaria (unicidad)

*
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

es una operacin binaria en


es asociativa
cumple existencia del elemento neutro
cumple existencia del elemento simtrico
G


1
La observacin que sigue fue extrada del repartido de Nmero Real elaborado por el profesor D. Siberio
para el curso de Fundamentos de 2010.
Estructuras Algebraicas


Profa. Mnica Olave Prof. Gustavo Franco

7
11) Investiga si (, +), (, +), (, ) y (, ), son grupos. Justifica tu respuesta.
12) Sea la operacin : tal que a b = a b. Es (, ) grupo?


Propiedades que se cumplen en una estructura de grupo

Se consideran el conjunto G, G , y una operacin binaria definida en G tal que (G, ) es
grupo.
1) cumple con la propiedad cancelativa:
es cancelativa a, b, c G, (a b = a c b = c) (b a = c a b = c)
2) a G, (a ')' = a
3) a, b G, (a b)' = b' a'
4) a
i
G, n , (a
0
a
1
... a
n
)' = (a
n
... a'
1
a
0
)
5) Consideremos e como el elemento neutro para : (p p = p p = e)

13) Demuestra las propiedades anteriores.


Definicin





14) a) Considera un tringulo equiltero ABC. Halla el conjunto R de todas las rotaciones
horarias de centro el circuncentro, que transforman al tringulo ABC en s mismo. Al
conjunto R lo llamaremos Conjunto de las Rotaciones de un Tringulo.
b) Representa en forma tabular la relacin composicin
( )
definida de R x R en R.
c) Prueba que la composicin es una operacin binaria definida en R.
d) Sabiendo que la composicin es asociativa, prueba que
( )
, R es grupo.


Aplicaciones a las ecuaciones

I) Resolveremos en el grupo (G, ) la ecuacin: a x = b

a x = b
es operacin binaria (unicidad),
existencia de simtrico
y cancelativa de





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 .

= =

( , , ) es anillo conmutativo con unidad


Inv( ) Inv( ) Inv( ) )
siendo el neutro para la operacin y el neutro para la operacin
, ,
K
a K e a a a a a n
e n
K { } (


Estructuras Algebraicas


Profa. Mnica Olave Prof. Gustavo Franco

16
Ms teoremas
Se considera el cuerpo
( )
, , ; k con e neutro de la operacin .
3) Si b e, la ecuacin b x = a, admite solucin nica en
( )
, , . k
4) Op (Inv(a)) = Inv(Op(a)), a K, a e.


32) Demuestra los teoremas anteriores.

33) Investiga si (, +, ) y (, +, ) son cuerpos.

34) El anillo
( )
, , ,
m
es cuerpo?


Definicin
Consideremos las estructuras
( ) ( )
, , y , . A B , Denominaremos morfismo u
homomorfismo de
( ) ( )
, , en , , A B , a toda funcin f de A en B, que cumple:
1) ( ) ( ) ( ) y 2) ( ) ( ) ( ). f x y f x f y f x y f x f y = =

Si f es morfismo y adems es inyectiva, diremos que f es un monomorfismo. Si f es un
morfismo y adems es sobreyectiva, diremos que f es un epimorfismo. Por ltimo, si f
es un morfismo y adems es biyectiva, diremos que f es un isomorfismo.


Ms actividades
35) Se consideran los conjuntos A = {0, 1}, B = {0}, C = {1} y H = {A, B, C, }, y las operaciones
binarias , y , definidas en H.
a) Construye las tablas de dichas operaciones:










b) Investiga si las operaciones , y , definidas en H, tienen elemento neutro.
c) Todo elemento de H tiene elemento simtrico segn cada una de estas operaciones?
d) Resuelve en (H, ), (H, ) o (H, ), segn corresponda, las siguientes ecuaciones:
i) A X = A ii) B X = B iii) A X = A iv) B X = B
v) C X = B vi) A X = vii) (A X ) B = .

A B C
A

B

C


A B C
A

B

C


A B C
A

B

C


Estructuras Algebraicas


Profa. Mnica Olave Prof. Gustavo Franco

17

36) Completa la tabla sabiendo que corresponde a una
operacin binaria con neutro y conmutativa. Cuntas
soluciones hay?



37) En el conjunto se define ! tal que a !b =
2
+ a b

Investiga si se trata de una operacin binaria y, en caso afirmativo, estudia si es asociativa y
conmutativa.


38) En se definen las operaciones y tales que a b = a + 2b y a b = 2ab
a) Son conmutativas?
b) Son asociativas?
c) Es distributiva alguna de las dos operaciones con respecto a la otra?


39) Estudia la existencia de elemento neutro de la operacin definida:
a) en , tal que a b =
2
ab

b) en , tal que a b = a
2
+ b
c) en , tal que a b = 2a + ab
d) en , tal que a b = a


40) Se considera la operacin definida en tal que a b = a + (b + 1).
Investiga si (, ) es un grupo conmutativo.


41) Sea A = { x / x (x
2
4)(2x + 1) = x (x
2
4)(x + 2)}.
a) Define una operacin () en A que sea conmutativa y que tenga neutro.
b) Investiga si se cumple la propiedad de existencia de simtrico.
c) Halla x, si existe, tal que (a x) (b x) = (a a) b; siendo a el menor elemento de A y
b el mayor.


42) Sea A = {0, 1, 2, 3} y la operacin definida en A por la siguiente tabla:

a) Asumiendo que es asociativa, investiga si (A, ) es grupo.
b) Calcula: (0 1) (2 3)
c) Investiga si (2 3) 0 = 0 [1 (2 3)]
d) Halla usando propiedades, si es posible, los x A que verifiquen las
siguientes igualdades:
i) [(x 2) 0] (2 x) = x x
ii) x (x x) = x
a
a
a a
b
b
c
c
c
0
0
0 0
0
0 1
1
1
1
1
1
2
2
2
2
2
2 3
3
3
3
3
3

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
( ) ( ) ( ) ( )

= = + , y la estructura , tal que , , , 3 . A A a b c d ac b d


a) Investiga si
( )
, A es un grupo conmutativo.
b) Halla
( )

tal que , tiene dos elementos y , es un grupo conmutativo. B B B B




50) a) Investiga si
( )
, , A es un cuerpo siendo A =
2
y tal que:
( ) ( ) ( )
= + + : , , , , A A A a b c d a c b d
( ) ( ) ( )
= + + : , , , 3 , A A A a b c d ac bd bc ad
0
0
0
0
1
1
1 1
0
0 0
0
0
1
1
1
Estructuras Algebraicas


Profa. Mnica Olave Prof. Gustavo Franco

19
b) Sea
( ) ( ) { }
0
, , , 0 A a b a b A b = = investiga si
( )
0
, ', ' A es un cuerpo siendo ' y ' las
respectivas restricciones de y a A
0
.
c) Demuestra que
( )
, , A y
( )
0
, ', ' A son estructuras isomorfas



51) (Examen - 15 de diciembre de 2010). Se considera la relacin R : tal que .
2
a b
a b

R
1) Demuestra que R es de equivalencia.
2) Halla .

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.