1

CUADERNO III

ESTRUCTURAS ALGEBRAICAS

Miguel A. Sainz, Joan Serarols, Anna M. Prez

Dep. de Informtica y Matemtica Aplicada
Universidad de Girona

RESUMEN: Veremos el concepto de estructura algebraica y las ms importantes estructuras

con leyes de composicin internas: grupos anillos y cuerpos. Se estudiarn las cuestiones
ms relevantes acerca de los polinomios sobre un cuerpo, ejemplo importante de anillo.
Bastante ms detalle ser puesto en el estudio de una cuarta estructura algebraica: el lgebra
de Boole y el caso particular del algebra de circuitos elctricos.

El Algebra, que desde su origen y durante muchos aos fue la rama de las matemticas que
trataba de nmeros y de ecuaciones, ampla su campo a finales del siglo XIX hacia nuevos
objetos, como son los vectores, los polinomios, las matrices,..., etc y se separa del estudio de
la solucin de ecuaciones dirigindose hacia las estructuras abstractas. Al igual que con los
nmeros, con los vectores, polinomios, matrices,.., etc, se realizan operaciones que, en
muchos casos, se denominan con los mismos nombres que las operaciones clsicas, suma,
producto,.., definidas y delimitadas por propiedades anlogas a las de la suma, producto,... de
nmeros, tales como la asociativa, conmutativa,.., que forman las reglas del juego con los
nuevos objetos. El Algebra pasa a ser la ciencia que estudia las estructuras, es decir, conjuntos
con operaciones verificando ciertas propiedades que determinan qu tipo de estructura es,
recibiendo nombres como grupo, anillo, lgebra de Boole,.... Ms an, el Algebra estudia hoy
da cualquier estructura o, mejor an, ninguna en concreto, siendo un procedimiento lgico que
en muchos casos puede adaptarse al mundo fsico, de manera que es la base de muchas ciencias
actuales como la inteligencia artificial o la mecnica cuntica.

III.1.- LEYES DE COMPOSICION

El concepto de operacin o ley de composicin es una abstracin y generalizacin de las

operaciones clsicas, suma y producto, entre nmeros, consideradas como leyes mediante las
cuales de dos elementos obtenemos otro, y as decimos que la suma de 3 y 4 es 7 o el producto
12.

Dados tres conjuntos A, B y C definimos una operacin o ley de composicin sobre A,

B y C como una aplicacin

f : AB C
(a,b) f(a,b)
2

en la que a cada par de elementos de A B le corresponde un nico elemento de C que, en

principio, podemos representar, mediante la notacin especfica para funciones, por f(a,b). Pero
siguiendo la notacin tradicional que se ha empleado para las operaciones, es mejor representar
la operacin por smbolos especiales +, , o,... y la imagen de un par, denominada compuesto
de los dos elementos, escribirlo mediante las letras que designan los elementos del par
separadas por el smbolo de la operacin

: AB C
(a,b) ab

Los smbolos tradicionales de suma y producto de nmeros, + y , tambin se utilizan como

smbolos de operaciones entre conjuntos, cualesquiera que sea la naturaleza de sus elementos.

Segn los conjuntos sobre los que se define una operacin se denomina de un modo ms
concreto:

a) Ley de composicin interna (l.c.i) sobre A, es una aplicacin

: AA A
(a,b) ab

Cuando para simbolizar una l.c.i. se usa el smbolo + se denomina notacin aditiva y si se
usa se llama notacin multiplicativa; al igual que en el producto de nmeros, es frecuente
omitir del smbolo para expresar el producto de dos elementos, siempre que no haya lugar a
ambigedades.

b) Ley de composicin externa (l.c.e) sobre A, con dominio de operadores B, es una

aplicacin

: BA A
(,a) a

donde, para evitar confusiones, suelen emplearse dos tipos de letras para distinguir los
elementos de A y los de B.

No son stos los nicos tipos de operaciones, aunque si los ms frecuentes.

Una ley de composicin vendr definida cuando se conozca la imagen de cada par del
conjunto inicial, lo cual puede hacerse por extensin, si se trata de conjuntos con pocos
elementos, o por comprensin. Si es por extensin, las imgenes de los pares suelen disponerse
en un cuadro que se denomina tabla de la operacin y si es por compresin habr que dar
un predicado, que puede ser una frmula, para averiguar la imagen de cualquier par.

Ejemplo III.1.1

Sobre N son leyes de composicin internas la suma y el producto

+ : NN N : NN N
(a,b) a+b (a,b) ab
 3

sin embargo no lo es la diferencia pues

: NN N
(a,b) ab

no es una aplicacin ya que si a es menor que b el par (a,b) no tiene imagen; si lo es en

el caso

: ZZ Z
(a,b) ab

Ejemplo III.1.2

Son leyes de composicin internas sobre P (E) la unin y la interseccin

: P (E)P (E) P (E) : P (E)P(E) P (E)

(A,B) AB (A,B) AB

Ejemplo III.1.3

Si A es un conjunto, sobre el conjunto de aplicaciones

F = {f : A A}

es ley de composicin interna la composicin de aplicaciones

o : FF F
(f,g) fo g : A A
x (fog)(x) = f(g(x))

Ejemplo III.1.4

Sobre el conjunto A = {a,b,c,d} es ley de composicin interna la definida por la tabla

a b c d
a b a c c
bc c c c
c d b b a
da b c d

en la que se expresa que los elementos de la entrada vertical se componen a la izquierda

con los de la entrada horizontal; p.ej.

cd = a db = b bb = c
4

Ejemplo III.1.5

Es ley de composicin externa en el conjunto

F = {funciones f : N N}

con dominio de operadores N, la aplicacin

NF F
(a,f) af : N N
x (af)(x) = af(x)

Ejemplo III.1.6

Sea el conjunto de funciones reales de variable real

F = {f : A R con A R }

En F pueden definirse la suma, diferencia y producto de funciones mediante la suma,

diferencia y producto de nmeros reales

: FF F
(f,g) fg : A R
x (fg)(x) = f(x)g(x)

pues f(x) y g(x) son elementos de R y como tales pueden sumarse, restarse y
multiplicarse. Sin embargo el cociente es l.c.i. nicamente para funciones que no se
anulan en A, ya que si g(x) = 0 no existe f(x)/g(x) como elemento de R.

Un conjunto en el que se han definido una o varias leyes de composicin se denomina

estructura algebraica.

Es posible generalizar las propiedades de las operaciones clsicas de suma y producto de

nmeros a una ley de composicin interna general.

Sea una l.c.i. en A:

a) Si B es un subconjunto de A, diremos que B es estable para si se verifica

(x,yB) (xyB)

es decir, si el compuesto de dos elementos de B tambin pertenece a B; as, por ejemplo, para
la estructura algebraica (N,+) el conjunto de los nmeros pares es estable para la suma y el
conjunto de los nmeros impares no lo es.

b) Diremos que es conmutativa si se verifica

(x,yA) (xy = yx)

 5

Dos elementos que verifiquen esta igualdad, se denominan conmutables, con lo que una
l.c.i ser conmutativa si todos los elementos son conmutables. As, por ejemplo, son
conmutativas la suma y el producto en N,Z,Q,R y C, y no lo es la diferencia. Si la
operacin viene definida por una tabla, la conmutatividad se traduce en el hecho de que la
tabla sea simtrica respecto de su diagonal; as, a la l.c.i. definida por

a b c d
a b c c a
b c a a b
c c a b b
d a c c d

en la que los elementos de la columna se componen a la izquierda con los de la fila, los
elementos a y b son conmutables pues

ab = c = ba

sin embargo la operacin no es conmutativa ya que la tabla no es simtrica respecto de la

diagonal, lo que se traduce en que, por ejemplo

dc = c cd

c) Diremos que es asociativa si verifica

(x,y,zA) (x(yz) = (xy)z)

cuyo significado es el siguiente: la composicin de tres elementos debe hacerse

componindolos de dos en dos, pues una l.c.i. est definida sobre pares de elementos, lo
cual puede hacerse de dos modos distintos; si dan el mismo resultado, para todas las ternas
posibles, la l.c.i. es asociativa y en este caso el compuesto de tres elementos puede escribirse
simplemente

xyz

sin necesidad de los parntesis que sealan las asociaciones de elementos. En general, puede
fcilmente demostrarse, que si la l.c.i. es asociativa, el compuesto de n elementos es
independiente del modo como agrupemos los elementos para componerlos. Ms an, si la ley
es asociativa y conmutativa se verifica

x 1 x 2 ...x n = xi1x i2...x in

siendo i1,i2,...,in una permutacin cualquiera de 1,2,...,n.

Si empleamos una notacin aditiva o multiplicativa, el compuesto de un elemento

consigo mismo n veces se representa por
(n) (n)
x+x+ ... +x = nx x ... x = xn

respectivamente. Si la operacin es asociativa y conmutativa se verifican entonces las

igualdades
6

mx+nx = (m+n)x m(nx) = (mn)x xmxn = xm+n (xn)m = xnm

pues, por ejemplo

(n) (n) (m) (n) (mn)
m(nx) = (x+...+x)+(x+...+x)+ ... +(x+...+x) = x+x+....+x = (mn)x

d) Si A tiene otra l.c.i., , diremos que es distributiva respecto a si se verifica

(x,y,zA) (x(yz) = (xy)(xz) (yz)x = (yx)(zx))

que en el caso de ser conmutativa se reduce a una sola igualdad.

Ejemplo III.1.7

En el conjunto R con las l.c.i. + y se verifica

a(b+c) = ab+ac

por lo que el producto de nmeros reales es distributivo respecto de la suma y sin

embargo la suma no es distributiva respecto al producto ya que, en general

a+(bc) (a+b)(a+c)

como fcilmente puede comprobarse. En P (E) con las l.c.i. de unin e interseccin
tenemos que

A (B C) = (A B) (A C)
A (B C) = (A B) (A C)

una es distributiva respecto de la otra.

En una estructura con l.c.i. (A,) podemos distinguir los siguientes elementos particulares:

a) eA es elemento neutro si verifica

(xA) (ex = xe = x)

igualdades que se reducen a una sola si la l.c.i. es conmutativa. El elemento neutro puede
existir o no, pero si existe es nico, ya que si hubiera dos e1 y e2 tendramos

e1 neutro e1e2 = e2
e1 = e2
e2 neutro e1e2 = e1

Si se utiliza notacin aditiva, el neutro suele designarse por el smbolo 0 y en el caso de

notacin multiplicativa por el smbolo 1 y se denomina elemento unidad. Si eA verifica
solamente

(xA) (ex = x)
 7

se denomina neutro por la izquierda y anlogamente se define el neutro por la

derecha; obviamente, si existe elemento neutro, lo es por la derecha y por la izquierda.

b) Si (A,) tiene elemento neutro e, diremos que x,x'A son elementos simtricos si
verifican

xx' = x'x = e

en cuyo caso diremos que x (y tambin x') es simetrizable. Por ejemplo, el propio
elemento neutro e es simetrizable, y su simtrico es l mismo, pues

ee = e

Cuando se utiliza notacin aditiva, el simtrico de x se representa por x y se denomina

opuesto; en el caso de notacin multiplicativa se representa por x -1 o 1/x y se denomina
inverso. Elemento simtrico de uno dado puede existir o no, pero si existe verifica las
propiedades siguientes:

1) Si x' es simtrico de x, entonces x es simtrico de x', es decir,

(x')' = x

pues las igualdades que definen el simtrico

xx' = x'x = e

indican tanto que x' es simtrico de x, como que x es simtrico de x'.

2) Si es asociativa y x' es simtrico de x, x' es nico; en efecto, si x tuviera dos

simtricos x' y x''

x'' = ex'' = (x'x)x'' = x'(xx'') = x'e = x'

3) Si siendo asociativa, x e y tienen por simtricos x'e y', respectivamente, entonces

xy es simetrizable y su simtrico es

(xy)' = y'x'

ya que, en efecto

