Introduccin a las

estructuras algebraicas


Introduccin a las estructuras algebraicas Javier Lapazaran, 7-2010 1



Se dice que un conjunto, con ciertas operaciones, tiene cierta estructura algebraica,
si en ellos se satisfacen las propiedades que definen tal estructura.



CONTENIDOS
Con este documento pretendemos ofrecer al alumno una introduccin a las
estructuras algebraicas que va a encontrar en el resto de la asignatura y a lo largo
de la carrera.
Comenzaremos viendo qu son las operaciones internas y algunas de las
propiedades ms destacables que en ellas podremos encontrar (asociativa,
conmutativa...). A partir de ellas definiremos las diferentes estructuras algebraicas
que vamos a abordar.
Por un lado analizaremos la estructura de lgebra de Boole, ya conocida.
Por otro, seguiremos un esquema que parte de la estructura ms bsica, con una
nica operacin interna sin ms requisitos (conocida por diferentes autores como
grupoide, magma..., en la que no nos detendremos), para ir aadindole algunas
propiedades (semigrupo, monoide y grupo), pasando a continuacin a estructuras
algebraicas con dos operaciones internas (anillo y cuerpo).

Llegados a ese punto, tan slo habremos abordado estructuras algebraicas con
operaciones internas, y no abarcaremos ms en este tema, aunque hablaremos de
las operaciones externas, que nos sern necesarias ms adelante para estudiar
otras estructuras algebraicas a las que nos dedicaremos con mayor profundidad en
el curso: los espacios vectoriales.
Introduccin a las estructuras algebraicas Javier Lapazaran, 7-2010 2
Operacin interna
Dado un conjunto A , denominamos operacin o ley de composicin interna
sobre A a cualquier aplicacin de A A en A.
:
,
A A A
a b c a b

= ( )



Notas:
Notemos que una operacin interna es una aplicacin. Es decir:
, ! a b A A c A c a b = ( )
, ! a b A c A c a b =
O, lo que es lo mismo, * habr de cumplir:
definida.
, , de resultado nico.
su resultado pertenece a .
a b A A
A

( )
Notacin:
" a b " denota el resultado (la imagen) de "operar" a con b, mediante la
operacin , en ese orden. La notacin funcional, " , a b ( ) " es equivalente.
El alumno est ms habituado a utilizar la notacin funcional con letras
(f, g, h...) que con smbolos (, +, ...):
:
, ,
f A A A
a b c f a b

= ( ) ( )


Ejemplos sobre operaciones internas
Suma en N, en Z, en Q, en R, en I, en C... (y la suma de nmeros pares)
Producto en N, en Z, en Q, en R, en I, en C... (en los pares, en los impares)
Divisin en R?
Divisin en 0 R { } .
Divisin en N?, y en 0 N { } ?
Dado un conjunto referencial o universal , la unin en ( ) P .
[ ( ) P es el conjunto de las partes de ]
Suma de matrices en
pxq
R M ( ) .
El producto de matrices?
Producto de matrices cuadradas del mismo tamao,
n
R M( ) .
Raz cuadrada en R?, y en
+
R ?, y en C?
La composicin de funciones, , es operacin interna en el conjunto de las
funciones reales de variable real, : f = R R R ( ) { } F :
:
, f g h f g

= ( )
R R R

F F F ( ) ( ) ( )
.
Introduccin a las estructuras algebraicas Javier Lapazaran, 7-2010 3
Tablas de Cayley para definir operaciones internas en conjuntos finitos
Siendo una operacin interna definida sobre el conjunto finito A, podremos
representarla mediante una tabla cuadrada con tantas filas (y columnas) como
elementos tenga A. Siendo , , , A a b n = { } ,
a b n
a a a a b a n
b b a b b b n
n n a n b n n

. . . .

Ejemplos sobre operaciones internas con tablas de Cayley
Representamos como
n
Z al conjunto de los posibles restos en la divisin de un
entero entre n (con nN). 0,1, , 1
n
n = Z { } .
Simbolizamos por
n
+ la suma en
n
Z , que definimos de modo que represente el
resto de la suma de dos enteros cuyos restos estamos operando con
n
+ .
Simbolizamos por
n
el producto en
n
Z , que definimos de modo que represente
el resto del producto de dos enteros cuyos restos estamos operando con
n
.
Las tablas de Cayley de
2
Z y
3
Z sern:
+
2
0 1
2
0 1 +
3
0 1 2
3
0 1 2
0 0 1 0 0 0 0 0 1 2 0 0 0 0
1 1 0 1 0 1 1 1 2 0 1 0 1 2
2 2 0 1 2 0 2 1

Nota:
En
2
Z , el 0 representa los pares (resto 0 al dividir 2 ) y el 1 a los impares.
En
4
Z ,
5
Z y
6
Z tendremos:
+
4
0 1 2 3
4
0 1 2 3 +
5
0 1 2 3 4
5
0 1 2 3 4
0 0 1 2 3 0 0 0 0 0 0 0 1 2 3 4 0 0 0 0 0 0
1 1 2 3 0 1 0 1 2 3 1 1 2 3 4 0 1 0 1 2 3 4
2 2 3 0 1 2 0 2 0 2 2 2 3 4 0 1 2 0 2 4 1 3
3 3 0 1 2 3 0 3 2 1 3 3 4 0 1 2 3 0 3 1 4 2
4 4 0 1 2 3 4 0 4 3 2 1

+
6
0 1 2 3 4 5
6
0 1 2 3 4 5
0 0 1 2 3 4 5 0 0 0 0 0 0 0
1 1 2 3 4 5 0 1 0 1 2 3 4 5
2 2 3 4 5 0 1 2 0 2 4 0 2 4
3 3 4 5 0 1 2 3 0 3 0 3 0 3
4 4 5 0 1 2 3 4 0 4 2 0 4 2
5 5 0 1 2 3 4 5 0 5 4 3 2 1
Introduccin a las estructuras algebraicas Javier Lapazaran, 7-2010 4
Notas:
Ntense las diferencias entre los casos en que n es primo o compuesto.
En adelante, denotaremos con + y la suma y el producto en
n
Z . As,
hablaremos de ,
n
+ Z ( ) y ,
n
Z ( ) .

Tomemos el conjunto 1,2, , A n = { } , formado por los naturales menores o iguales
a uno dado n. Existen n! formas diferentes de ordenar los n elementos en n-uplas.
Cada una de estas n-uplas define una aplicacin biyectiva,
i
p , de A en A, que
recibe el nombre de permutacin de A, y para la que es habitual utilizar la
siguiente representacin,
1 2
1 2
i
i i i
n
p
p p p n

=

( ) ( ) ( )
.
Denominemos
n
S al conjunto de las n! posibles permutaciones de los n elementos
de A:
{ }
1 2 !
, , ,
n n
S p p p =
La composicin de dos permutaciones es tambin permutacin (ya sabemos que la
composicin de aplicaciones es operacin interna). El resultado de la aplicacin
i j
p p , es el de aplicar primero
j
p y sobre su resultado aplicar
i
p .
Como ejemplo, estudiemos la composicin de permutaciones en
3
S , conjunto de
las 6 permutaciones de los 3 elementos de A = {1,2,3}.
3
1 2 3 1 2 3 1 2 3 1 2 3 1 2 3 1 2 3
, , , , ,
1 2 3 2 1 3 3 2 1 1 3 2 2 3 1 3 1 2
S