(xy)(y'x') = (x(yy'))x' = (xe)x' = xx' = e

(y'x')(xy) = (y'(x'x))y = (y'e)y = y'y = e

que indican que efectivamente y'x' es el simtrico de xy. Esta propiedad es

generalizable a un conjunto de n elementos simetrizables

(x 1 x 2 ...x n )' = x n '...x 2 'x 1 '

lo que se demuestra por induccin sobre el conjunto

8

S = {nN (x1 x 2 ...x n )' = x n '...x 2 'x 1 '}

que verifica

1S pues (x1 )' = x 1 '

nS (x 1x 2...x n)' = x n'...x 2'x 1'

((x 1x 2...x n)x n +1)' = x n'+1 (x 1 x 2 ...x n )'
(x1x2...xnxn+1)' = xn'+1 (x n'..x 2'x 1') = x n'+1 x n'...x 2'x 1'
n+1S

En el caso de notacin aditiva, si x1 = x2 = ... = xn es

(n) (n)
(nx) = (x+x+ ... +x) = (x)+(x)+ ... +(x) = n(x)

representndose por nx ; en notacin multiplicativa

(n) (n)
(x n )-1 = (xx...x) -1 = x -1x -1...x -1 = (x -1)n

representndose por x -n.

c) En la estructura (A,) diremos que aA es regular o simplificable si verifica

(x,yA) ((xa = ya x = y) (ax = ay x = y))

Si nicamente es cierta una de las dos implicaciones, hablaremos de elemento regular a la

derecha o a la izquierda. Se verifica que si es asociativa y a tiene simtrico, a', entonces a
es regular, pues

xa = ya (xa)a' = (ya)a' x(aa') = y(aa') x = y

y anlogamente se demuestra la otra implicacin.

d) En (A,) diremos que aA es elemento idempotente si verifica aa = a.

Ejemplo III.1.8

En la estructura (N,+) se verifica

+ es asociativa, conmutativa y 0 es elemento neutro: (xN)(x+0 = x).

0 es simtrico de s mismo, por ser elemento neutro, y para cualquier otro

elemento xN no existe simtrico ya que no hay ningn nmero natural x' tal
que x+x' = 0.

Todo elemento es regular pues x+a = y+a x = y

 9

Ejemplo III.1.9

En la estructura (A,) con la l.c.i. definida mediante la tabla

0 1 2 3
0 0 1 2 3
1 1 2 3 0
2 2 3 0 1
3 3 0 1 2

la asociatividad es larga de comprobar ya que habra que establecer que

a(bc) = (ab)c

para las 64 ternas posibles, p.ej.

3(23) = (32)3
31 13
0 = 0

Si para alguna terna salen resultados distintos, no ser asociativa, pero si salen
resultados iguales hay que continuar comprobando con todas las dems. Puede
comprobarse que la operacin es asociativa. La operacin es conmutativa ya que la
tabla es simtrica respecto a su diagonal. El elemento neutro es 0 pues en la fila y en la
columna correspondientes a este elemento figuran los elementos de A en el mismo
orden que se han escrito en las entradas de la tabla, lo que significa que, por ejemplo

30 = 3
02 = 2

El elemento 0 es simtrico de si mismo, 2 es simtrico de si mismo y 1 y 3 son

simtricos. Como la operacin es asociativa y todo elemento tiene simtrico, entonces
todo elemento es regular.

Ejemplo III.1.10

En la estructura (P (E),,) se verifica, de acuerdo con resultados obtenidos en el

Captulo I

, son asociativas y conmutativas

es distributiva respecto a y es distributiva respecto a
es neutro para , pues (XP (E)) (X = X)
E es neutro para , pues (XP (E)) (X E = X)

No hay inverso para , ya que dado X P (E) no vaco, no existe ningn conjunto Y
tal que

XY=
10

y, de forma anloga, dado XP (E) no vaco, no tiene inverso respecto de .

Ejercicios
x+y
III.1.- Sea xy = , razonar si es ley de composicin interna en R , R* , R+ , R .
xy

III.2.- Las leyes y estn definidas en el conjunto R+

xy+1 x+y
xy = xy =
x+y x+y+1

estudiar si son asociativas y conmutativas.

III.3.- Consideremos dos leyes de composicin interna

ab = 3a+2b ab = 4ab

ambas definidas sobre Z. Ver si son asociativas, conmutativas y si alguna de ellas es

distributiva respecto la otra.

III.4.- Averiguar las propiedades de las siguientes leyes de composicin interna

a) xy = 2x+y sobre N
x+y
b) xy = sobre el conjunto P de los nmeros pares y sobre Q
2

III.2.- GRUPOS

Segn las propiedades que verifiquen sus leyes de composicin, las estructuras algebraicas
se designan de distintas formas y tienen caractersticas especiales. Vamos a estudiar las
principales estructuras con leyes de composicin internas.

Sea una l.c.i. sobre un conjunto G; diremos que

1) es asociativa

(G,) es un grupo si y slo si 2) existe elemento neutro: e

3) para todo xG existe simtrico: x'

y si adems es conmutativa se denomina grupo abeliano. Un grupo (G,) es finito cuando

el conjunto G es un conjunto finito, cuyo cardinal se denomina orden del grupo.

Ejemplo III.2.1

Para las principales estructuras numricas, tenemos

 11

(N,+) no es grupo pues no existe opuesto para todo xN.

(N,) no es grupo pues no existe inverso para todo xN.
(Z,+) es grupo abeliano, donde el neutro es 0 y el opuesto de zZ es z.
(Z/(n),+) es grupo abeliano.
(Z,) no es grupo pues la l.c.i. no es asociativa.
(Z,) no es grupo pues no existe inverso para todo zZ.
(Q,+), (R,+) y (C,+) son grupos abelianos.
(Q,) , (R,) y (C,) no son grupos pues 0 no tiene inverso.
(Q*,) ,(R*,) y (C*,) son grupos abelianos.

Directamente de la definicin de grupo y de las propiedades de las l.c.i., se derivan las

proposiciones que se enuncian en la Tabla III.2.1.

TABLA III.2.1
____________________________________________________________

Propiedades en un grupo (G,)

1) El elemento neutro es nico

2) El simtrico x' de un elemento x es nico

3) (xG) ((x')' = x)

4) (x,yG) ((xy)' = y'x')

5) Todo elemento de G es regular

6) La ecuacin xb = a tiene por nica solucin x = ab'

7) Si x,aG son tales que ax = a o xa = a, entonces x es el neutro de G

____________________________________________________________

Demostraciones:

Teniendo en cuenta que es asociativa, las propiedades 1), 2), 3) y 4), segn vimos en la
Seccin III.1, se verifican en toda estructura con l.c.i. asociativa; asimismo de la
asociatividad y la existencia de simtrico para todo elemento del grupo, se deduce 5). Para
demostrar 6), teniendo en cuenta que cualquiera que sea b existe su simtrico b', tendremos

xb = a (xb)b' = ab' x(bb') = ab' xe = ab' x = ab'

con lo que hemos encontrado solucin para la ecuacin, que se obtiene simplemente
"pasando" b de un miembro a otro, cambindolo por su simtrico. Adems esta solucin es
12

nica pues si

x1 solucin de xb = a x1b = a
x1b = x2b x1 = x2
x2 solucin de xb = a x2b = a

Para demostrar 7) basta tener en cuenta que segn la propiedad 6), la ecuacin xa = a tiene
por nica solucin x = aa' = e; lo mismo para ax = a .

La anterior propiedad 6) tiene dos consecuencias interesantes; una ya ha sido mencionada y

es la posibilidad de pasar trminos de un miembro a otro de una igualdad, cambindolos por su
simtrico, y la otra es la posibilidad de definir en G una nueva l.c.i., del siguiente modo

_ : GG G
(a,b) a_ b = x siendo x la solucin de xb = a

con lo que todo par de GG tiene imagen nica, que es el elemento que compuesto por con el
segundo nos da el primero, y as _ es l.c.i. sobre G. Para hallarlo basta tener en cuenta la
solucin de la ecuacin xb = a, con lo que

a_ b = ab'

En los grupos aditivos esta operacin inversa de + se denomina diferencia y se representa

por , de forma que la diferencia de dos elementos del grupo, llamados minuendo y
sustraendo, ser el elemento que sumado con el sustraendo nos da el minuendo y es igual a la
suma del minuendo con el opuesto del sustraendo. En grupos multiplicativos la operacin
inversa de se denomina cociente, representndose por /, siendo el cociente de dos elementos
del grupo, llamados dividendo y divisor, el elemento que multiplicado por el divisor nos da
el dividendo y es igual al dividendo por el inverso del divisor.

Ejemplo III.2.2

Vamos a particularizar las propiedades anteriores al grupo (Z,+). Tendremos

1) 0 es nico
2) El opuesto x de un elemento x, es nico
3) (xZ) ((x) = x)
4) (x,yZ) ((x+y) = (x)+(y))
5) (aZ) (x+a = y+a x = y)
6) La ecuacin x+b = a tiene como nica solucin x = a+(b)

La operacin inversa, que esta propiedad permite definir, se denomina diferencia y es

ZZ Z
(a,b) ab = x siendo x la solucin de x+b = a

es decir, la diferencia entre a y b es el nmero entero que sumado con b (sustraendo)

nos da a (minuendo), que segn lo anterior ser ab = a+(b).
 13

Sea (G,) un grupo y H un subconjunto no vaco de G; diremos que (H,) es un subgrupo

de (G,), si y slo si (H,) es un grupo lo cual equivale a

1) H es estable para

2) es asociativa en H
(H,) es subgrupo de (G,) si y slo si
3) el elemento neutro e H

4) (xH) (x'H)

Si (G,) es un grupo abeliano y se verifica que es conmutativa en H, diremos que (H,) es

un subgrupo conmutativo. Cuando no haya lugar a confusin se dice, ms brevemente, que H
es subgrupo de G.

Como subgrupos triviales de (G,) tenemos {e} y el propio G, como subgrupo de s mismo.

Ejemplo III.2.3

Sea H = {x Q* x = (1+2a)/(1+2b) con a,bZ} y consideremos como l.c.i. en H el

producto de nmeros racionales. Veamos si (H,) es subgrupo de (Q*,)

1) H es estable para pues para cualesquiera x,y H

1+2a
xH x = con a,bZ
1+2b
1+2(a+m+2am)
xy = H
1+2(b+n+2bn)
1+2m
yH y = con m,nZ
1+2n

2) es asociativa en H, dado que es asociativa en Q*, es decir, para todos los

elementos de Q*, luego tambin para los elementos de H.

3) es conmutativa en H por la misma razn anterior.

4) El nmero racional 1 es el elemento neutro para el producto de nmeros

racionales es 1, y
1+20
1 = H
1+20

5) Para cualquier x H tendremos

1+2a 1+2b
xH x = x -1 = H
1+2b 1+2a

Y as (H,) es un subgrupo de (Q*,).

14

De las condiciones generales para subgrupo, y de acuerdo con el razonamiento del ejemplo
anterior, la asociatividad y la conmutatividad se cumplirn siempre sobre cualquier subconjunto
H, pues si es asociativa y conmutativa en G, lo es para todos los elementos de G, en particular
para los de H. Adems vamos a demostrar que las tres restantes pueden reducirse a una, es
decir

1) H es estable para

2) eH equivalen (x,yH)(x _ yH)

3) (xH) (x'H)

donde _ es la operacin inversa de para la que, como hemos visto anteriormente

a_ b = ab'

En efecto, al ser condicin necesaria y suficiente tendremos que demostrar los dos teoremas que
conlleva. Si se verifican 1), 2) y 3) para cualesquiera x,yH

xH
xy'H x _ yH
yH y'H

Recprocamente,

2) : xH x _ xH xx'H eH
3) : eH xH e _ xH ex'H x'H
1) : xH yH xH y'H x _ y'H x(y')'H x yH

En un grupo aditivo (G,+) la condicin de subgrupo ser

(x,yH) (x yH)

y en un grupo multiplicativo (G,) ser

(x,yG) (x/yH)

puesto que la diferencia y el cociente son las operaciones inversas de la suma y el producto,
respectivamente.

La condicin de subgrupo es muy usada cuando queremos demostrar que una estructura dada
es grupo si est contenida en un grupo establecido anteriormente.

Ejemplo III.2.4

El ejemplo anterior III.2.3 puede plantearse as

(H,) ser grupo si (H,) es subgrupo de (Q*,), es decir, si

(x,yH)(x/yH)
 15

lo cual es cierto, ya que

1+2a
xH x = con a,bZ
1+2b
x 1+2(a+n+2an)
= H
y 1+2(b+m+2bm)
1+2m
yH y = con m,nZ
1+2n

Ejercicios

III.5.- Porqu los nmeros racionales positivos no forman grupo para la ley de composicin

ab = a
b
III.6.- Estudiar si el conjunto A = {a+b2 a,b Z} tiene estructura de grupo abeliano con
la operacin suma.

III.7.- Demostrar que el conjunto A = {a i i Z a > 0} con la operacin producto tiene

estructura de grupo abeliano.

III.8.- Dado el conjunto A = {a,b,c} construir una tabla de operacin de manera que con ella
sea un grupo. Razonar la respuesta.

III.9.- Demostrar que un conjunto con una operacin interna que verifique las propiedades
asociativa, elemento neutro por la izquierda y elemento simtrico por la izquierda, tiene
estructura de grupo.

III.10.- En el grupo (Z,+) se define la relacin

x R y si y slo si xy es mltiplo de 10

Demostrar que es de equivalencia y definir las clases. Demostrar que el conjunto

cociente con la operacin.

x+y = x+y

es grupo. Hallar cuntos elementos tiene y todos sus subgrupos.

III.11.- Sea A = {mltiplos de n} Z. Demostrar que A es subgrupo.

III.3. ANILLOS Y CUERPOS

Estudiaremos a continuacin estructuras con dos leyes de composicin internas. Sea un

conjunto A con dos leyes de composicin interna, que designaremos por notacin aditiva y
16

multiplicativa, (A,+,). La estructura (A,+,) es un anillo si verifica

+ es asociativa

+ es conmutativa
1) (A,+) grupo abeliano
existe elemento neutro para + : 0

para todo xA existe opuesto: x

2) es asociativa

3) es distributiva respecto a +

Si adems

4) es conmutativo

se denomina anillo conmutativo y si

5) existe elemento neutro para la operacin

se denomina anillo con elemento unidad o anillo unitario. En este caso un elemento a del
anillo se denomina inversible si tiene inverso, es decir, si existe a-1A tal que aa-1 = a-1a = e.

Como hemos utilizado la notacin aditiva para la primera operacin, su elemento neutro lo
designaremos por el smbolo 0, el opuesto de x por x ; anlogamente como para la segunda
l.c.i. hemos usado la notacin multiplicativa, su elemento neutro, si lo tiene, lo denominaremos
elemento unidad y se representa por 1.

Ejemplo III.3.1

Para los principales conjuntos numricos, tenemos

(N,+,) no es anillo pues (N,+) no es grupo.

(Z,+,), (Q,+,), (R,+,) y (C,+,) son anillos conmutativos con elemento unidad.

(R,,+) no es anillo pues (R,) no es grupo.

(R*,,+) no es anillo pues + no es distributiva con respecto a

Ejemplo III.3.2

Sobre Z definimos las l.c.i.

ab = a+b6 ab = ab6(a+b)+42

Se verifica que (Z,) es grupo abeliano

 17

a) es asociativa

(ab)c = a(bc)

(a+b6)c a(b+c6)

(a+b6)+c6 = a+(b+c6)6

que son iguales por las propiedades asociativa y conmutativa de + en Z.

b) es conmutativa
ab = ba

a+b6 = b+a6

iguales por la propiedad conmutativa de + en Z.

c) elemento neutro
ae = a a+e6 = a e = 6

d) simtrico
aa' = 6 a+a'6 = 6 a' = 12a

luego todo elemento de Z tiene simtrico. Respecto de la otra operacin tenemos

e) es asociativa

(ab)c = (ab6(a+b)+42)c = (ab6(a+b)+42)c6((ab6(a+b)+42)+c)+42

a(bc) = a(bc6(b+c)+42) = a(bc6(b+c)+42)6(a+(bc6(b+c)+42))+42

que son iguales por asociatividad, conmutatividad y distributividad de + y en Z.

f) distributivo respecto a

(ab)c = (a+b6)c = (a+b6)c6((a+b6)+c)+42

(ac)(bc) = (ac6(a+c)+42)(bc6(b+c)+42) =
= (ac6(a+c)+42)+(bc6(b+c)+42)6

que son iguales por las mismas razones anteriores.

g) es conmutativa
ab = ba

ab6(a+b)+42 = ba6(b+a)+42
h) elemento unidad

au = a au6(a+u)+42 = a u (6+a) = 42+7a = 7(6+a)

es decir, 7 es el elemento unidad. Se trata pues de un anillo conmutativo unitario.

18

Dos elementos x e y de un anillo (A,+,) diremos que son divisores de cero si siendo
distintos de cero, su producto da 0, es decir

x e y divisores de cero si y slo si x 0 y 0 xy = 0

En A puede que existan divisores de cero y puede que no; en este ltimo caso diremos que
(A,+,) es anillo de integridad.

Ejemplo III.3.3

(Z,+,) (Q,+,) (R,+,) y (C,+,) son todas ellas anillos de integridad. El anillo del
Ejemplo III.3.2 es anillo de integridad pues, teniendo en cuenta que el neutro de la
primera l.c.i. es 6, si

xy = 6 xy 6(x+y)+42 = 6 x(y6) = 36+6y = 6(y6) x = 6 y = 6

por lo que no existen divisores de cero.

Sea un anillo (A,+,) y B un subconjunto no vaco de A; diremos que (B,+,) es subanillo

de (A,+,) o, ms brevemente, B subanillo de A, si (B,+,) es un anillo; esto es equivalente a

(x,yB) (x yB xyB)

ya que entonces (B,+) es subgrupo de (A,+) y B es estable para , con lo cual se verifican las
propiedades asociativa y distributiva de esta l.c.i. en B, ya que se verifican en A. Como
subanillos triviales tenemos {0} y el propio A.

Ejemplo III.3.4

(R,+,) es un anillo conmutativo con elemento unidad, subanillo de (C,+,) pues la

diferencia y el producto son l.c.i. en R. El anillo (R,+,) contiene como subanillo a
(Q,+,) del cual es subanillo (Z,+,)

Sea un anillo (A,+,) e I un subconjunto no vaco de A; diremos que (I,+,) es un ideal de

(A,+,) si se verifican las condiciones

1) (x,yI) (xyI)
2) (xI) (aA) (axI xaI)

es decir un subgrupo aditivo que verifica la condicin 2), ms restrictiva que la condicin
anloga de subanillo, por lo que todo ideal es un subanillo.

Otra estructura importante con dos l.c.i. es la estructura de cuerpo definida como sigue:

1) (K,+,) anillo unitario

(K,+,) cuerpo si y slo si
2) Para todo xK* existe inverso x -1
 19

siendo K* el conjunto K excludo el 0, neutro de la primera l.c.i. Si es conmutativa diremos

que es un cuerpo conmutativo; en adelante cuando hablemos de un cuerpo nos referiremos a un
cuerpo conmutativo, salvo que se diga lo contrario.

Ejemplo III.3.5

Son cuerpos los anillos (Q,+,) (R,+,) y (C,+,) y no lo es (Z,+,).

Si (K,+,) es un cuerpo se verifican las propiedades que resumimos en la Tabla III.3.2

TABLA III.3.2
________________________________________

Propiedades de los cuerpos

Si (K,+,) es un cuerpo

1) (K,+,) es un anillo de integridad

2) (K*,) es un grupo abeliano

________________________________________

Demostraciones:

1) (K,+,) es un anillo de integridad por no tener divisores de cero, ya que si fueran ab = 0

y a 0, existe a -1 con lo que

a -1(a b) = a -10 (a -1a)b = 0 1b = 0 b = 0

2) (K*,) es un grupo abeliano ya que por definicin de cuerpo es asociativo, es

conmutativo, existe elemento unidad y todo elemento xK* tiene inverso x-1.

El verificarse estas propiedades hace que, por un lado, la ecuacin ax = b tenga por
soluciones

si b 0 no tiene solucin
si a = 0 : 0x = b
si b = 0 todo xA es solucin

si a 0 : la ecuacin tiene por nica solucin x = ba -1

y por otro lado que podemos definir sobre K* la l.c.i. inversa del producto, el cociente

/ : K*K* K*
(b,a) b/a = nica solucin de la ecuacin ax = b
20

es decir, el cociente entre b, dividendo, y a, divisor, es el elemento de K* que multiplicado por

a es igual a b, y segn el resultado anterior, ser

b/a = ba -1

Esta operacin puede extenderse al caso de que el dividendo sea cero, ya que

0/a = 0a -1 = 0

Dado un cuerpo (K,+,) y un subconjunto no vaco J K; diremos que (J,+,) es un

subcuerpo de (K,+,) o, ms brevemente, J subcuerpo de K, si (J,+,) es cuerpo, lo que,
segn los resultados anteriores, equivale a

1) (x,yJ) (xyJ)
2) (xJ) (yJ*) (xy -1J)

Por ejemplo, Q es subcuerpo de R pues la diferencia y el cociente de dos nmeros racionales es

un nmero racional. De forma anloga R es subcuerpo de C.

Ejercicios

III.12.- Estudiar las siguientes estructuras algebraicas:

x+y
1) (R+,) con xy =
xy+1

2) (R*,,) con xy = 4xy xy = 3x+2y

y resolver, si es posible, las ecuaciones

4(x3) = 2 y 5(x22) = 1

III.13.- Sobre el conjunto A = {xR x > 0} se definen las siguientes l.c.i.:

a) ab = x tal que 1/x = 1/a+1/b

b) ab = max (a,b)
c) aob = min (a,b)

Estudiar las estructuras (A,), (A,), (A,o), (A,,o), (A,o,)

III.14.- En ZZ se definen las operaciones

(a,b)+(c,d) = (a+c,b+d)

(a,b)(c,d) = (ac5bd,ad+bc)

a) Estudiar la estructura (ZZ,+,)

 21

b) Calcular los elementos inversibles.

c) Tiene divisores de 0?.
d) El conjunto A = {(a,b) ZZ a,b mltiplos de 2}. Es un ideal?.

III.15.- Sea el conjunto E R de los nmeros reales de la forma m+n 3 con m,n Z.

1) Demostrar que E es un subanillo de (R,+,)

2) Se define en E la relacin

(m+n 3) R (m'+n' 3) m'm = 2 y n'n = 2

Probar que es de equivalencia y hallar el conjunto cociente E/R.

3) Definir en E/R las tablas de sumar y multiplicar.
4) Averiguar si E/R es un cuerpo.
5) Demostrar que E/R contiene un ideal formado por dos elementos.

III.16.- Los conjuntos

{a+b 16 a,bQ} {a+b 2 a,b Q}

tienen estructura de anillo respecto a la suma y el producto ordinario de los nmeros

reales. Cul de ellos tiene estructura de cuerpo?. En caso de que algn conjunto no
posea estructura de cuerpo, hallar un elemento que no tenga inverso.

III.17.- Sea f : R R2 tal que

(a,bR) (f(a+b) = f(a)+f(b) f(ab) = af(a)+bf(b))

a) Probar que f(1) = (0,0).

b) Probar que F = {xR f(x) = (0,0)} es un subcuerpo de R.

III.4.- POLINOMIOS SOBRE UN CUERPO

En la matemtica elemental polinomio es una expresin del tipo

a0+a 1x+a 2 x 2 +...+a n x n

siendo a0,a 1 ,..., an nmeros reales y x es una indeterminada con la que se establecen sumas,
productos y diferencias con los elementos a 0 , a1 ,..., an y consigo misma, sujetas a las reglas
de clculo, representndose por xn el producto de x consigo misma n veces. El significado de x
y, por tanto, de una expresin tal como la anterior no se establece de modo nada claro, aunque a
veces x sea considerada como un elemento indeterminado de R. Vamos a ver en esta Seccin de
un modo preciso que es un polinomio sobre un cuerpo.
22

Sea (K,+,) un cuerpo. Consideremos sucesiones en K, es decir, aplicaciones

N K
0 a0
1 a1
.....
n an
.....

que al distinguirse entre s por las imgenes de los elementos de N, se representan por

(a 0,a 1 ,...,a n ,...)

denominndose a a0 , a 1 ,...,a n primero, segundo,..., n-simo trmino de la sucesin.

Llamaremos sucesin casi-nula, aquella cuyos trminos son nulos a partir de uno en
adelante, es decir, aquella sucesin (a 0,a 1 ,...,a n,...) para la cual existe un nN tal que

(iN) (i > n a i = 0)

donde, como es habitual, 0 representa al elemento neutro de la primera l.c.i. en (K ,+,).

Escribiremos una sucesin casi-nula mediante la notacin

(a 0,a 1 ,...,a n ,0,...)

donde a n 0 y algn ai puede ser nulo. Dado un cuerpo (K,+,) llamaremos polinomio
sobre K a una sucesin casi nula de elementos de K

P = (a 0,a 1 ,...,a n ,0,...)

Los elementos a 0,a 1 ,,a n se denominan coeficientes, a0 es el trmino independiente, a n ,

que es el elemento de K distinto de cero con mayor subndice, se denomina coeficiente
dominante y a su subndice n, grado del polinomio

n = gr(P)

Si an = 1 el polinomio se denomina polinomio mnico. Vamos a convenir en que la sucesin

nula es una sucesin casi-nula, es decir, que existe el polinomio

(0,0,...,0,...)

que llamaremos polinomio nulo, al que atribuimos por grado , siendo

(nN) (n > n+() = )

En el conjunto de polinomios sobre K vamos a definir dos l.c.i., que denominaremos suma y
producto, inducidas por las operaciones de K. Dados dos polinomios

P = (a 0,a 1 ,...,a n ,0,...) Q = (b 0 ,b 1 ,...,b m ,0,...)

definimos la suma de ambos, que escribiremos P+Q, como el polinomio

 23

P+Q = (a 0+b0,a 1 +b 1 ,..., ,0,...)

cuyos coeficientes son la suma de coeficientes homlogos de P y Q por lo que el coeficiente

dominante ser

an si n > m

= a n+bm si n = m a n+bm 0

bm si n < m

siendo la relacin entre los grados

gr(P+Q) max(gr(P),gr(Q))

La estructura de grupo abeliano que tiene K respecto a la suma hace que el conjunto de
polinomios con la suma, as definida constituya un grupo abeliano, ya que

1) Asociativa

((a 0,a 1 ,...,a n ,0,...)+(b 0 ,b 1 ,...,b m ,0,...))+(c 0 ,c 1 ,...,c r ,0,...) =

= (a 0+b0,a 1 +b 1 ,...,0,...)+(c 0 ,c 1 ,...,0,...) = ((a 0+b0)+c0,(a 1 +b 1 )+c 1 ,...,0,...)

(a 0,a 1 ,...,a n ,0,...)+((b 0 ,b 1 ,...,b m ,0,...)+(c 0 ,c 1 ,...,c r ,0,...)) =