=



De modo que:

1
p es la funcin identidad I
1 1 1
1 1, 2 2, 3 3 p p p = = =

( ) ( ) ( ) ;

2
p intercambia los dos primeros elementos [genera (2,1,3) sobre (1,2,3)];

3
p intercambia los elementos primero y tercero [genera (3,2,1) sobre (1,2,3)];

4
p intercambia los elementos segundo y tercero [genera (1,3,2) sobre (1,2,3)];

5
p realiza un paso de rotacin a la izquierda [genera (2,3,1) sobre (1,2,3)];

6
p realiza un paso de rotacin a la derecha [genera (3,1,2) sobre (1,2,3)];
Razonando de esta manera es sencillo evaluar el resultado de cada composicin
de permutaciones de
3
S ,
1 1 i i i
p p p p p = = ;
2 3 5
p p p = ;
3 2 6
p p p = ...
La tabla de Cayley de
3
, S ( ) ser:
p
1
p
2 p3 p
4
p
5
p
6
p
1
p
1
p
2
p3 p
4
p
5
p
6
p
2
p
2
p
1
p
5
p
6
p3 p
4
p3 p3 p
6
p
1
p
5
p
4
p
2
p
4
p
4
p
5
p
6
p
1
p
2
p
3
p
5
p
5
p
4
p
2
p3 p
6
p
1
p
6
p
6
p3 p
4
p
2
p
1
p
5
Introduccin a las estructuras algebraicas Javier Lapazaran, 7-2010 5
Alguna propiedad de inters con una operacin interna
Sea A un conjunto no vaco y una operacin interna en l definida.
La operacin es conmutativa si y slo si , , a b A a b b a = .
La operacin es asociativa si y slo si , , , a b c A a b c a b c = ( ) ( ) .

Nota:
Si la operacin es asociativa, el resultado no depende de la colocacin de
los parntesis, mientras se respete el orden de los trminos. Podremos, por
ello, prescindir del uso de los parntesis y expresar a b c .
El elemento n A es neutro de ( ) , A , si y slo si , a A n a a n a = = .
Y, por lo tanto, , A ( ) tiene elemento neutro, n, si y slo si
, , n A a A n a a n a = = .

Nota:
Dmonos cuenta de que no es lo mismo
, , n A a A n a a n a = = .
que , , a A n A n a a n a = = .
En el primer caso se habla de un mismo n que para todo a cumple....
En el segundo se dice que para cada a hay un n que cumple... pero no tiene
por qu ser el mismo n para todo a.
Proposicin
Si existe elemento neutro en , A ( ) , necesariamente es nico.

Demostracin (por reduccin al absurdo)
Supongamos que hubiera dos,
1
n y
2
n . Por la definicin del neutro,
, a A n a a n a = = ,

1 2 1 1 2 2
a n n a
a
a
n a a n
n n n n n n


= = =

_ _
, luego
1 2
n n = .
Si en , A ( ) existe neutro, n, decimos que el elemento a A admite simtrico
para la operacin , si y slo si ' , ' ' a A a a a a n = = .
En tal caso, a A es elemento simtrico de a A .
Ntese que al ser a simtrico de a, tambin a es simtrico de a . Luego a es a ( ) .
El elemento a A es idempotente en ( ) , A , si y slo si a a a = .
Si todo elemento de A es idempotente, decimos que en , A ( ) se cumple la
propiedad de idempotencia.
El elemento b A es absorbente en ( ) , A , si y slo si , a A a b b a b = = .
Se dice que el elemento a A es simplificable o regular si y slo si
, , x y A a x a y x y = = (simplificable por la izda.),
, , x y A x a y a x y = = (simplificable por la dcha.).
Si todo elemento de A es simplificable, decimos que A es regular para , o que en
, A ( ) es vlida la ley de simplificacin (vase en propiedades de los grupos).
Introduccin a las estructuras algebraicas Javier Lapazaran, 7-2010 6

Nota:
Con un elemento a no simplificable podra ocurrir a x a y = , con x y .
Ejemplos:
En , R ( ) , a x a y x y = = (puede ser 0 a = ).
El cero no es regular en , R ( ) .
, Z Z ( ) J , con J definida por , , , , , , , a b c d a b c d a c b d = Z Z ( ) ( ) ( ) ( ) ( ) J .
El 3,0 ( ) no es regular en , Z Z ( ) J .
En
4
, Z ( ) a x a y x y = = , ya que para 0 a = y 2 a = puede ocurrir:
0 1 0 2 1 2 = = ; 2 0 2 2 0 2 = = ; 2 1 2 3 1 3 = = .
El 0 y el 2 son elementos no simplificables en
4
, Z ( ) .

Alguna propiedad de inters con dos operaciones internas
Sea A un conjunto no vaco sobre el que estn definidas las operaciones internas
y H , a las que denominaremos suma y producto, respectivamente.
Denominamos elemento cero al elemento neutro de la suma y elemento unidad
(uno) al elemento neutro del producto.
La operacin H es distributiva respecto de (el producto es distributivo
respecto de la suma) si y slo si. , , ,
a b c a b a c
a b c A
b c a b a c a
=


=

( ) ( ) ( )
( ) ( ) ( )
H H H
H H H
.
De igual manera:
La operacin es distributiva respecto de H (la suma es distributiva respecto del
producto) si y slo si. , , ,
a b c a b a c
a b c A
b c a b a c a
=


=

H H
H H
( ) ( ) ( )
( ) ( ) ( )
.
El elemento a A es invertible si y slo si existe en A el inverso (simtrico
respecto del producto) de a.
invertible , 1 a b A a b b a = = H H (en tal caso,
1
b a

= )



Nota:
Hemos expuesto ya casi todas las propiedades que vamos a utilizar de las
operaciones internas. Sin embargo, preferimos que la definicin de elemento
complementario y las propiedades relacionadas con la complementacin,
como son las leyes de Morgan, aparezcan en el entorno en que van a ser
utilizadas, dentro de la estructura de lgebra de Boole.

Introduccin a las estructuras algebraicas Javier Lapazaran, 7-2010 7
lgebra de Boole
Se dice que un conjunto B, con las operaciones internas F y , tiene estructura de
lgebra de Boole, o que , , B ( ) F es un lgebra de Boole, si y slo si se verifica la
siguiente axiomtica (postulados de Huntington):
b1) Propiedades conmutativas: , , a b B a b b a = F F ,
, , a b B a b b a = .
b2) Elementos neutros: , B a B a a = F ,
, B a B a a = .
b3) Complementario de cada elemento: , , , a B a B a a a a = = F .
Dicho en dos pasos: , , , a B b B a b a b = = F .
Adems, decimos que b es complementario de a y lo designamos por b a = .
b4) Propiedades distributivas (ambas): , , , a b c B a b c a b a c = ( ) ( ) ( ) F F ,
, , , a b c B a b c a b a c = ( ) ( ) ( ) F F F .