= (a 0,a 1 ,...,0,...)+(b 0 +c 0 ,b 1 +c 1 ,...,0,...) = (a 0+(b0+c0),a 1 +(b 1 +c 1 ),...,0,...)

siendo iguales ambos resultados, por la asociatividad de la suma en K.

2) Conmutativa

(a 0,a 1 ,...,a n ,0,...)+(b 0 ,b 1 ,...,b m ,0,...) = (a 0+b0,a 1 +b 1 ,...,0,...)

(b 0 ,b 1 ,...,b m ,0,...)+(a 0,a 1 ,...,a n,0,...) = (b 0+a 0,b1+a 1 ,...,0,...)

que son iguales, por conmutatividad de la suma en K.

3) Neutro es el polinomio nulo (0,0,...,0,...), ya que

(a 0,a 1 ,...,a n ,0,...)+(0,0,...,0,...) = (a 0+0,a 1 +0,...,a n+0,0,...) = (a 0,a 1 ,...,a n ,0,...)

4) Opuesto del polinomio (a 0,a 1 ,...,a n,0,...) es el polinomio (a 0,a 1 ,...,a n ,0,...), pues

(a 0,a 1 ,...,a n ,0,...)+(a 0,a 1 ,...,a n ,0,...) = (a 0a 0,a 1a 1 ,...,a n a n ,...) = (0,0,...,0,...)

Dados dos polinomios

P = (a 0,a 1 ,...,a n,0,...) Q = (b0 ,b 1 ,...,b m ,0,...)

definimos el producto de ambos, que escribiremos PQ, o ms brevemente PQ, como el

polinomio
24

PQ = (c 0 ,c 1 ,...,c n+m ,0,...)

tal que c0 = a 0b 0
c1 = a 0b1+a 1b 0
c2 = a 0b2+a 1b1+a 2b 0
................................

ci = a 0bi+a 1 b i-1+...+a i-1b1+a ib0 = ar bs

r+s = i
siendo el coeficiente dominante del producto

cm+n = a 0bm+n+a 1b m+n-1+...+a n-1bm+1+a nbm+a n+1b m-1+...+a m+n-1b1+a m+nb0=

= a 00+a 1 0+...+a n-10+a nb m +0b m-1+...+0b 1+0b 0 = a nbm
ya que

cm+n+1 = a 0bm+n+1+a 1b m+n+...+a n-1bm+2+a nbm+1+a n+1b m +...+a m+nb1+a m+n+1b0 =

= a 00+a 1 0+...+a n-10+a n0+0b m +...+0b 1+0b 0 = 0

siendo tambin nulos todos los coeficientes posteriores. La relacin entre los grados es

gr(PQ) = gr(P)+gr(Q)

Los polinomios para la suma anterior y el producto as definido tienen estructura de anillo
conmutativo con elemento unidad y de integridad. En efecto

1) El producto es asociativo ya que dados tres polinomios

P = (a 0,a 1 ,...,a n,0,...) Q = (b0 ,b 1 ,...,b m ,0,...) R = (d 0 ,d 1 ,...,d l ,0,...)

tenemos
PQ = (c 0 ,c 1 ,...,c m+n ,0,...) con ci = arbs
r+s = i

QR = (c'0 ,c'1 ,...,cm+l

' ,0,...) con c'j = bsdu
s+u = j
siendo, por tanto

P(QR) = (p 0 ,p 1 ,...,p n+(m+l),0,...)

con pk = arc'j = ar ( bsdu) = ar(bsdu) ; anlogamente

r+j = k r+j = k s+u = j r+s+u = k

(PQ)R = (p'0 ,p'1 ,...,p'(m+n)+l,0,...)

con p'k = cidu = ( arbs) du = ar(bsdu)

i+u = k i+u = k r+s = i r+s+u = k
 25

y ambos resultados son iguales por ser K un cuerpo.

2) El producto es claramente conmutativo.

3) El producto es distributivo respecto a la suma, ya que para

P = (a 0,a 1 ,...,a n ,0,...) Q = (b 0 ,b 1 ,...,b m ,0,...) R = (d 0 ,d 1 ,...,d l,0,...)

tendremos

P(Q+R) = (c 0,c 1,...,c m+n,0,...) con ci = ar(bs+ds)

r+s = i

PQ = (c0',c 1',..,c m'+n ,0,..) con c'i = arbs

r+s = i

PR = (c",c
0 ",...,c
1 n" +l ,0,...) con c''i = ards
y como r+s = i

ci = ar(bs+ds) = (arbs+ards) = arbs + ards

r+s = i r+s = i r+s = i r+s = i

es P(Q+R) = PQ+PR

4) El elemento unidad es el polinomio (1,0,...), ya que

(a 0,a 1 ,...,a n ,0,...)(1,0,...,0,...) = (a 01,a 1 1,...,a n 1,0,...) = (a 0,a 1 ,...,a n ,0,...)

5) No existen divisores de cero, puesto que si

P = (a 0,a 1 ,...,a n,0,...) 0 equivale a gr(P) = n 0

Q = (b0,b1,...,bm,0,...) 0 equivale a gr(Q) = m 0

por lo que

gr(PQ) = n+m 0 PQ 0

Los elementos del conjunto de los polinomios de grado menor que 1

P0(K) = {(a 0 ,0,...) a 0K }

considerar como algebraicamente idnticos los elementos de K y a los polinomios de grado 0.

Veamos cules son los polinomios inversibles; si P tiene por inverso a Q, ser

PQ = (1,0,...) gr(PQ) = gr(P)+gr(Q) = 0 gr(P) = gr(Q) = 0

y los elementos inversibles son los polinomios de grado 0, es decir, los elementos de K*.

Existe un polinomio especial, que indicaremos por X

X = (0,1,0,...)
26

que, como puede comprobarse realizando el producto, verifica

X 2 = (0,1,0,...)(0,1,0,...) = (0,0,1,0,...)

y por induccin se obtiene

X n = (0,0,...,0,1,0,...)(0,1,0,...) = (0,0,...,0,0,1,...)

lo que, junto con el isomorfismo anterior, permite escribir un polinomio dado en la forma

P = (a 0,a 1 ,...,a n ,0,...) = (a 0 ,0,...)+(0,a 1 ,0,...)+...+(0,...,0,a n ,0,...) =

= a 0 (1,0,...)+a 1 (0,1,0,..)+...+a n (0,...,0,1,0,...) = a 0+a 1X+a 2 X 2 +...+a n X n

que puede escribirse tambin en orden descendente

P = a n X n +...+a 2X 2+a 1X+a 0

De aqu en adelante utilizaremos ambas formas de escribir un polinomio, como sucesin casi
nula o en funcin del polinomio X. El anillo de los polinomios sobre un cuerpo K se
denota por K[X]. Segn todas las propiedades anteriores, los polinomios sobre K se pueden
sumar, restar y multiplicar segn los procedimientos habituales de la matemtica elemental.

Ejemplo III.4.1

Dados los polinomios sobre R

P = (3,0,1,4,0,...) = 4X 3 X 2 +3
Q = (2,1,1,0,...) = X 2+X+2

la suma y el producto se obtienen disponiendo ambos polinomios de modo anlogo a

como se disponen los nmeros naturales para sumar y multiplicar (recordemos que
cualquier nmero natural tiene una descomposicin en potencias de 10, que es anloga
a la del polinomio en X)

Suma:
4X3X2 +3
X2+X+2

P(X)+Q(X) = 4X3 +X+5

Producto:
4X3X2 +3
X2+X+2

8X32X2 +6
4X4 X3 +3X
4X5 X4 +3X2

P(X)Q(X) = 4X 5+3X 4+7X 3+X 2+3X+6
 27

III.5.- CLASES DE RESTOS

Sea un entero n. Sobre el conjunto Z de los nmeros enteros la relacin binaria

x R y si y slo si xy = (n)

donde por (n) indicamos un mltiplo de n, es una relacin de equivalencia por ser

(R) : pues para todo xZ es x R x ya que xx = 0 = (n)

(S ) : x R y xy = (n) yx = (n) y R x

(T ) : (x R y y R z) (xy = (n) yz = (n)) xz = (n) x R z

Una clase de equivalencia est definida por

a = {xZ xa = (n)} = (n)+a

por lo que 0 = {xZ x0 = (n)} = (n) 1 = {xZ x1 = (n)} = (n)+1

2 = {xZ x2 = (n)} = (n)+2 3 = {xZ x3 = (n)} = (n)+3
.......................
n1 = {xZ x(n1) = (n)} = (n)+(n1)

no existiendo ms clases de equivalencia pues todo nmero entero al dividirlo por n da un resto
menor que n, es decir, todo nmero entero es igual a un mltiplo de n ms 0 o 1 o 2 o 3 o...o
n1. Por esta razn dos enteros que pertenezcan a la misma clase, dan el mismo resto al
dividirlos por n , dicindose que son congruentes mdulo n, y las clases de equivalencia se
denominan clases de restos mdulo n. El conjunto cociente es por tanto

Z/(n) = {0,1,2,3,...,n1}

Ejemplo III.5.1

Sobre el conjunto Z de los nmeros enteros la relacin binaria

x R y si y slo si xy = (5)

donde por (5) indicamos un mltiplo de 5, es una relacin de equivalencia por ser

(R) : pues para todo xZ es x R x ya que xx = 0 = (5)

(S ) : x R y xy = (5) yx = (5) y R x

(T ) : (x R y y R z) (xy = (5) yz = (5)) xz = (5) x R z

Una clase de equivalencia est definida por

28

a = {xZ xa = (5)} = (5)+a

por lo que 0 = {xZ x0 = (5)} = (5) 1 = {xZ x1 = (5)} = (5)+1

2 = {xZ x2 = (5)} = (5)+2 3 = {xZ x3 = (5)} = (5)+3
4 = {xZ x4 = (5)} = (5)+4

no existiendo ms clases de equivalencia pues todo nmero entero al dividirlo por 5 da

un resto igual a 0, 1, 2, 3, 4 o 5. El conjunto cociente es por tanto

Z/(5) = {0,1 ,2 ,3 ,4}

La suma y producto en Z pueden extenderse al conjunto cociente Z/(n) mediante

x+y = x+y

xy = xy

Vamos a ver que estn bien definidas, es decir, que las clases resultantes, x+y y xy, no
dependen de los representantes elegidos para cada una de ellas:

x,x'x x'x = (n) (x'+y')(x+y) = (x'x)+(y'y) = (n) x'+y',x+yx

y,y'y y'y = (n) (x'y')(xy) = y'(x'x)+x'(y'y) = (n) (x'y'),(xy)x

Se demuestra fcilmente que (Z/(n),+,) tiene la misma estructura que (Z/(n),+,), es decir,
es un anillo conmutativo con elemento unidad. En efecto, la asociatividad, conmutatividad y
distributividad se deducen directamente de las mismas propiedades para la suma y producto en
Z. Por ejemplo,

x(y+z) = xy+z = x(y+z) = xy+xz = xy+xz = xy+xz

Anlogamente se prueba que el elemento neutro en la suma es la clase 0 y elemento neutro en

el producto es la clase 1.

Este anillo Z/(n) es un anillo de integridad si y slo si n es primo. En efecto, si n no es primo

existe una descomposicin en factores

n = ab 0 = n = ab = ab

por lo que en Z/(n) existen divisores de cero; recprocamente, si n es primo es anillo de

integridad ya que

ab = 0 ab = 0 ab = kn

y como n es primo, entonces es divisor de a o b, es decir, a = 0 o b = 0. Adems,

como Z/(n) es finito, entonces (Z/(n),+,) es un cuerpo pues para cualquier clase x Z/(n)*
existe inverso: en efecto, al ser Z/(n) finito ser Z/(n) = {x1,...,xn} y los productos

xx 1 ,..., xx n
 29

sern todos distintos, por ser K anillo de integridad, por lo que alguno ser

xxi = 1 x-1 = xi

Ejemplo III.5.2

En el conjunto cociente Z/(5) la suma y el producto tienen las siguientes tablas

+ 0 1 2 3 4 0 1 2 3 4
0 0 1 2 3 4 0 0 0 0 0 0
1 1 2 3 4 0 1 0 1 2 3 4
2 2 3 4 0 1 2 0 2 4 1 3
3 3 4 0 1 2 3 0 3 1 4 2
4 4 0 1 2 3 4 0 4 3 2 1

de modo que + es asociativa, conmutativa, existe neutro que es 0 y todo elemento

tiene opuesto, es decir, (Z/(5),+) es un grupo abeliano. El producto es asociativo,
conmutatitvo y distributivo y tiene elemento unidad que es la clase 1. Adems como 5
es primo, (Z/(5),+,) es un cuerpo.

Ejercicios

III.18.- Resolver las ecuaciones

5x = 6 , 4x+4 = 7

en Z/(13) y Z/(16),

III.18.- Resolver las ecuaciones

15x = 18 , 4x2+4x+7 = 0

en Z/(131).

III.6.- ALGEBRAS DE BOOLE