Notas:
Por verificar la propiedad conmutativa, usamos las expresiones reducidas
(un sentido) de los neutros, del complementario y de las distributivas.
Existen otras axiomticas equivalentes para definir el lgebra de Boole.

Algunas propiedades del lgebra de Boole
Si , , A ( ) F es un lgebra de Boole, se verifica:
Pb1) Principio de dualidad: Toda expresin que se verifique en un lgebra de
Boole, seguir verificndose si se sustituyen simultneamente los smbolos:
F ; F ; ; .
Pb2) Idempotencia: , a B a a a = F ,
, a B a a a = .
Pb3) Los neutros cruzados son absorbentes: , a B a = F ,
, a B a = .
Pb4) Absorcin: , , a b B a a b a = ( ) F ,
, , a b B a a b a = ( ) F .
Pb5) Asociativa: , , , a b c B a b c a b c = F F F F ( ) ( ) ,
, , , a b c B a b c a b c = ( ) ( ) .
Pb6) Unicidad del complementario: , ! , , a B a B a a a a = = F .
Pb7) Doble complementacin: , a B a a = ( ) .
Pb8) Complementacin de ambos neutros: = F ,
= .
Pb9) Leyes de Morgan: , , a b B a b a b = ( ) F ,
, , a b B a b a b = ( ) F .
Introduccin a las estructuras algebraicas Javier Lapazaran, 7-2010 8
Demostracin de las propiedades del lgebra de Boole a partir de los
postulados
Comprobemos que las nueve propiedades anteriores (Pb1 a Pb9) pueden deducirse
de los cuatro postulados de Huntington (b1 a b4).

Pb1) Principio de dualidad.
En los postulados que definen el lgebra de Boole, las dos operaciones tienen
simetra (dualidad), de modo que si en los postulados simultneamente se
sustituyen los smbolos: F , F , , , se vuelven a obtener
los mismos postulados.
Luego en cualquier expresin que se verifique (que pueda deducirse de los
postulados), al realizar esta sustitucin simblica, se obtendr otra (su dual),
que tambin se verificar (se deducir de los postulados).

En las siguientes demostraciones veremos ejemplos que nos ayuden a
comprenderlo.

Pb2) Idempotencia.
a B a a a a = ( ) F F (b2, e. neutro),
a a a a = ( ) ( ) F F (b3, e. complementario),
a a a = ( ) F (b4, distributiva - sumando comn),
a = F (b3, e. complementario),
a = (b2, e. neutro).

Anlogamente:
a B a a a a = ( ) F (b2, e. neutro),
a a a a = ( ) ( ) F (b3, e. complementario),
a a a = ( ) F (b4, distributiva - sumando comn),
a = (b3, e. complementario),
a = (b2, e. neutro).

Esta demostracin es dual de la anterior. Tan slo hemos sustituido en la
anterior, simultneamente, los smbolos: F , F , , .
Haciendo uso del principio de dualidad, podramos habrnosla ahorrado.

Pb3) Los neutros cruzados son absorbentes.
a B a a = ( ) F F (b2, e. neutro),
a a a = ( ) ( ) F F (b3, e. complementario),
a a = ( ) F (b4, distributiva - sumando comn),
a a = F (b1 y b2, conmutativa sobre el neutro),
= (b3, e. complementario),

Y, haciendo uso del principio de dualidad, , a B a = .
Introduccin a las estructuras algebraicas Javier Lapazaran, 7-2010 9
Pb4) Ley de absorcin.
, a b B a a b a a b = ( ) ( ) ( ) F F F (b2, e. neutro),
a b = ( ) F (b4, distributiva - sumando comn),
a = F (Pb3, neutro cruzado absorbente),
a = (b2, e. neutro),
Y, haciendo uso del principio de dualidad, , , a b B a a b a = ( ) F .

Pb5) Asociativa.
Denominemos p y q a cada miembro de la igualdad a demostrar:
p a b c = ( ) F F ; q a b c = ( ) F F .
Multipliquemos ambos por a y probemos que son iguales.
, , a b c B a p a a b c a a b a c = =

( ) ( ) ( ) F F F F (b4, distributiva),
a a c = ( ) F (Pb4, ley de absorcin),
a = (Pb4, ley de absorcin).
, , a b c B a q a a b c a = =

( ) F F (Pb4, ley de absorcin).
Luego a p a q = (I).
Pero esto no implica que p q = .
Hagamos lo mismo ahora con a .
, , a b c B a p a a b c a a b a c = =

( ) ( ) ( ) F F F F (b4, distributiva),
a a a b a c =

( ) ( ) ( ) F F (b4, distributiva),
a b a c =

( ) ( ) F F (b3, e. complementario),
a b a c = ( ) ( ) F (b2, e. neutro),
a b c = ( ) F (b4, distributiva).
, , a b c B a q a a b c a a a b c = =

( ) ( ) ( ) F F F F (b4, distributiva),
a b c =

( ) F F (b3, e. complementario),
a b c = ( ) F (b2, e. neutro).
Luego a p a q = (II).
Sumando miembro a miembro las expresiones I y II, y recordando que hemos
nombrado: p a b c = ( ) F F ; q a b c = ( ) F F ,
, , a b c B a p a p a q a q = ( ) ( ) ( ) ( ) F F
a a p a a q = ( ) ( ) F F (b4, distributiva),
p q = (b3, e. complementario),
p q = (b2, e. neutro).
Luego , , , a b c B a b c a b c = F F F F ( ) ( ) .
Y, haciendo uso del principio de dualidad, , , , a b c B a b c a b c = ( ) ( ) .

Introduccin a las estructuras algebraicas Javier Lapazaran, 7-2010 10
Pb6) Unicidad del complementario.
b3 nos dice que para cada elemento de B existe un complementario. Pb6 nos
dice que, adems, dicho complementario es nico para cada elemento.
Para demostrarlo, supongamos que el elemento a tuviera dos elementos
complementarios,
1
a y
2
a (reduccin al absurdo). En tal caso, se cumplira,

1
a a = F ;
1
a a = ;
2
a a = F ;
2
a a = (b3, segn hiptesis).
Veamos que eso se contradice con que
1
a y
2
a sean diferentes.
a B
1 1
a a = (b2, e. neutro),

1 2
a a a = ( ) F (hiptesis),

1 1 2
a a a a = ( ) ( ) F (b4, distributiva),

1 2
a a = ( ) F (hiptesis),

1 2
a a = (b2, e. neutro),

1 2
a a = ( ) F (b2, e. neutro),

1 2 2
a a a a = ( ) ( ) F (hiptesis),

2 1 2
a a a a = ( ) ( ) F (b1, conmutativa),

2 1
a a a = ( ) F (b4, distributiva),

2
a = (hiptesis),

2
a = (b2, e. neutro).
Luego un mismo elemento no puede tener dos complementarios diferentes.

Pb7) Doble complementacin.
Partimos de que a es el complementario de a, y vamos a demostrar que, en tal
caso, a es el complementario de a .
Por ser a es el complementario de a (por b3): a a = F , a a = .
Con slo aplicar la conmutativa (b1): a a = F , a a = .
Luego a es el complementario de a .

Pb8) Complementacin de ambos neutros.
Tomando como elemento a en b2, = F , = (I).
Tomando ahora como a en b2, = F , = (II).
Escojamos las expresiones primera de (II) y segunda de (I), aplicando la
conmutativa en el primer caso: = F ; = .
Luego = .
Y, bien aplicando la conmutativa a la otra expresin, o bien por Pb7, = .

Introduccin a las estructuras algebraicas Javier Lapazaran, 7-2010 11
Pb9) Leyes de Morgan: ,
Demostremos primero que , , a b B a b a b = = ( ) F
Como ya se ha demostrado en Pb6 que el complementario es nico, para
demostrar esta primera ley de Morgan ser suficiente con demostrar que a b F
y a b son elementos complementarios. Es decir, que
, a b B , a b a b =

( ) ( ) F F a b a b =

( ) ( ) F .
, a b B a b a b a b a a b b =


( ) ( ) ( ) ( ) F F F F F F (b4, distributiva),
b a a a b b =


( ) ( ) F F F F (b1, conmutativa),
b a a a b b =


( ) ( ) F F F F (Pb5, asociativa),
b a =

F F (b3, e. complementario),
= (Pb3, neutros cruzados absorbentes),
= (b2, e. neutro).
, a b B a b a b a b a b =

( ) ( ) ( ) F F (Pb5, asociativa),
a a b a b =

( ) ( ) F (b4, distributiva),
b a b =

( ) F (b3, e. complementario),
b a b = ( ) (b2, e. neutro),
a b b = ( ) (b1, conmutativa),
a b b = ( ) (Pb5, asociativa),
a = (b3, e. complementario),
= (Pb3, neutros cruzados absorbentes).
Queda as demostrada la primera ley de Morgan, , , a b B a b a b = = ( ) F .
Y, haciendo uso del principio de dualidad, , , a b B a b a b = = ( ) F .
Introduccin a las estructuras algebraicas Javier Lapazaran, 7-2010 12
lgebra de Boole binaria
Es un caso particular de lgebra de Boole, con slo dos elementos en B (e.g., 0 y 1).
La lgica ha extendido tanto el uso del lgebra de Boole binaria que es habitual
denominar booleanas a las variables binarias.
Las operaciones internas F y en un lgebra de Boole binaria sern:
F 0 1

0 1
0 0 1 0 0 0
1 1 1 1 0 1
Suma lgica Producto lgico

Nota: Ntese que la suma lgica no coincide con la suma en
2
Z .

Ejemplos sobre lgebras de Boole
lgebra de Boole de proposiciones:
Entendiendo las proposiciones por su valor de verdad ( V 1 = , F 0 = ), el conjunto
de las proposiciones, con las operaciones internas disyuncin (suma lgica) y
conjuncin (producto lgico) tiene estructura de lgebra de Boole (binaria).
lgebra de Boole de la conmutacin o de la lgica digital:
El conjunto de estados lgicos digitales (abierto y cerrado; alto y bajo; 0 y 1...),
con las operaciones internas suma lgica (OR, +, ) y producto lgico (AND, - ,
) tiene estructura de lgebra de Boole (binaria).
lgebra de Boole de conjuntos:
El conjunto ( ) P , de las partes del conjunto , con las operaciones internas
unin ( ) e interseccin ( ) de conjuntos, tiene estructura de lgebra de Boole.

Identificando elementos:
Algebra de
conjuntos
Algebra de
proposiciones
Algebra de
conmutacin (digital)
Conjunto: B P( ) {F, V } {0, 1}
Suma: F
+,
Producto:
,
Complem. : ( ) ( ) ( ) ( ) ( ) ( ), ( ) ( ) ( ),
E.N. de : F F 0
E.N. de : V 1

Introduccin a las estructuras algebraicas Javier Lapazaran, 7-2010 13
Grupoide, semigrupo y monoide
Un grupoide es el par , A ( ) , formado por un conjunto no vaco A y una operacin
interna en l definida. Diferentes autores lo conocen tambin como magma.

Un grupoide , S ( ) tiene estructura de semigrupo si y slo si se verifica que
es asociativa. , , , a b c S a b c a b c = ( ) ( ) .

Un grupoide , M ( ) tiene estructura de monoide si y slo si se verifica que
m1) es asociativa. , , , a b c M a b c a b c = ( ) ( ) .
m2) Existe elemento neutro, n, para . , , n M a M n a a n a = = .
Es decir, un monoide es un semigrupo con elemento neutro.


Unicidad del simtrico en los monoides
Si en , M ( ) la operacin tiene neutro y es asociativa (monoide), cada elemento de
M a lo sumo puede tener un simtrico.
Demostracin (por reduccin al absurdo)
Sea a M y supongamos que a y a fueran ambos simtricos de a.
Siendo n el neutro, a a n = (definicin de neutro),
a a a = ( ) ( a es simtrico de a),
a a a = ( ) (asociativa),
n a = ( a es simtrico de a),
a = (definicin de neutro).

Nota:
No se garantiza la existencia del simtrico para cada elemento; pero, caso
de existir el simtrico de un elemento, se garantiza su unicidad.


Introduccin a las estructuras algebraicas Javier Lapazaran, 7-2010 14
Grupo
Un grupoide , G ( ) tiene estructura de grupo si y slo si se verifica:
g1) es asociativa. , , , a b c G a b c a b c = ( ) ( ) .
g2) Existe elemento neutro, n, para . , , n G a G n a a n a = = .
g3) Cada elemento a G tiene simtrico en G. , ' , ' ' a G a G a a a a n = = .
Se dice que un grupo , G ( ) es conmutativo o abeliano si y slo si, adems:
es conmutativa. , , a b G a b b a = .
Ejemplos sobre grupos
,+ Z ( ) , ,+ R ( ) , ,+ C ( ), ,+ ( ) y ,
n
+ Z ( ) son grupos abelianos.
, Z ( ) , , R ( ) , , C ( ), , ( ) y ,
n
Z ( ) ?
0 , Z ( { } ), 0 , R ( { } ) , 0 , C ( { } ) , 0 , ( { } )... son grupos abelianos.
,
p q
+ R M ( ( ) ) es grupo abeliano.
,
p q
R M ( ( ) )?, ,
n
R M ( ( ) ) ?
El conjunto
3
S , de las permutaciones del conjunto 1,2,3 A = { } tiene estructura de
grupo no conmutativo.
El alumno, debe trabajar sobre la tabla de Cayley en la comprobacin de que
3
, S ( ) es grupo:
Dese cuenta de que la comprobacin en tabla de Cayley de la propiedad
asociativa es una tarea tediosa.
El elemento neutro de la composicin de permutaciones es la aplicacin
identidad, permutacin
1
p :
1
1 2 3
1 2 3
p I