Otra estructura con dos l.c.i. es la que vamos a ver en esta Seccin, de gran importancia por
sus aplicaciones en tecnologas como la Electrnica, Mecnica de Fludos, y otras, y su
definicin viene sugerida por las propiedades que tiene la estructura de las partes de un
referencial con las operaciones de unin e interseccin. Si comparamos las propiedades de los
conectores lgicos conjuncin, disyuncin y negacin con las propiedades de la interseccin,
unin y complementario sobre el conjunto de las partes de un referencial E , vemos tal similitud
que cabe preguntarse si es posible construir una estructura ms general que admita a ambas
como casos particulares. Tal estructura existe, recibe el nombre de Algebra de Boole y su
definicin axiomtica es como sigue:

"Un lgebra de Boole es un conjunto A con dos l.c.i., que denotaremos por + y , y
llamaremos suma y producto, tales que verifican los axiomas
30

A1) Conmutatividad
a+b = b+a ab = ba

A2) Distributividad

a+(bc) = (a+b)(a+c) a(b+c) = (ab)+(ac)

A3) Existen dos elementos 0 y 1 tales que

a+0 = a a1 = a

A4) Para todo aA, existe un a'A, llamado complementario de a, tal que

a+a' = 1 aa' = 0

Estos axiomas hacen del lgebra de Boole una estructura que contiene como casos
particulares al lgebra de proposiciones y al lgebra de las partes de un referencial E, con las
equivalencias de notacin siguientes:

Algebra de Boole Algebra de Proposiciones Algebra de P (E)

_________________________________________________________________
a P A
+

a' P A'
1 E
0 C

aunque existen otras lgebras booleanas distintas.

Ejemplo III.6.1

Si en el conjunto B = {0,1} definimos dos l.c.i. mediante las tablas

+ 0 1 0 1
0 0 1 0 0 0
1 1 1 1 0 1

el resultado (B,+, ) es un lgebra de Boole, por verificar los cuatro axiomas que la
definen; por ejemplo, ambas son conmutativas, por ser simtricas las tablas, y

1' = 0 0' = 1

Este lgebra de Boole se denomina lgebra binaria y es de gran importancia en las

aplicaciones a la electrnica, como veremos ms adelante.
 31

De la definicin del lgebra de Boole se deducen las propiedades que figuran en la siguiente
Tabla III.6.1

TABLA III.6.1
________________________________________________________________

Propiedades de un lgebra de Boole

P1) Principio de dualidad :

"Todo resultado verdadero deducido de los axiomas anteriores

tiene un resultado dual, tambin verdadero, que se construye
intercambiando + por y 1 por 0"

P2) Idempotencia

a+a = a aa = a

P3) Elementos absorbentes

a+1 = 1 a0 = 0

P4) Absorcin

a+(ab) = a a(a+b) = a

P5) Asociativa

a+(b+c) = (a+b)+c a(bc) = (ab)c

P6) Unicidad del complementario

(a+x = 1 ax = 0) implican x = a'

P7) Involucin

(a')' = a

P8) Complementarios de 0 y 1

0' = 1 1' = 0

P9) Leyes de Morgan

(a+b)' = a'b' (ab)' = a'+b'

________________________________________________________________
32

Demostraciones:

P1) es inmediata ya que basta darse cuenta que los axiomas que definen el lgebra de Boole
son dobles, siendo una mitad dual de la otra; por ello toda propiedad de una frmula
deducida de los axiomas tiene una dual y adems, la dual de la dual vuelve a ser la primitiva
propiedad. Observese como todas las propiedades P2) a P9) son dobles, siendo una mitad
la dual de la otra, por lo que basta demostrar una de ellas, resultando la otra por el principio
de dualidad. Las demostraciones de las otras propiedades se basan en una ordenada
aplicacin de los axiomas y son como siguen:

P2) Idempotencia:

A3) A4) A2) A4) A3)

a+a = (a+a)1 = (a+a)(a+a') = a+(aa') = a+0 = a

P3) Elementos absorbentes:

A3) A4) A2) A3) A4)

a+1 = 1(a+1) = (a+a')(a+1) = a+(a'1) = a+a' = 1

P4) Ley de absorcin:

A1) A3) A1)A2) P3) A3)

a+ab = a+ba = 1a+ba = (1+b)a = 1a = a

P5) Asociatividad: la demostracin se obtiene en varias etapas

P4) P4) P4) A2)

a) a+a(bc) = a = a(a+c) = (a+ab)(a+c) = a+((ab)c)

A2) A4) A3) A2) A3)

b) a'+(a(bc)) = (a'+a)(a'+bc) = 1(a'+bc) = a'+(bc) = (a'+b)(a'+c) =

A4) A3) A2)

= (1(a'+b))(a'+c) = ((a'+a)(a'+b))(a'+c) = (a'+(ab))(a'+c) = a'+((ab)c)

Multiplicando a) y b)

(a+a(bc))(a'+a(bc)) = (a+(ab)c)(a'+(ab)c)

y simplificando ambos miembros de esta igualdad

(a+a(bc))(a'+a(bc)) = (a(bc)+a)(a(bc)+a') = a(bc)+(aa') = a(bc)+0 = a(bc)

(a+(ab)c)(a'+(ab)c) = ((ab)c+a)((ab)c+a') = (ab)c+(aa') = (ab)c+0 = (ab)c

quedando demostrada la asociatividad del producto

P6) Unicidad del complementario:

x = 1x = (a'+a)x = a'x+ax = a'x+0 = a'x = xa' = 0+xa' = aa'+xa'=

 33

= (a+x)a' = 1a'= a'

P7) Involucin : como a'+a = 1 y a'a = 0, segn la propiedad anterior

a = (a')'

P8) Complementarios de 1 y 0 : Segn P3) 0+1 = 1 y 10 = 0 , de donde, por P6)

0 = 1'

P9) Leyes de De Morgan : De los resultados

a) (ab)(a'+b') = aba'+abb' = 0b+a0 = 0+0 = 0

b) ab+a'+b'= a'+b'+ab = (a'+b'+a)(a'+b'+b) = (1+b')(1+a') = 1

aplicando el resultado P6) a ambas igualdades resulta

(ab)' = a'+b'

Si (A,+,) es un lgebra de Boole, definimos como funcin booleana de n variables una

aplicacin
f : An A
(x 1 ,...,x n ) f(x 1 ,...,x n )

Sobre el conjunto Fn(A) de las funciones booleanas en n variables sobre A pueden definirse las
operaciones de suma y producto del modo siguiente

Suma : f+g : An A
(x1,...,xn) (f+g)(x 1 ,...,x n ) = f(x 1 ,...,x n )+g(x 1 ,...,x n )

Producto : fg: An A
(x1,...,xn) (fg)(x 1 ,...,x n ) = f(x 1 ,...,x n ) g(x 1 ,...,x n )

pudiendo verificarse fcilmente que el hecho de ser (A,+,) un lgebra de Boole hace que
(F n(A),+ ,) tambin lo sea, siendo los elementos 0 y 1 las funciones

0: An A
(x 1 ,...,x n ) 0(x 1 ,...,x n ) = 0

1: An A
(x 1 ,...,x n ) 1(x 1 ,...,x n ) = 1

y la funcin complementaria de f

f': An A
(x 1 ,...,x n ) f '(x 1 ,...,x n ) = (f(x 1 ,...,x n ))'

Hay dos tipos especiales de funciones booleanas que juegan un papel importante en la teora
que son los mintrminos y Maxtrminos. Un mintrmino de orden n es una funcin
34

booleana del tipo

m: An A
(x1,...,xn) m(x1,...,xn) = x1z1 ... xnz n
donde z es una prima (') o nada y un Maxtrmino de orden n es una funcin booleana del tipo

M: An A
(x1,...,xn) M(x 1 ,...,x n ) = x 1z 1+ ... +x nz n

Ejemplo III.6.2

Si (A,+,) es un lgebra de Boole, en el lgebra booleana ( F3(A),+,) de las funciones

de tres variables sobre A, un mintrmino es, por ejemplo

m: A3 A
(x1 ,x 2 ,x 3 ) m(x 1 ,x 2 ,x 3 ) = x1 x 2'x 3'

y un Maxtrmino es

M: A3 A
(x 1 ,x 2 ,x 3 ) M(x 1 ,x 2 ,x 3 ) = x1'+x 2 +x 3

siendo ambos complementarios pues

m+M : A3 A
(x 1 ,x 2 ,x 3 ) (m+M)(x 1,x 2,x 3) = (x 1x 2' x 3')+(x 1'+x 2 +x 3 ) = 1

mM : A3 A
(x 1 ,x 2 ,x 3 ) (mM) (x 1 ,x 2 ,x 3 ) = (x 1 x 2' x 3')(x 1'+x 2 +x 3 ) = 0

ya que por las propiedades del lgebra de Boole

(x 1x 2'x 3')(x 1'+x 2 +x 3 ) = (x 1 x 2'x 3'x 1')+(x 1 x 2'x 3'x 2 )+(x 1 x 2'x 3'x 3 ) =
= ((x 1 x 1') x 3'x 2')+(x 1 (x 2'x 2 ) x 3')+(x 1 x 2'(x 3'x 3 )) =
= (0x3'x 1')+(x 1 0x 3')+(x 1 x 2'0) = 0+0+0 = 0

demostrndose anlogamente la otra igualdad.

Es evidente que, segn su definicin, hay en total 2 n posibles mintrminos y 2n posibles

Maxtrminos distintos. Todos ellos se representan por la misma letra, m para los mintrminos y
M para los Maxtrminos, afectada de un subndice construdo de acuerdo con los criterios:

"dada la frmula de un mintrmino, x 1z 1 ...xnzn escribamos un 0 si un z es ' y un 1 si no

lo es; la sucesin de ceros y unos resultante representa un nmero en el sistema de base
2 que, pasado a base 10, es el subndice del mintrmino"
z
"dada la frmula de un Maxtrmino, x 1 1 +...+x nzn , escribamos un 1 si un z es ' y un 0
 35

si no lo es; la sucesin de ceros y unos resultante representa un nmero en el sistema

de base 2 que, pasado a base 10, es el subndice del Maxtrmino"

Ejemplo III.6.3

En el lgebra (F3(A),+,) de funciones booleanas en tres variables los mintrminos son

mintrmino Representacin

x 1'x 2'x 3' 000 m0

x 1'x 2'x 3 001 m1
x 1'x 2 x 3' 010 m2
x 1'x 2 x 3 011 m3
x 1 x 2'x 3' 100 m4
x 1 x 2'x 3 101 m5
x 1 x 2 x 3 110 m6
x 1 x 2 x 3 111 m7

y los Maxtrminos

Maxtrmino Representacin

x 1'+x 2'+x 3' 111 M7

x 1'+x 2'+x 3 110 M6
x 1'+x 2 +x 3' 101 M5
x 1'+x 2+x 3 100 M4
x 1 +x 2'+x 3' 011 M3
x 1 +x 2'+x 3 010 M2
x 1 +x 2 +x 3' 001 M1
x1+x2+x3 000 M0

Las propiedades ms importantes de mintrminos y Maxtrminos figuran en la Tabla III.6.2

TABLA III.6.2
_________________________________________________________

Propiedades de los mintrminos y Maxtrminos

1) El complementario del mintrmino mi es el Maxtrmino Mi

2) La suma de los 2n mintrminos es igual a la funcin 1

2') El producto de los 2n Maxtrminos es igual a la funcin 0

3) El producto de dos mintrminos diferentes es 0

3') La suma de dos Maxtrminos diferentes es 1

_________________________________________________________
36

Demostraciones:

1) Sean
z
m i = x1 1 ... xnzn M i = x1t1+... + xntn

de manera que cuando zj es ' entonces tj no lo es y viceversa, segn la representacin que

hemos definido para mintrminos y Maxtrminos; por ello, tendremos

m iM i= x1z 1 ...x nzn( x1t1 +...+ xntn) = x1z 1 ...x nz n x 1t1 +...+ x1z 1 ...x nz n x ntn = 0+...+0 = 0

demostrndose de forma anloga que

mi +Mi = 1

2) Por induccin, definiendo para ello el conjunto

S = {nN la suma de todos los mintrminos en n variables es 1}

que verifica:

a) 1S pues x+x'= 1

b) mS m+1S pues los 2m+1 mintrminos en las variables x1,x2,...,xm,xm+1

son de dos tipos:

2m mintrminos con xm+1 y 2m mintrminos con xm' +1

por lo que la suma de todos ellos puede descomponerse en la forma

mintrminos = ( de los 2m mintrminos en xm' +1) +

+( de los 2m mintrminos en xm+1) =
= xm' +1( de los 2m mintrminos en x1,...,xm) +
+xm+1( de los 2m mintrminos en x1,...,xm) =
= xm' +11+x m+11 = xm'+1+x m+1 = 1

2') Aplicando a esta igualdad anterior las frmulas de De Morgan

2n 1 2n 1 2n 1 2n 1

mi = 1 ( m i)' = 1' (m i)' = 0 Mi = 0

i=0 i=0 i=0 i=0

3) Si dos mintrminos son distintos es porque existe, por lo menos, alguna variable xi que
aparece con ' en uno y no en el otro con lo que el producto de ambos es