= =



Cada permutacin
i
p tiene su simtrica
i
p :
1
p a
4
p son sus propias simtricas,
mientras que
5
p y
6
p son recprocamente simtricos uno del otro.
Introduccin a las estructuras algebraicas Javier Lapazaran, 7-2010 15
Algunas propiedades de los grupos
Si , G ( ) tiene estructura de grupo, se verifica:
Pg1) Ley de simplificacin (todos los elementos son regulares):
, , ,
a x a y x y
a x y G
x a y a x y
= =


= =

.
Pg2) Cada elemento, a, tiene un nico elemento simtrico, a'. Es ms:
, , a b G a b n b a = = ,
, , a b G b a n b a = = .
Pg3) Las ecuaciones x a b = y a x b = tienen solucin nica (y si el grupo es
abeliano, adems ambas son la misma):
, , ! , a b G x G a x b = ,
, , ! , a b G x G x a b = .
Pg4) El nico elemento idempotente es el neutro: , a G a a a a n = = .
Pg5) , , a b G a b b a = ( ) .

Demostracin de las propiedades de los grupos
Comprobemos que las propiedades de los grupos que acabamos de ver pueden
deducirse de las tres propiedades que definen su estructura de grupo.

Pg1) ley de simplificacin
Sean a, x e y elementos cualesquiera de G, tales que cumplan a x a y = ,
a a x a a y = ( ) ( ) (por g3, existencia del simtrico),
a a x a a y = ( ) ( ) (por g1, asociativa),
n x n y = (por def. de simtrico),
x y = (por def. de neutro).
Anlogamente demostraramos la otra expresin.

Pg2) Unicidad del simtrico
Ya hemos demostrado que, siendo asociativa y existiendo neutro,
(siendo , M ( ) monoide), cada elemento de M a lo sumo puede tener un
simtrico. Vamos a demostrar adems que en un grupo, basta con que se
obtenga el neutro al operar a con cierto elemento b, ya sea por la derecha o por
la izquierda, para que ese elemento sea el simtrico de a, y por lo tanto se
obtenga el neutro al operar con a, tanto por la derecha como por la izquierda.
Comencemos por la derecha: , , a b G a b n b a = = ,
Sea , a b G a b n = ,
a a b a n = ( ) (por g3, existencia del simtrico),
a a b a = ( ) (por g1, asociativa y def. de neutro),
b a = (por def. de simtrico).
Inmediato, por definicin de simtrico.
La segunda expresin se demostrara de manera anloga.
Introduccin a las estructuras algebraicas Javier Lapazaran, 7-2010 16
Pg3) Ecuaciones, x a b = y a x b = , con solucin nica
Sean a, b y x elementos cualesquiera de G, tales que cumplan b a x = .
g3 garantiza la existencia del simtrico, y por la existencia y unicidad de la
imagen de una operacin interna se cumple la equivalencia:
b a x = a b a a x = ( ),
a a x = ( ) (por g1, asociativa),
n x = (por def. de simtrico),
x = (por def. de neutro).
Luego x a b = es solucin de la primera ecuacin, x a b = (existencia), pero
adems es su nica solucin (unicidad).
Anlogamente demostraramos la otra expresin.
Ntese que, aunque hemos expresado la incgnita en ambas expresiones con la
misma letra, x, son expresiones independientes y su valor no tiene por qu
coincidir. Sin embargo, si la operacin fuera conmutativa, ambas ecuaciones
seran la misma (y, por lo tanto, tambin sus soluciones).

Pg4) El nico elemento idempotente en un grupo es el neutro
Sea a G a a a =
a a a a a = ( ) (por g3, existencia del simtrico),
a a a n = ( ) (por g1, asociativa y def. de simtrico),
n a n = (por def. de simtrico),
a n = (por def. de neutro),
Inmediato, por definicin de neutro.

Pg5) , , a b G a b b a = ( )
Sean a y b elementos cualesquiera de G.
Nombremos
*
c a b
d b a
=

, y comprobemos que d c = .
c d a b b a = ( ) ( ) ,
a b b a = ( ) (por g1, asociativa),
a n a = (por def. de simtrico),
a a = (por def. de neutro),
n = (por def. de simtrico).
As, c d n = , luego d c = .
Es decir, , , a b G a b b a = ( )


Introduccin a las estructuras algebraicas Javier Lapazaran, 7-2010 17
Anillo
Se dice que un conjunto A tiene estructura de anillo respecto de las
operaciones internas y H , o que , , A ( ) H es un anillo, si y slo si se verifica:
a1) , A ( ) tiene estructura de grupo abeliano.
a2) H es asociativo ( , A ( ) H es semigrupo). , , , a b c A a b c a b c = ( ) ( ) H H H H
a3) H es distributiva respecto de . , , ,
a b c a b a c
a b c A
b c a b a c a
=


=

( ) ( ) ( )
( ) ( ) ( )
H H H
H H H


Se dice que un anillo , , A ( ) H es conmutativo si y slo si, adems:
H es conmutativa. , , a b A a b b a = H H

Se dice que un anillo , , A ( ) H es unitario si y slo si, adems:
H tiene elemento neutro. , , n A a A n a a n a = =
H H H
H H


Notacin:
En adelante, por simplicidad (notacin extendida):

Objeto recibe el nombre lo representamos por
suma +
H producto
n

elemento cero 0
n
H
(si existe) elemento unidad 1
a' para opuesto de a a
a' para H (si existe) inverso de a
1
a

Ejemplos sobre anillos
Nota: Veremos que algunos de ellos no son slo anillos, sino cuerpos.
, , + Z ( ) , , , + R ( ) , , , + C ( ), , , + ( ) y , ,
n
+ Z ( ) son anillos conmutativos unitarios.
, ,
n
+ R M ( ( ) ) es anillo unitario no conmutativo.
Sea , R R ( ) F el conjunto de las funciones reales de variable real.
Definimos las operaciones internas suma y producto de funciones como:
f g x f x g x + = + ( )( ) ( ) ( ) ; f g x f x g x = ( )( ) ( ) ( )
Es decir,
: , , ,
, f g f g

R R R R R R ( ) ( ) ( )
( )
F F F

, donde
:
.
f g
x f g x f x g x

= +

R R
( )( ) ( ) ( )

, , , + R R ( ( ) ) F es anillo conmutativo unitario.

Introduccin a las estructuras algebraicas Javier Lapazaran, 7-2010 18
Notas:
El elemento cero (neutro de +) en este anillo es la funcin nula, tal que
, 0 0 x x = R ( ) .
El elemento unidad (neutro de ) es la funcin constante uno, tal que
, 1 1 x x = R ( ) .
Una funcin polinmica p, es aqulla que a cada x dada asigna el real p x ( ) :
0 1
0 1
:
con
, , , y
n
n
n
p p x a a x a x
x p x a a a n
= + + +

R R
R N
( )
( )