m i m j = (... x i ...)(... x 'i ...) = xi x 'i (....) = 0(...) = 0

3') Aplicando de nuevo las frmulas de De Morgan a esta igualdad

 37

(m i m j)' = 0' m '+m

i 'j = 1 M i+M j = 1

Como consecuencia se obtiene que el complementario de una suma de mintrminos es la

suma de los mintrminos que no aparecen en ella, es decir,

2n 1 2n 1

( im i)' = (1 i)m i
i=0 i=0

siendo i una variable entera tal que i = 1 para el caso en que el mintrmino mi aparezca en la
suma y i = 0 en caso contrario.

Supongamos que fFn(A) es una funcin booleana que viene dada como sumas y productos
en las n variables x i y x i', es decir, que en su frmula no aparecen nada ms que variables;
vamos a demostrar que f puede expresarse como suma de mintrminos en la forma

2n 1

f= i mi con i = 1 o 0
i=0

Para ello bastar demostrar que cualquier variable xi es expresable como suma de mintrminos
en las n variables x 1 ,...,x n y que la suma, producto o complementario de una suma de
mintrminos es tambin una suma de mintrminos; en efecto, en primer lugar

x i = xi 1 = xi ( de los 2n1 mintrminos en x 1,...,x i,x i+1,...,x n) =

= de los 2n1 mintrminos en x1,...,xi1,xi,xi+1,...,xn

en segundo lugar

im i+ 'i mi = (i+ ')m

i i con (i+ ')i = 0 o 1

ya que mi+mi = mi

(im i) ( 'i m i) = (i ')m

i i con ( i ')i = 0 o 1

ya que mi mi = mi y mi mj = 0 y en tercer lugar si hacemos

2n 1 2n 1

S1 = i mi y S2 = (1 i) m i
i=0 i=0

el complementario de S1 es S2.

Asimismo se demuestra el resultado dual, segn el cual f es expresable de forma nica como
producto de Maxtrminos
2n 1 2n 1 2n 1 2n 1
(1 i)
i m i = f = (f ' ) '= (( i m i) ' ) ' = ( (1 i) mi) ' = M i
i=0 i=0 i=0 i=0

Cuando una funcin booleana est expresada como suma de mintrminos se dice que est
expresada en forma normal disyuntiva y si lo est como producto de Maxtrminos se
38

denomina forma normal conjuntiva.

Ejemplo III.6.4

Si A es un lgebra de Boole, para la funcin booleana en tres variables sobre A

f: A3 A
(x1 ,x 2 ,x 3 ) f(x 1 ,x 2 ,x 3 ) = x1 +x 2'x 3 +x 3'x 1'

la forma normal disyuntiva puede obtenerse segn el proceso constructivo que se desprende de
la demostracin anterior, que puede abreviarse del modo siguiente

f(x 1 ,x 2 ,x 3 ) = x1 +x 2'x 3 +x 3'x 1' = x1 11+1x 2'x 3 +x 1'1x 3' =

= x1 (x 2 +x 2')(x 3 +x 3')+(x 1 +x 1')x 2'x 3 +x 1'(x 2 +x 2')x 3' =
= x1 x 2 x 3 +x 1 x 2 x 3'+x 1 x 2'x 3 +x 1 x 2'x 3'+x 1 x 2'x 3 +x 1'x 2'x 3 +x 1'x 2 x 3'+x 1'x 2'x 3' =
= x1 x 2 x 3 +x 1 x 2 x 3'+x 1 x 2'x 3'+x 1 x 2'x 3 +x 1'x 2'x 3 +x 1'x 2 x 3'+x 1'x 2'x 3' =
= m7+m6+m4+m5+m1+m2+m0

En forma normal conjuntiva es, segn lo anterior

f(x 1 ,x 2 ,x 3 ) = M 3

Dos mintrminos se denominan contiguos cuando tienen todos los factores iguales excepto
uno de ellos que en un mintrmino est como tal y en el otro est el complementario.
Anlogamente se definen los maxtrminos contiguos.

La suma de dos mintrminos contiguos se pueden simplificar en la forma

Ax+Ax' = A(x+x') = A1 = A

Anlogamente cuatro mintrminos son contiguos si tienen todos los factores iguales excepto dos
de ellos y su suma puede simplificarse en la forma

Ax i x j +Ax 'x
i j + Ax i x '+A
j x 'x
i 'j = Axj +Ax 'j = A

obtenindose el producto de las variables que son iguales en los cuatro mintrminos; este
resultado puede ser generalizado a la suma de 2r mintrminos contiguos (con r < n).

Ejemplo III.6.5

Los mintrminos x 1'x 2'x 3 , x 1 x 2'x 3 , x 1'x 2 x 3 , x 1x 2x 3 son contiguos y su suma

es

x 1'x 2'x 3 +x 1 x 2'x 3 +x 1'x 2 x 3 +x 1 x 2 x 3 = x 3

Particularicemos todos estos resultados generales cuando usamos como lgebra de Boole de
 39

base el lgebra binaria B. Una funcin booleana de n variables ser una aplicacin

f: Bn B
(x 1 ,...,x n ) f(x 1 ,...,x n )

donde la imagen de cualquier n-pla ser 0 o 1, pues stos son los nicos elementos de B; la
asignacin de 0 o 1 a todas las n-plas forma la denominada tabla de verificacin de la
funcin, anloga a la tabla de verdad de una frmula proposicional, que es un caso particular de
funcin booleana sobre el lgebra binaria B = {0,1}. En particular, la tabla de verificacin de un
mintrmino m j estar formada por todo 0 excepto un 1 en la fila correspondiente a la
representacin en base 2 del subndice j del mintrmino; y anlogamente para un Maxtrmino
M j , que tendr una tabla de verificacin formada por todo 1 excepto un 0 en la fila
correspondiente a la representacin en base 2 del subndice j.

Ejemplo III.6.5

La tabla de verificacin del mintrmino en tres variables sobre un lgebra de Boole

binaria

m 5 = x1 x 2'x 3

es la siguiente

x 1 x 2 x 3 (x 1 x 2') x 3

0 0 0 0 1 0
0 0 1 0 1 0
0 1 0 0 0 0
0 1 1 0 0 0
1 0 0 1 1 0
5 > 1 0 1 1 1 1
1 1 0 0 0 0
1 1 1 0 0 0

Para el Maxtrmino

M 5 = x1'+x 2 +x 3'

ser

x1 x2 x3 (x1' +x 2 ) + x 3'

0 0 0 1 1 1 1
0 0 1 1 1 1 0
0 1 0 1 1 1 1
0 1 1 1 1 1 0
1 0 0 0 0 1 1
5 > 1 0 1 0 0 0 0
1 1 0 0 1 1 1
1 1 1 0 1 1 0
40

y para la funcin

f: B3 B
(x1 ,x 2 ,x 3 ) f(x 1 ,x 2 ,x 3 ) = x1 +x 2'x 3 +x 3'x 1'

tendremos

x1 x2 x3 (x1+ x2' x 3 ) + x 3' x 1'

0 0 0 0 1 0 1 1 1 1
0 0 1 1 1 1 1 0 0 1
0 1 0 0 0 0 1 1 1 1
0 1 1 0 0 0 0 0 0 1
1 0 0 1 1 0 1 1 0 0
1 0 1 1 1 1 1 0 0 0
1 1 0 1 0 0 1 1 0 0
1 1 1 1 0 0 1 0 0 0

En el caso de una funcin de n variables sobre el lgebra binaria es sencillo obtener a partir
de su tabla de verificacin la forma normal conjuntiva o disyuntiva. Dada la funcin

f: Bn B
(x 1 ,...,x n ) f(x 1 ,...,x n )

pongamos f(x 1 ,x 2 ,...,x n ) = x1 r+x1' s, siendo r y s dos funciones booleanas, que podemos
calcular haciendo

x1 = 1 x1' = 0 f(1,x 2,...,x n) = 1r+0 s = r

x1 = 0 x1' = 1 f(0,x 2 ,...,x n ) = 0r+1s = s

por lo cual

f(x 1 ,x 2 ,...,x n ) = x1 f(1,x 2 ,...,x n )+x 1'f(0,x 2 ,...,x n )

2 ,...,x n ) = x2 r+x 2's, calculando ahora r y s haciendo como antes

Anlogamente para f(1,x

x2 = 1 x2' = 0 f(1,1,...,x n) = 1r+0s = r

x2 = 0 x2' = 1 f(1,0,...,x n) = 0r+1s = s

por lo cual

f(1,x 2 ,...,x n ) = x2 f(1,1,...,x n )+x 2'f(1,0,...,x n )

y para f(0,x 2 ,...,x n ) poniendo f(0,x 2 ,...,x n ) = x2 r+x'2s, calculando ahora r y s, haciendo

x2 = 1 x2' = 0 f(0,1,...,x n) = 1r+0s = r

x2 = 0 x2' = 1 f(0,0,...,x n) = 0r+1s = s
 41

por lo cual

f(0,x 2 ,...,x n ) = x2 f(0,1,...,x n )+x 2'f(0,0,...,x n )

Reiterando el proceso obtendremos al final

f(x 1 ,x 2 ,...,x n ) = x1 x 2 x 3 ... x n f(1,1,1,...,1)+

+x1 x 2 x 3 ... x n'f(1,1,1,...,0)+
......................
+x1'x 2 x 3 ... x n'f(0,1,1,...,0) +
......................
......................
+x1'x 2'x 3' ... x n'f(0,0,0,...,0)

Si ponemos

0 = f(0,0,...,0,0)
1 = f(0,0,...,0,1)
2 = f(0,0,...,1,0)
..............
2 n1 = f(1,1,1,...,1)

siendo el subndice de cada la expresin decimal del nmero que, en base 2, forman los 0 y 1
de la n-pla correspondiente, tendremos
n
2 1

f( x 1 ,x 2 ,...,xn) = i mi
i=0

que es la forma normal disyuntiva de f; en ella los i iguales a 1 sern los que tienen por
subndice un nmero en base 10 que en base 2 es la n-pla cuya imagen en la tabla de
verificacin es 1. Como producto de Maxtrminos ser

2n 1
(1 i)
f(x 1 ,x 2 ,..., xn ) = Mi
i=0

Ejemplo III.6.6

Segn lo anterior, la forma normal, conjuntiva o disyuntiva, de una funcin

booleana se obtendr a partir de la posicin de los 0 y 1 de su tabla de verificacin.
Para la funcin de cuatro variables

f(x 1 ,x 2 ,x 3 ,x 4 ) = x1'x 2 x 3'+x 4 x 1

42

construiremos su tabla de verificacin

x1 x2 x3 x4 ((x1' x 2 ) x 3')+(x 4 x 1 )

0 0 0 0 1 0 0 1 0 0
0 0 0 1 1 0 0 1 0 0
0 0 1 0 1 0 0 0 0 0
0 0 1 1 1 0 0 0 0 0
0 1 0 0 1 1 1 1 1 0
0 1 0 1 1 1 1 1 1 0
0 1 1 0 1 1 0 0 0 0
0 1 1 1 1 1 0 0 0 0
1 0 0 0 0 0 0 1 0 0
1 0 0 1 0 0 0 1 1 1
1 0 1 0 0 0 0 0 0 0
1 0 1 1 0 0 0 0 1 1
1 1 0 0 0 0 0 1 0 0
1 1 0 1 0 0 0 1 1 1
1 1 1 0 0 0 0 0 0 0
1 1 1 1 0 0 0 0 1 1

con lo que

f = m4+m 5+m 9+m 11+m 13+m 15

y en Maxtrminos

f = M0 M 1 M 2 M 3 M 6 M 7 M 8 M 10 M 12 M 14

Del concepto de igualdad de funciones se deduce que dos funciones booleanas de n variables
sobre {0,1} sern iguales cuando coincidan las imgenes de cada elemento, es decir, cuando
tengan iguales sus tablas de verificacin. Al proceso de partiendo de una funcin booleana,
obtener otra igual de expresin ms sencilla recibe el nombre de simplificacin y se realiza en
dos etapas:

1) expresar la funcin en forma normal disyuntiva como suma de mintrminos (o

conjuntiva como producto de maxtrminos)

2) simplificar las sumas de mintrminos contiguos (o los productos de maxtrminos

contiguos).

Un proceso tan poco preciso como ste es natural que no d un resultado nico, es decir, que
la expresin simplificada de una funcin booleana no ser nica. Vemoslo sobre la funcin

f : {0,1}3 {0,1}
(x1 ,x 2 ,x 3 ) f(x 1 ,x 2 ,x 3 ) = x1 x 2 x 3'+x 2 x 3'+x 1 x 2'

1) Expresar la funcin en forma normal disyuntiva, como suma de mintrminos, se

consigue fcilmente construyendo su tabla de verificacin, que es
 43

x 1 x 2 x 3 ((x 1 x 2) x 3' + x 2 x 3') + x 1 x 2'

0 0 0 0 0 1 0 0 1 0 0 1
0 0 1 0 0 0 0 0 0 0 0 1
0 1 0 0 0 1 1 1 1 1 0 0
0 1 1 0 0 0 0 0 0 0 0 0
1 0 0 0 0 1 0 0 1 1 1 1
1 0 1 0 0 0 0 0 0 1 1 1
1 1 0 1 1 1 1 1 1 1 0 0
1 1 1 1 0 0 0 0 0 0 0 0

que nos permite escribir, fijndonos en las posiciones de los 1 en la columna final

f(x 1,x 2,x 3) = m2+m 4+m 5+m 6 = x1'x 2 x 3' +x 1 x 2'x 3'+x 1 x 2'x 3 +x 1 x 2 x 3'

2) Aplicamos el esquema de simplicacin de mintrminos contiguosque nos permite

obtener

f(x 1 ,x 2 ,x 3 ) = x2 x 3'(x 1 +x 1')+x 1 x 2'(x 3 +x 3') = x2 x 3' +x 1 x 2'

Esta expresin simplificada no es mucho ms simple que la frmula de f, por lo que este
procedimiento de simplificacin es, para este caso, poco eficiente pero tiene la ventaja de poder
ser desarrollado de forma automtica mediante unos esquemas generales denominados
diagramas de Karnaugh consistentes en colocar los mintrminos de la forma normal
disyuntiva de f en un casillero de 2 n celdas de forma apropiada para poder aplicar a las casillas
contiguas la frmula de simplificacin anterior.

En el caso n = 3 los mintrminos se colocan segn indica el diagrama

x1x 2
x3 00 01 11 10

0 m0 m2 m6 m4

1 m m m m
1 3 7 5

en el que en dos casillas contiguas aparecen mintrminos contiguos que se diferencian

slamente en una variable, que en uno aparece complementada y en el otro sin complementar.
As, cada casilla posee tres contiguas, siendo las que directamente aparecen en el diagrama, que
se supone enrrollado en forma de cilindro de manera que, por ejemplo, m4 y m0 son contiguas,
al igual que m 1 y m5. De este modo conseguimos que dos casillas contiguas se simplifiquen
dando lugar al producto de los factores que son iguales en ambas, con ' si son 0 y, de forma
anloga, si existen cuatro casillas contiguas dan lugar a la nica variable comn, con ' si es 0

Ejemplo III.6.7

Dada la funcin booleana de tres variables

f = m2+m 6+m 7 = x1'x 2 x 3'+x 1 x 2 x 3'+x 1 x 2 x 3

la representamos en el casillero poniendo un 1 en cada casilla correspondiente a los

44

mintrminos que contiene la expresin de f y agrupando los contiguos, teniendo en

cuenta que un 1 determinado puede estar en varias agrupaciones, segn justifica la
propiedad idempotente.
x1x 2
x3 00 01 11 10

0 1 1

1 1

Los dos contiguos que estn en la 1 fila determinan la simplificacin

x 1'x 2 x 3'+x 1 x 2 x 3' = (x 1'+x 1 )x 2 x 3' = x2 x 3'

y los contiguos de la 3 columna

x 1 x 2 x 3'+x 1 x 2 x 3 = x1 x 2 (x 3'+x 3 ) = x1 x 2

En definitiva, hemos hecho

f = x1'x 2 x 3'+x 1 x 2 x 3'+x 1 x 2 x 3 = x2 x 3'+x 1 x 2

El diagrama de Karnaugh de los mintrminos para cuatro variables es el que sigue:

x1x 2
x3 x 4 00 01 11 10

00 m0 m4 m12 m8

01 m m m m
1 5 13 9

11 m m m m
3 7 15 11

10 m2 m6 m14 m10

teniendo cada casilla cuatro contiguas; para las casillas interiores lo son las que directamente
aparecen en el diagrama y para las casillas de las lneas de los bordes se considera el diagrama
arrollado en doble cilindro, de modo que, por ejemplo, son contiguos los mintrminos m 4 y m 6
y tambin m 2 y m10. Cuatro mintrminos que sean contiguos es porque tienen dos factores
iguales difiriendo en los otros dos , que figuran con y sin ' ; la simplificacin de los cuatro da
por resultado el producto de los dos factores comunes, con ' si son 0; anlogamente para ocho
casillas contiguas que dan lugar al nico factor comn, con ' si es 0.

Ejemplo III.6.8

La funcin booleana de cuatro variables cuya forma normal disyuntiva es

f = m3+m 6+m 7+m 8+m 9+m 10+m 11+m 12+m 13+m 14+m 15
 45

tiene por representacin en diagrama de Karnaugh

x1x 2
x3 x 4 00 01 11 10

00 1 1

01 1 1

11 1 1 1 1
1 1 1
10

por lo que la funcin simplificada es f = x1+x2x3+x3x4

El mtodo de Karnaugh es de aplicacin prctica para simplificar funciones de un mximo de

4 variables, pero, cuando dicho nmero es mayor es necesario recurrir a otros mtodos, de los
cuales el de Quine-McCluskey es el de uso ms corriente.

Este metodo sirve para simplificar funciones booleanas en n variable supuestas expresadas
previamente como suma de mintrminos. Se basa en el convenio que hemos establecido de
asignar un nmero decimal a cada mintrmino; sabemos que si dos mintrminos son contiguos,
sus subndices correspondientes difieren en una potencia de 2; en efecto, si los mintrminos se
diferencian en la variable xi sern de la forma

A 1xi A 2 A 1x'i A 2

cuyos subndices sern

B11B2 B10B2

que en base 10 tienen por diferencia

(p1+12n-i+p2)(p1+02n-i+p2) = 2n-i

por lo que se hace corresponder a cada variable xi la potencia 2n-i. Por ello, pueden agruparse
en un solo sumando al cual le falta la variable correspondiente a dicha potencia. A su vez, si dos
sumandos a los cuales les falte la misma variable, considerados como mintrminos en n1
variables, difieren en una potencia de dos, pueden ser agrupados en un nuevo trmino el cual le
falte la variable correspondiente a dicha potencia. Repitiendo este proceso se logra obtener todos
los sumandos primos, que son aquellos que contienen el mximo nmero de mintrminos de la
funcin y no existe ningn mintrmino de menor complejidad que los contenga.

Aunque el proceso que vamos a describir es general, para una mejor comprensin vamos a
ilustrarlo sobre la funcin booleana en cuatro variables a, b, c y d, dada por

f(a,b,c,d) = m 0+m 1+m 3+m 4+m 7+m 8+m 11+m 12+m 13+m 15

Asignemos a cada variable la correspondiente potencia de 2: a 23, b 22, c 21, d 20 y

46

actuemos en la forma que indican las siguientes fases:

Fase 1) Se forma una tabla en la que los mintrminos se ordenan en grupos segn tengan 0,
1, 2, 3 o 4 variables sin complementar.

Fase 2) Partiendo de esta primera tabla, se forma una segunda comparando los mintrminos
que pertenecen a grupos adyacentes, grupo 0 con grupo 1, grupo 1 con grupo 2,..., etc, y
agrupando en un solo mintrmino aquellos cuya diferencia del perteneciente al grupo i+1 con
el del grupo i sea una potencia de dos positiva; cada variable eliminada se sustituye por un *.
Todos los trminos de la primera tabla que han sido utilizados para realizar la segunda se
marcan con una cruz. En esta segunda tabla se crea una columna en la cual se indica la
diferencia entre los mintrminos que forman parte de cada elemento de la misma.

Fase 3) A partir de esta segunda tabla se forma una tercera agrupando los mintrminos
pertenecientes a grupos adyacentes cuya diferencia es igual y que adems difieren entre s en
una potencia de dos. Por ejemplo, los mintrminos 40 y 128 de la fase 2 se pueden
agrupar entre s porque su diferencia es la misma, 4, lo que indica que les falta la misma
variable, y ademas difieren en una potencia de dos positiva, pues 80 = 124 = 8, lo que
indica que difieren en la situacin de complementacin de la variable a . En esta tercera tabla
se indican en una segunda columna ambas diferencias, la interna de cada grupo y la que
existe entre grupos que unen. Por ejemplo, la diferencia del grupo 12840 es (4,8) que
indica que le faltan las variables b y a.

El proceso se contina realizando tablas sucesivas hasta que realizar todas las agrupaciones.

Fase 1 Fase 2 Fase 3

mint. nmero mint. nmero dif. mint. nmero dif.
___________________ ___________________________ _______________________________
a'b'c'd' 0 a'b'c'* 10 1 * *c'd' 12840 (4,8)
___________________ a'*c'd' 40 4 * *c'd' 12480 (8,4)
a'b'c'd 1 *b'c'd' 80 8 _______________________________
a'b c'd' 4 __________________________ no hay
a b'c'd' 8 a'b'*d 31 2 _______________________________
___________________ *b c'd' 124 8 * *c d 151173 (4,8)
a'b'c d 3 a *c'd' 128 4 * *c d 157113 (8,4)
a b c'd' 12 __________________________
___________________ a'*c d 73 4
a'b c d 7 *b'c d 113 8
a b'c d 11 a b c'* 1312 1
a b c'd 13 __________________________
____________________ *b c d 157 8
abcd 15 a *c d 1511 4
a b *d 1513 2

Debido a que una expresin formada por el agrupamiento de cuatro mintrminos contiguos
puede obtenerse de dos formas distintas, se obtienen en la tercera tabla todos los mintrminos
por duplicado con diferente ordenacin. De ellos solamente es necesario considerar uno, por
ejemplo, aquel en que los mintrminos estan ordenados en orden decreciente.

Una vez obtenidas todas las tablas, consideramos todos los trminos primos que no han sido
marcados con una cruz; se denominan implicantes primos y son los que sumados van a
formar parte de la frmula simplificada de la funcin. En nuestro caso son
 47

10, 31, 1312, 1513, 12840, 151173

Ahora es necesario elegir la mnima combinacin de estos implicantes primos. Para ello
seguiremos los siguientes pasos:

1) Construiremos una tabla con una columna para cada mintrmino de la forma normal
original de la funcin y una fila por cada implicante primo.

implicantes primos m0 m1 m3 m4 m 7 m 8 m11 m12 m13 m15

a' b' c' 10
a' b' d 31
a b c' 1312
bcd 1513
c' d' 12840
c d 151173

2) En la fila correspondiente a un determinado implicante primo, marcaremos la columna

cuyo nmero de mintrmino est contenido en el del implicante.

3) Sealaremos las columnas que contengan una sola marca, ya que el implicante primo
correspondiente ser esencial, es decir, ha de formar parte de la funcin. Por tanto, todos los
mintrminos includos en ese implicante primo esencial quedan realizados por este. En el
ejemplo, los trminos 12840 y 151173 son esenciales y por tanto, al formar parte de
la expresin final, quedan realizados los mintrminos 0, 3, 4, 7, 8, 11, 12 y 15.

4) Elegiremos la combinacin ms sencilla de los implicantes primos restantes que realiza el

resto de los mintrminos. Para ello realizaremos una tabla reducida, cuyas columnas son los
mintrminos que todava no han sido realizados y cuyas filas corresponden a los
mintrminos primos no esenciales.

Como puede observarse, existen cuatro formas de combinar los mintrminos primos

10 y 1312 10 y 1513 31 y 1312 31 y 1513

y las expresiones ms reducidas de la funcin son en nuestro caso

f = (12840)+(151173)+(10)+(1312)

f = (12840)+(151173)+(10)+(1513)

f = (12840)+(151173)+(31)+(1312)

f = (12840)+(151173)+(31)+(1513)

Finalmente obtendremos la frmula de la funcin partiendo de las expresiones numricas

anteriores. Por tanto las frmulas mnimas de la funcin son
48

f(a,b,c,d) = c'd'+c d+a'b'c'+a b c'

f(a,b,c,d) = c'd'+c d+a'b'c'+b c d

f(a,b,c,d) = c'd'+c d+a'b'd+a b c'

f(a,b,c,d) = c'd'+c d+a'b'd+b c d

Un caso particular de algebra de Boole binaria es la denominada algebra de circuitos,

base de toda la electrnica y de la cual vamos a ver sus primeros conceptos. Llamaremos
interruptor a un dispositivo susceptible de dos estados: abierto, cuando no deja pasar una
corriente elctrica, que representaremos por 0, o cerrado, si deja pasar la corriente, que
representaremos por 1. Dos interruptores a y b pueden conectarse de dos maneras:
a
en paralelo, que representaremos por a+b :
b
en serie, que representaremos por ab : a b

Segn pase corriente a travs de a o b, tenemos las siguientes situaciones

+ 0 1 0 1
0 0 1 0 0 0
1 1 1 1 0 1

es decir, estamos en un lgebra de Boole binaria en la que el elemento 0 es el estado del

interruptor que est siempre abierto, el 1 es el estado del interruptor que est siempre cerrado y
para un interruptor x el complementario x' es aquel que est cerrado si x est abierto y
viceversa. Una funcin booleana de n variables sobre esta lgebra es un conjunto de n
interruptores, conectados en serie o en paralelo, formando lo que denominaremos un circuito
elctrico, que deja pasar o no corriente segn el estado de cada interruptor y de como han sido
conectados. Recprocamente, un circuito de n interruptores da lugar a una funcin booleana de n
variables, denominada funcin de encendido, que toma valores 0 o 1, para cada estado de
sus interruptores, segn pase corriente o no a travs de l.