Designamos [ ] x R al conjunto de las funciones polinmicas de una variable y
coeficientes reales:
{ }
] : es polinmica x p p R R R [ = .
Definidas las operaciones internas suma y producto de polinomios como
acabamos de hacerlo en las funciones:
p q x p x q x + = + ( )( ) ( ) ( ), p q x p x q x = ( )( ) ( ) ( ) ,
[ ], , x + R ( ) es anillo conmutativo unitario.

Notas:
Anlogamente, designamos [ ] x A al conjunto de las funciones polinmicas
en una variable y coeficientes en A:
{ }
[ ] : es polinmica x p p A A A = .
Las funciones nula y constante uno son tambin funciones polinmicas.
Los nicos polinomios invertibles son los polinomios constantes no nulos.
[ ], , x + R ( ) , [ ], , x + C ( ), [ ], , x + ( ) y [ ], ,
n
x + Z ( ) son anillos conmutativos unitarios.


Divisor de cero
En el anillo unitario , , A + ( ) ,
0 es divisor de cero 0 , 0 0 a A b A a b b a = = { } { }
(en tal caso, tambin b ser divisor de cero).
Nota: "0" es el "elemento cero", neutro de la primera operacin, la suma.

Ejemplos sobre divisores de cero (anillos)
El 2 es divisor de cero en
4
, , + Z ( ) .
En el anillo unitario no conmutativo
2
, , + R ( ( ) ) M , sean las matrices:
1
1 0
0 0
A

=


,
1
0 0
2 3
B

=



1 1
0 0
0 0
A B

=


(matriz cero)
1
A y
1
B son divisores de cero.
Es
2
2 3
1 2
A

=


divisor de cero?
Introduccin a las estructuras algebraicas Javier Lapazaran, 7-2010 19
El anillo , , , + R R ( ( ) ) F tiene divisores de cero, ya que fg puede ser la funcin nula
sin que f ni g lo sean.
Tomemos como ejemplo el siguiente caso:
0 0
1 0
x
f x
x

>

( ) = y
1 0
0 0
x
g x
x

>

( ) = .
Nota:
Ntese que esto mismo puede realizarse con cualquier funcin que corte al
cero (que tenga imagen cero para algn valor de x), por lo que todas las
funciones con paso por cero son divisores de cero en , , , + R R ( ( ) ) F .

Ninguno de los siguientes anillos tienen divisores de cero: , , + Z ( ) , , , + R ( ) , , , + C ( ),
, , + ( ) ,
2
, , + Z ( ) , [ ], , x + R ( ) , [ ], , x + C ( ), [ ], , x + ( ) , ni
2
[ ], , x + Z ( ) .
Nota:
Como las funciones polinmicas no constantes tienen races, luego, segn se
ha dicho en la nota anterior, son todas divisores de cero en , , , + R R ( ( ) ) F .
Sin embargo no lo son en [ ], , x + R ( ) , ya que la funcin necesaria para
obtener como producto con ellas la funcin nula, nunca es polinmica.

Algunas propiedades de los anillos
Si , , A + ( ) tiene estructura de anillo, se verifica:
Pa1) El elemento cero (neutro de la suma) es absorbente para el producto:
, 0 0 0 a A a a = = .
Pa2) El opuesto del producto:
, , a b A a b a b a b = = ( ) ( ) ( ) .
Pa3) Los elementos no simplificables para el producto son el cero, junto con los
divisores de cero.

Si , , A + ( ) tiene estructura de anillo unitario, adems se verifica:
Pa4) Si dos elementos , a b A son invertibles, su producto tambin lo es y se
verifica:
1 1 1
a b b a

= ( ) .
Pa5) Si un elemento a A es invertible, su opuesto tambin lo es, y se verifica:
1 1
a a

= ( ) ( ) .
Pa6) Ningn divisor de cero es invertible.
Pa7) Ningn elemento invertible es divisor de cero.

Introduccin a las estructuras algebraicas Javier Lapazaran, 7-2010 20
Ejemplo sobre divisores de cero, invertibles y simplificables
En el anillo unitario conmutativo , , + Z ( ) no hay divisores de cero:
, , 0, 0, 0 a b a b a b = Z
Por lo tanto, todos salvo el cero son simplificables.
Sin embargo, slo son invertibles el 1 y el 1.
Es decir, el 2 (por ejemplo) es simplificable, por no ser cero ni divisor de cero,
2 3 2 3 x x = = .
Pero, cmo simplificamos el 2, si no es invertible?
1
2

Z ( )
Por las propiedades de la suma: 2 3 2 x = ,
sumando opuestos,
( ) ( )
2 3 2 2 2 x x x + = + ( ) ( ) ,

( )
2 3 2 0 x + = ( ) ,
2 3 2 0 x + = ( ) ,
por factor comn,
( )
2 3 0 x + = ( ) , (ver distributiva)
que, al no ser 2 divisor de cero, 3 0 x + = ( ) ,
y, por ser ,+ Z ( ) grupo, 3 x = .
No habramos podido razonar de igual manera de haber sido el 2 divisor de cero.

Demostracin de las propiedades de los anillos
Comprobemos que las propiedades de los anillos que hemos expuesto pueden
deducirse de las propiedades que definen su estructura de anillo.

Pa1) El elemento cero es absorbente para el producto
Sea a un elemento cualquiera del anillo , , A + ( ) y designemos por c al elemento
resultado de operar 0 a ,
0 0 0 c a a = = + ( ) (neutro de la suma),
0 0 a a = + ( distributivo respecto +).
Hemos llegado a que c c c = + .
Y, dado que el nico elemento idempotente en el grupo , A + ( ) es el cero,
podemos concluir que 0 c = . Luego , 0 0 a A a = .
Anlogamente demostraramos que , 0 0 a A a = .

Pa2) Opuesto del producto
Siendo , , A + ( ) anillo, por la unicidad del simtrico en el grupo , A + ( ) sabemos
que, , c d A , 0 c d c d + = =

.
Demostremos que , a b A ,
( )
0 a b a b + = ( ) ( ) ,
para as poder concluir que a b a b = ( ) ( ) :
, a b A ,
( )
a b a b a a b + = + ( ) ( ) ( distributivo respecto +, f. comn),
0 b = (def. de opuesto),
0 = (0 absorbente para ).
Luego a b a b = ( ) ( ) .
Anlogamente demostraramos que , , a b A a b a b = ( ) ( ) .
Introduccin a las estructuras algebraicas Javier Lapazaran, 7-2010 21
Pa3) Elementos no simplificables para el producto
Queremos demostrar que en un anillo , , A + ( ) , el cero, junto con los divisores de
cero, son todos y slo los elementos no simplificables para el producto.
Vamos a afrontar la demostracin por casos:
0 a = Hemos visto que el cero es absorbente para el producto, por lo que,
, a b A 0 0 a b =
Luego el cero no es simplificable.
0 a Demostremos que, siendo , a A con 0 a ,
es simplificable no es divisor de cero a A a .
Hiptesis: , a A 0 a , a no es divisor de cero.
(demostremos que a es simplificable)
I ) Sean b y c tambin elementos de A, tales que a b a c = ,