Ejemplo III.6.9
x1

El circuito con tres interruptores x '1 x' x tiene por

2 3

x1 x2 x '3
funcin booleana asociada
f(x 1 ,x 2 ,x 3 ) = x1 +x 1'x 2'x 3 +x 1 x 2 x 3'

cuya tabla de verificacin es

 49

x1 x2 x3 x1 + (((x1' x 2') x 3 ) + ((x 1 x 2 ) x 3')))

0 0 0 0 1 1 1 0 0 0 0 0 1
0 0 1 1 1 1 1 1 1 1 0 0 0
0 1 0 0 1 0 0 0 0 0 0 0 1
0 1 1 0 1 0 0 0 1 0 0 0 0
1 0 0 1 0 0 1 0 0 0 0 0 1
1 0 1 1 0 0 1 0 1 0 0 0 0
1 1 0 1 0 0 0 0 0 1 1 1 1
1 1 1 1 0 0 0 0 1 0 1 0 0

que indica que pasar corriente a travs del circuito en los casos

x1 x2 x3

ab ab ce
ce ab ab
ce ab ce
ce ce ab
ce ce ce

donde ab significa abierto y ce cerrado

Dos circuitos son equivalentes si ambos dejan pasar o no corriente para los mismos
estados de sus interruptores, por lo que tendrn la misma funcin de encendido. Simplificar un
circuito es hallar otro equivalente a l ms sencillo, para lo cual basta simplificar su funcin de
encendido, como funcin booleana; para ello se sigue el proceso siguiente: 1) hallar la funcin
de encendido, 2) simplificar esta funcin y 3) construir el circuito que represente la funcin
simplificada

Ejemplo III.6.10

Una mquina indicadora de mayora de votos se instala en una determinada compaa

en la que existen un presidente y tres vicepresidentes; las decisiones se toman por
mayora simple, teniendo cada uno de ellos un voto y en caso de empate decide el voto
del presidente. Se trata de disear un circuito elctrico para tal mquina. Representando
por x1 el interruptor accionado por el presidente y por x2,x3,x4 los correspondientes a
los vicepresidentes, la funcin de encendido tendr por tabla de verificacin

x1 x2 x3 x4 f

0 0 0 0 0
0 0 0 1 0
0 0 1 0 0
0 0 1 1 0
0 1 0 0 0
0 1 0 1 0
0 1 1 0 0
0 1 1 1 1
1 0 0 0 0
50

1 0 0 1 1
1 0 1 0 1
1 0 1 1 1
1 1 0 0 1
1 1 0 1 1
1 1 1 0 1
1 1 1 1 1

y su expresin en mintrminos ser

f = m7+m 9+m 10+m 11+m 12+m 13+m 14+m 15

y el correspondiente diagrama de Karnaugh es

x1x 2
x3 x 4 00 01 11 10

00 1

01 1 1

11 1 1 1

1 1
10

la expresin simplificada

f = x1 x 3 +x 1 x 4 +x 1 x 2 +x 2 x 3 x 4 = x 1 (x 2 +x 3 +x 4 )+x 2 x 3 x 4

y el circuito
x2
x1 x3
x4

x2 x 3 x4

Ejercicios

III.20.- Demostrar que el conjunto S = {a,b,c,d} con las operaciones definidas por

a b c d a b c d

a a b c d a a a a a
b b b d d b a b a b
c c d c d c a a c c
d d d d d d a b c d

es un lgebra booleana.
 51

III.21.- Simplificar, utilizando las propiedades del lgebra de Boole, las expresiones

a) x1 +x 1'(x 2'x 3 x 4 +x 3'+x 4 )+x 2 x 4'

b) x1x3'+x 2 x 4 +x 1 x 3 x 4'+x 2'x 4
c) (x1x1'+x 1 x 2'+x 1'x 2'+x 2'x 2')(x 1'+x 2 )

Suponiendo que estas funciones pertenezcan al lgebra booleana de los circuitos,

representar los circuitos simplificados.

III.22.- Un tribunal de exmenes est formado por tres miembros. El alumno aprueba por
mayoria simple de votos. Si cada miembro del tribunal tiene ante s un interruptor que
lo aprieta si considera que el alumno debe aprobar, disear un circuito de modo que se
encienda una lmpara si el alumno es aprobado. Escribir la tabla de verdad y el
esquema lo ms simplificado posible del circuito, razonndolo.

III.23.- Simplificar el siguiente circuito :

x' x2
1

x1 x2 x' 3

x1 x2 x3

III.24.- Unos conmutadores x e y independientemente controlan una bomba inyectora de aceite

para horno. Un tercer conmutador z est controlado por un par termoelctrico de tal
manera que se cierra automticamente cuando el piloto se apaga. Disear un circuito
para que con los conmutadores x o y se pueda conectar o desconectar la bomba,
excepto que cuando el piloto est apagado no pueda ser conectada.
52

EJERCICIOS DE RECAPITULACION

III.25.- La ley de composicin de resistencias en paralelo es

1 = 1 + 1
R R1 R2

averiguar que propiedades cumple.

III.26.- En la teora de la relatividad restringida, la ley de composicin de velocidades v 1, v 2 en

la misma direccin viene dada por

v 1 +v 2
v 1 v 2 =
v v
1+ 1 2
c2
donde c es la velocidad de la luz. Estudiar sus propiedades.

III.27.- Probar que el conjunto G = {f1,f2,f3,f4,f5,f6} cuyos elementos son las aplicaciones

x1
f1(x) = x f2(x) = 1x f3(x) =
x
1 1 x
f4(x) = f5(x) = f6(x) =
x 1x x1

con fi de R{0,1} en R, tiene estructura de grupo respecto la composicin de

aplicaciones.

III.28.- Estudiar la estructura (R,) con xy = x+yxy. Para qu valores de a tiene solucin la
ecuacin xx = a. Resolverla cuando sea posible.

III.29.- Demostrar que si en un grupo (G,) se verifica

(xG) (xx = e)

entonces G es abeliano.

III.30.- En el conjunto Z se define la siguiente operacin:

ab = a+b3

Estudiar la estructura (Z,).

III.31.- Probar que G = ]1,1[ R es grupo respecto a la operacin

x+y
xy=
1 + xy
 53

Estudiar las soluciones de la ecuacin x2 = a, con aG.

III.32.- Sea (G,) un grupo. Definimos en G la relacin binaria

a R b si y slo si (xG) (a = xbx -1)

a) Demostrar que R es de equivalencia.

b) Estudiar si hay alguna clase de equivalencia que sea subgrupo.
c) A qu se reduce R si el grupo es abeliano?.

III.33.- Demostrar que todo grupo con 4 elementos es conmutativo.

III.34.- Demostrar que si G es un grupo de n elementos, entonces (xG) (xn = e).

III.35.- En el conjunto C de aplicaciones de R en R de la forma

Fab(x) = ax+b con aR*

se define la operacin

(Fcd o Fab)(x) = Fcd (Fab(x))

Ver en qu casos forma grupo respecto de dicha operacin

a) Si a,b,c,d N.
b) Si a,b,c,d Z.
c) Si a,b,c,d Q.

Demostrar que las aplicaciones de la forma F1b(x) forman un subgrupo de C.

III.36.- En Z definimos dos operaciones

ab = a+b6 ab = ab+a+b+42

a) Encontrar el valor de para que (Z,,) sea anillo.

b) Averiguar si hay divisores de cero.

III.37.- Construir las tablas de sumar y multiplicar de los anillos Z/(5), Z/(6), Z/(8). Buscar
los divisores de 0 y los elementos inversibles.

III.38.- Sea = {1,2}; sobre el conjunto P () de las partes de definimos las siguientes
operaciones :

AB = (A B) (A B)'
AB = A B

a) Construir las tablas de sumar y multiplicar.

54

b) Estudiar la estructura (P ( ),,).

c) En el caso de ser anillo, buscar los ideales.

III.39.- Sea (A,+,) un anillo conmutativo. En el conjunto AA se definen las siguientes

operaciones :

(a,b)(m,n) = (a+m,b+n)
(a,b)(m,n) = (am,0)

La estructura (AA,,) es un anillo?.

III.40.- En el conjunto QQ definimos las operaciones

(a,b)(c,d) = (a+c,b+d)
(a,b)(c,d) = (ac,bd)

a) Demostrar que (QQ,,) es un anillo conmutativo con divisores de cero.

b) Demostrar que el conjunto I = {(a,0) | aQ} es un ideal.

III.41.- Sea (A,+,) un anillo.

1) Si A no es conmutativo, averiguar el tipo de estructura que es (ZA,+,) con las

operaciones
(m,a)+(n,b) = (m+n,a+b)
(m,a)(m,b) = (mn,mb+na+ab)

2) Si A es conmutativo, dado el elemento fijo aA, demostrar que el conjunto de

elementos I = {xA xa = 0} es un ideal de A.

III.42.- Sea el anillo Z/(15) y los subconjuntos

A = {0,5,10} B = {0,3,6,9,12}

a) Averiguar si A y B son subanillos. Son cuerpos?.

b) Siendo D el conjunto de los divisores de cero de Z/(15) y G el conjunto de los
elementos de Z/(15) que son suma de dos elementos de D averiguar si (G,) es grupo.

III.43.- Sea el conjunto ZZ con las leyes

(x,y) (x',y') = (x+x',y+y')

(x,y) (x',y') = (xx',xy'+yx')

a) Es anillo?. En caso afirmativo qu tipo de anillo es?,tiene divisores de cero?,es

cuerpo?.
b) El conjunto A = {(0,b) | bZ} es un ideal?.

III.44.- Demostrar que si I1 y I2 son ideales de un anillo (A,+,), su interseccin I 1 I 2

 55

tambin es un ideal.

III.45.- Sea Z( 3) = {a+b 3 a,bZ} R. Dar una condicin suficiente para que un
elemento de Z( 3 ) sea inversible y la expresin del inverso, supuesta verificada la
condicin. Escribir algunos elementos inversibles distintos del 1.

III.46.- Sea el conjunto Q( 2 ) = {a+b 2 a,b Q}

a) Demostrar que Q( 2) es un cuerpo.

b) En Q( 2) resolver la ecuacin z2 = 2212 2.

III.47.- En un lgebra de Boole definimos la relacin binaria

a R b si y solo si a+b = b

a) Demostrar que es de orden y hallar el primer y el ltimo elemento.

b ) Comprobar que
ab R a y bc R (ab+a'c)
c) Demostrar que
a R b ab = a
a R b a'+b = 1
d) En el caso del lgebra de Boole de ( P (E),,) la relacin binaria definida
anteriormente, es alguna relacin conocida?.

III.48.- Demostrar que si a,b,c son elementos de un lgebra de Boole que verifican

ab = ac y a+b = a+c entonces b = c

III.49.- En una habitacin de tres estudiantes se desea instalar un circuito de interruptores que
controle la luz del techo de la habitacin, de tal forma que se encienda cuando lo
decide la mayora, es decir, cuando como mnimo dos estudiantes lo quieran. Disear
el circuito.

III.50.- Un viajero desea atravesar un ro con un lobo, una cabra y una col. En el bote caben
l y uno de las otros tres, no pudiendo dejar slos en una misma orilla ni a la cabra
con la col ni al lobo con la cabra. Construir un circuito con cuatro interruptores de
forma que se encienda una bombilla cuando se d una situacin no permitida.
Extender el problema a tres hombres con sus tres mujeres que deben atravesar un ro
en una barca para dos personas, de forma que ninguna mujer est sin su marido en
compaa de otro hombre.
56

BIBLIOGRAFIA

Condamine M. (1971). Algbre. Delagrave. Pars.

de Burgos J. (1988). Curso de Algebra y Geometra. Alhambra. Madrid.

Dixmier J. (1974). Matemticas Generales. Editorial Aguilar. Madrid.

Godement R. (1974). Algebra. Tecnos. Madrid.

Hoffmann R., Kunze R. (1974). Algebra Lineal. Prentice. Madrid.

Lentin A., Rivaud J. (1973). Algebra Moderna. Aguilar. Madrid.

Noble B., Daniel J.W. (1988). Applied Linear Algebra. Prentice Hall. London.

Puerta F. (1986). Algebra lineal. Marcombo. Barcelona.

Queysanne M. (1985) Algebra. Vicens-Vives. Barcelona.

Rorres A., Anton H. (1979). Aplicaciones del Algebra Lineal. Limusa. Mjico.

Sainz M.A., Serarols J.L. Prez A.M. (1994). lgebra. Escuela Politcnica Superior. Gerona.

Strang G. (1982). Algebra Lineal y sus aplicaciones. Fondo Educativo Interamericano. Mjico.

Torregrosa J.R., Jordan C. (1987). Algebra Lineal y sus aplicaciones. McGraw-Hill. Madrid.

Whitsitt J.E.. (1975). Algebra booleana y sus aplicaciones. CECSA. Mjico.