( )
0 a b a c + = ( ) (existe opuesto en grupo , A + ( )),
0 a b a c + = ( ) (opuesto del producto),

( )
0 a b c + = ( ) ( distributivo respecto +, f. comn),
0 b c + = ( ) (a no es divisor de cero, ni cero),
b c = (el opuesto es nico).
II) Anlogamente, b a c a b c = = .
De I y II concluimos que a es simplificable.
Hiptesis: , a A 0 a , a es simplificable.
(demostremos que a no es divisor de cero)
I ) Sea b tambin elemento de A, tal que 0 a b = ,
0 a b a = (cero absorbente, luego 0 0 a = ),
0 b = (a es simplificable, por hiptesis),
II) Anlogamente, 0 0 b a b = = .
De I y II concluimos que a no es divisor de cero
( )
, 0 0 0 b A b a b b a = = .

Pa4) Producto de dos elementos invertibles
Queremos demostrar que en el anillo unitario , , A + ( ) , el producto de a b por
1 1
b a

(por la derecha y por la izquierda) da como resultado la unidad; esto
probar que uno es el inverso del otro. De esta manera, no slo demostramos
que el producto de elementos invertibles es tambin invertible, sino que
obtenemos una expresin para su clculo.
, a b A
1 1 1 1
a b b a a b b a

= ( ) ( ) ( ) (producto asociativo),

1
a a

= (inverso y unidad),
1 = (inverso).
Anlogamente demostraramos que
1 1
, , 1 a b A b a a b

= ( ) ( ) .

Introduccin a las estructuras algebraicas Javier Lapazaran, 7-2010 22
Pa5) Inverso del opuesto de un elemento invertible
Como en la demostracin anterior, obteniendo la unidad del producto de dos
elementos, demostramos que son inversos el uno del otro.
Sea , , A + ( ) un anillo unitario. Si donde se deca a y b en la Pa2 anterior,
, , a b A a b a b a b = = ( ) ( ) ( ) ,
tomamos respectivamente los elementos a y
1
a

, tendremos,
, a b A
( ) ( ) ( )
1 1 1
a a a a a a

= = ( ) ( ) ( ) ( ) ( ) ( ) (Pa2),

( )
1
a a

= ( ) (Pa2, miembros I y III, con

1
b a

= ),
1) = ( (def. de inverso),
1 = (opuesto del opuesto).


Pa6) Ningn divisor de cero es invertible.
Procedamos por reduccin al absurdo. Supongamos que existe un divisor de
cero invertible; demostremos que eso nos lleva a una contradiccin con las
premisas utilizadas.
Sea , , A + ( ) un anillo unitario, y sea a A , invertible y divisor de cero.
Por ser invertible,
1
a

, inverso de a.
Por ser a divisor de cero, 0 0 0 b a b b a = = ( ) .
Para ese elemento b,
caso 1 - Supuesto que se cumpla 0 a b = :

1 1
0 a a b a

= ( ) ,

1
0 a a b

= ( ) ( asociativo y cero absorbente),

0 b = (inverso y neutro).
Esto contradice la hiptesis de que a sea divisor de cero ( 0 b ).
caso 2 - Supuesto que se cumpla 0 b a = :
Razonaramos anlogamente.

Pa7) Ningn elemento invertible es divisor de cero.
Es evidente a partir de Pa6.

Se recomienda al alumno que reflexione sobre las siguientes figuras.
A
, , A + ( ) anillo , , A + ( ) anillo unitario
0 y
divisores
de cero
simplificables para el producto
invertibles
0 y
divisores
de cero
simplificables para el producto
A

Introduccin a las estructuras algebraicas Javier Lapazaran, 7-2010 23
Cuerpo
Se dice que un conjunto K tiene estructura de cuerpo respecto de las operaciones
internas + y , o que , , + K ( ) es un cuerpo, si y slo si se verifica:
c1) , , + K ( ) es anillo.
c2) ,

K ( ) es grupo.

Nota: 0

K K { } = , conjunto de los elementos no nulos de K.

Dicho de otro modo:
c'1) ,+ K ( ) es grupo abeliano.
c'2) ,

K ( ) es grupo.
c'3) El producto es distributivo respecto de la suma.

Dicho de otro modo: Siendo

K , , , + K ( ) es cuerpo si y slo si es anillo unitario

y todos los elementos de K
*
son invertibles.

Se dice que un cuerpo , , + K ( ) es conmutativo si y slo si, adems:
El producto es conmutativo.
Ejemplos sobre cuerpos
, , + R ( ) , , , + C ( ) y , , + ( ) son cuerpos conmutativos.
, , + Z ( ) ?

2
, , + Z ( ) es cuerpo conmutativo.
En general, , ,
n
+ Z ( ) , con n primo ( 2 n ), es cuerpo conmutativo.

Notas:
En general, slo trabajaremos con cuerpos conmutativos. En lo que sigue
del texto y el curso, extenderemos el nombre de cuerpo a los cuerpos
conmutativos, considerndolos sinnimos.
Vanse las pginas 198, 199 y 217 del libro "lgebra y geometra", de
Eugenio Hernndez.

Algunas propiedades de los cuerpos
Adems de cumplirse todas las propiedades de los grupos, tanto con la suma como
con el producto, as como la propiedad distributiva del producto respecto de la suma
y al menos la conmutativa en la suma:
Pc1) Ningn cuerpo tiene divisores de cero.
Pc2) Todos los elementos del cuerpo son simplificables para la suma y todos salvo
el cero lo son para el producto.
Pc3) Todos los elementos del cuerpo, salvo el cero, son invertibles.
Pc4) Si , , + K ( ) tiene estructura de cuerpo, la ecuacin ax b c + = , con 0 a , tiene
solucin nica en K. , , 0 ! , a b c a x ax b c + = ( ) K K .
Introduccin a las estructuras algebraicas Javier Lapazaran, 7-2010 24
Demostracin de las propiedades de los cuerpos
Comprobemos que las propiedades de los cuerpos que hemos expuesto pueden
deducirse de las propiedades que definen su estructura.
Pc1) Ningn cuerpo tiene divisores de cero
Sea un cuerpo cualquiera , , + K ( ) .
Sean , a bK, con 0 0 0 a a b b a = = ( ) .
Probemos que necesariamente b es cero:
Dado que 0 a K { } , a tiene inverso
1
a

,
1 1 1
0 0 0 0 a b a a b a a a b b

= = = = ( ) ( ) ,
1 1 1
0 0 0 0 b a b a a a b a a b

= = = = ( ) ( ) ,
Por lo que, necesariamente, 0 b = .

Pc2) Elementos simplificables en un cuerpo
Por ser cuerpo , , + K ( ) , ,+ K ( ) y ,

K ( ) son grupos y se cumple Pg1.

Pc3) Elementos invertibles en un cuerpo
Por ser cuerpo , , + K ( ) , ,

K ( ) es grupo y se cumple g3.

Pc4) Solucin nica de la ecuacin ax b c + = (con 0 a )
Sea un cuerpo cualquiera , , + K ( ) . Sean a, b, c y x elementos cualesquiera de
K, siendo 0 a , y tales que cumplan a x b c + = .
Por la unicidad de la imagen de una operacin interna (en este caso, la suma),
se cumple la equivalencia:
a x b b c b + + = + ( ) ( ) .
Rescribamos esta expresin con notacin ms laxa:
ax b b c b + = ,
ax b b c b + = ( ) (+ asociativa),
0 ax c b + = (def. opuesto),
ax c b = (def. elemento cero),

1 1
a ax a c b

= ( ) (unicid. en - ; exist. y unicid. inverso),

1 1
a a x a c b

= ( ) ( ) ( - asociativo),

1
1 x a c b

= ( ) (def. inverso),

1
x a c b

= ( ) (def. elemento unidad).

As, existe solucin y es nica: , , 0 ! , a b c a x ax b c + = ( ) K K .
Adems, hemos obtenido el valor de esa solucin nica:
1
x a c b

= ( ) .

Nota:
As, cuando trabajemos en un cuerpo, si sabemos que 0 a , podremos
operar ms despreocupadamente:
ax b c + = ax c b =
1
x a c b

= ( ) .
Esto no puede asegurarse en los anillos, donde no todos los elementos
tienen por qu ser invertibles:
Pruebe el lector a obtener la solucin de 2 3 4 x + = en el anillo , , + Z ( ) .
Pruebe a obtenerla, sin embargo, en el cuerpo , , + ( ) .
Introduccin a las estructuras algebraicas Javier Lapazaran, 7-2010 25
Ejercicios
1) Sean los conjuntos A y B .
Sea el conjunto de funciones de A en B,
{ }
, es funcin A B f A B f = F( ) .
Siendo , B + ( ) grupo abeliano, definimos la operacin suma de funciones:
, , , , f g A B a A f g a f a g a + = + F( ) ( )( ) ( ) ( ) .
Demuestre que
( )
, , A B + F( ) , con A y , B + ( ) grupo abeliano, es tambin
grupo abeliano.


2) (Pasatiempos)
A B =
2
A AB =
2 2 2
A B AB B =
A B A B + ( )( ) B A B = ( )
A B B + =
2B B =
2 = 1
?


3) (Pasatiempos)
Dado { } 1, 3, 5, 7, 9 A= , se definen las leyes + y mediante las siguientes tablas:
+ 1 3 5 7 9 1 3 5 7 9
1 9 5 7 1 3 1 9 1 3 7 5
3 5 1 9 3 7 3 1 3 5 7 9
5 7 9 3 5 1 5 3 5 9 7 1
7 1 3 5 7 9 7 7 7 7 7 7
9 3 7 1 9 5 9 5 9 1 7 3


Sabiendo que , , ( ) A + tiene estructura de cuerpo, se pide:
a) Compruebe si en el producto se verifica la propiedad conmutativa.
b) Calcule, si existen, el elemento neutro de cada operacin (elementos cero y
uno).
c) Calcule, si existen, el elemento opuesto y el inverso de cada elemento.
d) Descubra si hay algn elemento absorbente.
e) Resuelva el sistema de ecuaciones:
3 1 5
9 9
x y
x y

+ =

+ =

.
f) Demuestre que, efectivamente, , , A + ( ) tiene estructura de cuerpo.
Introduccin a las estructuras algebraicas Javier Lapazaran, 7-2010 26
Operacin externa
Dados los conjuntos A y B, no vacos, denominamos operacin o ley de
composicin externa sobre A, con dominio de operadores en B, a cualquier
aplicacin de B A en A.
:
,
B A A
a b c a b

= ( )


Nota:
Una operacin interna sobre A es un caso particular de operacin externa
sobre A, con dominio de operadores en A.

Ejemplos sobre operaciones externas (sobre A)
Producto de un nmero real ( B = R) por una matriz (
p q
A

= M ).
Producto de un real ( B = R) por un complejo ( A = C).
Producto de un real (R) por un polinomio de coeficientes reales ( R P( ) o [ ] x R ).
Actuacin de una funcin ( : B f = R R { } , con A = R):
: :
,
f
f x c f x f x

= =
R R R R { }
( ) ( )

Suma de un nmero par a un nmero impar. Y un impar a un par?

Restriccin de una operacin externa
Subconjunto cerrado para una operacin externa
El subconjunto A' ( A A ) es cerrado para la operacin externa : B A A ,
cuando : B A A (restriccin de a A'),
sigue siendo operacin externa.

Ejemplos sobre restricciones en operaciones externas (cerradas o no)
El producto de un nmero real (B) por una matriz (A) es operacin externa.
La restriccin de este producto a las matrices cuadradas (A') tambin lo es.
Luego el conjunto de las matrices cuadradas es cerrado para el producto por real.
El producto de un nmero par (B) por un entero (A) es operacin externa.
La restriccin de este producto (por par) a los impares (A') no lo es.
Luego el conjunto de los impares no es cerrado para el producto por un par.
El producto de un nmero real (B) por una matriz (A) es operacin externa.
Su restriccin a las matrices con determinante no nulo (A') no lo es.
Luego el conjunto de las matrices con determinante no nulo no es cerrado para el
producto por un real.
Introduccin a las estructuras algebraicas Javier Lapazaran, 7-2010 27
Nota:
Alguna de las propiedades de las operaciones internas puede extenderse a
las externas.
A modo de ejemplo (que se entender ms adelante), en el curso
encontraremos la propiedad de simplificacin con operaciones no internas,
como en:
AB = AC B = C si rg A ( ) = nmero de columnas de A,
o en k k = v w = v w, si k es un escalar no nulo,
o k k = v v k k = , si v es un vector no nulo.


Subgrupos, subanillos y subcuerpos
Siendo , G ( ) grupo y S subconjunto de G, si , S ( ) es tambin grupo, decimos que
S es subgrupo de , G ( ) .
Siendo , , A + ( ) anillo y S subconjunto de A, si , , S + ( ) es tambin anillo, decimos
que S es subanillo de , , A + ( ) .
Siendo , , + K ( ) cuerpo y S subconjunto de A, si , , S + ( ) es tambin cuerpo, decimos
que S es subcuerpo de , , + K ( ) .

Nota:
Estos conceptos estn relacionados con los conceptos de restriccin de una
operacin interna (conjunto cerrado para la operacin interna). Recordemos
que la operacin interna es slo un caso particular de la externa.
Si al restringir las operaciones internas al subconjunto, se conserva el tipo
de estructura, hablamos de sub- (-grupo, -anillo, -cuerpo).

Ejemplos sobre subgrupos, subanillos y subcuerpos
Siendo n el neutro de , G ( ) , un subgrupo suyo es n { } .
Z y son subgrupos de ,+ R ( ) , y a su vez, R lo es de ,+ C ( ).
Siendo k un entero positivo, el conjunto de los mltiplos enteros de k es subanillo
de , , + Z ( ) .
[ ] x R es subanillo de , , , + R R ( ( ) ) F .
es subcuerpo de , , + R ( ) y de , , + C ( ).
R es subcuerpo de , , + C ( ).