Elementos Algebra - Cap1 - Final - 100310 120310

ALBERTO SOTO AGUILAR
ELEMENTOS
DE
LGEBRA MODERNA
UNIVERSIDAD ESTATAL A DISTANCIA
2010
Elementos de lgebra
1
Edicin
acadmica
Virginia Ramrez
Cascante
Encargado de
ctedra
Hugo Barrantes
Campos
Especialist
a
Oscar Roldn
Santamara
Revisin
filolgica
Jonatn Lpiz
Vega

Elementos de lgebra
2
PRESENTACIN
La presente unidad didctica est escrita para el curso lgebra I que pertenece
al plan de estudios de
la carrera de en la Enseanza de la Matemtica de la Universidad Estatal a
Distancia de Costa Rica. Asume, del lector, un conocimiento slido de las
tcnicas de demostracin; as como de los conceptos generales del
clculo diferencial e integral en una variable, lgebra lineal, ecuaciones
diferenciales ordinarias, probabilidad y estadstica y geometra plana y del
espacio. Presenta la teora
de grupos y anillos, tema central del texto, utiliza los conceptos adquiridos
por el o la estudiante
hasta esta etapa de su formacin.
Se ha querido ilustrar las definiciones y los teoremas por medio de ejemplos, y
no hacer de este libro
un texto tradicional de lgebra Moderna en donde predominan las
demostraciones. De esta manera, en el primer captulo se introducen las
propiedades bsicas de las estructuras algebraicas, a partir de las ya
conocidas en el conjunto de los nmeros naturales, enteros, racionales,
reales y complejos. Se aprovecha tambin la estructura algebraica de
los conjuntos de matrices y los conjuntos de funciones para exponer
caractersticas (no conmutatividad, elementos nilpotentes) que
no estn presentes en las estructuras definidas sobre conjuntos numricos. As
mismo, se utilizan
los conjuntos de polinomios para mostrar un ejemplo de una estructura que se
puede identificar con
la de los nmeros enteros, pero cuyos elementos son muy diferentes.
En el segundo captulo se desarrollan las definiciones formales de las
estructuras algebraicas, monoide, semigrupo y grupo; se presentan y
demuestran las principales propiedades de las estructuras algebraicas y de
los elementos que las componen. Se introduce el concepto de subgrupo y
grupo cociente. En el tercer captulo se expone la teora de grupos y de
homomorfismos, se estudian, tambin, los grupos de permutacin y
se exponen modelos geomtricos para ejemplificar estas propiedades. En

Elementos de lgebra
3
el cuarto captulo se desarrolla la teora de anillos y campos y se
estudian los resultados ms importantes de estas estructuras algebraicas.
Con la idea de que su aprendizaje pueda ser ms autnomo, en el estudio de
la teora de grupos y de anillos, se ha querido reforzar por medio de una
lista de 5 ejercicios al finalizar de cada seccin, adems de una lista
general de 10 ejercicios al final de cada captulo. Las soluciones y los
comentarios, referentes a estos ejercicios, se encuentran al final de cada
captulo.
Se espera que cada seccin la revise al menos 2 veces, ya sea durante la
primera lectura o la segunda,

Elementos de lgebra
1
pero antes de realizar alguno de los ejercicios propuestos, dependiendo esto
solo de su forma de trabajo, resuelva cada ejemplo sin leer la solucin
presentada para luego compararla con su solucin.
De igual forma, trate de realizar los ejercicios propuestos al menos 2 veces
antes de ver la solucin. Tenga presente que, paralelo a los conceptos
estudiados, este texto demandar enfrentarse a un nivel de
demostraciones un poco mayor que en algunos textos de cursos previos.
Por otra parte, este texto se encuentra en su etapa de revisin, mucho le
agradecer que si considera que un tema o ejemplo no est expuesto de la
mejor manera dirija sus comentarios a la ctedra o al correo personal del
autor.
Por ltimo, debo agradecer a todas las personas que estn contribuyendo
para hacer de este texto una unidad didctica modular, a la productora
acadmica Dra. Virgina Ramrez; al Dr. Oscar Roldn, cuyos comentarios,
inclusiones e indicaciones han sido ms que pertinentes y acertadas para
la correcta comprensin de los conceptos presentados; al MSc. Hugo
Barrantes, cuya experiencia,
conocimiento y ojo experto ha encauzado la obra para que pueda
llegar a las manos de los estudiantes del curso y sea til para el
aprendizaje a distancia. A mis compaeros de ctedra y el programa de
Matemtica de la UNED cuyos comentaros me han ayudado para
mejorar la exposicin de los temas. A mi esposa Ilianova que me ha
apoyado para que pueda contar con las
condiciones de tiempo y espacio necesarios para poder escribir. A todos
ustedes muchas gracias.
Lic. Alberto
Soto

2, 4
Elementos de lgebra
2
CONTENIDO
CAPTULO 1
SOBRE LAS OPERACIONES DEFINIDAS EN LOS CONJUNTOS NUMRICOS
Y OTRAS ESTUCTURAS 1
I. OPERACIONES SOBRE CONJUNTOS 2
1. Tabla de operacin 3
2. Forma matricial 3
3. Forma cartesiana 3
4. Tablas de operaciones en hojas de clculo 5
EJERCICIOS DE LA SECCIN 6
II. LOS NMEOS NATURALES 7
1. Axiomas de Peano 7
2. La adicin en 8
3. La multiplicacin en 1
4. La potenciacin en 1
5. Solucin de ecuaciones 1
III. LOS NMEOS ENTEROS, 2
2 1. Construccin del conjunto de los nmeros enteros 2
2 2. La aritmtica entera 2
3. las estructuras algebraicas (,
+
) , (,
) y (,
+
,
)
25
4. la estructura de anillo de los enteros 28
5. Ecuaciones en
30
IV. ENTEROS MDULO n
34
1. Construccin 34
2. Estructuras algebraicas de
n 36
3. Ecuaciones en
n 41
V. EL CAMPO DE LOS NMEROS RACIONEALES 4
3 1. Construccin 4
3 2. Estructuras algebracias de
4
4 3. Ecuaciones en
4
6
VI. CAMPOS QUE CONTIENEN A LOS RACIONALES 48
1. El campo

2 1 48
]
2. El campo

2, 31
48
3. El
campo
]

3 3
1
] 49
4. El campo de los nmeros reales 49
5. El conjunto de los nmeros complejos 50

VII. OTRAS ESTRUCTURAS CONOCIDAS 5
1. Matrices 5
2 2. Polinomios 5
4 3. Funciones 5
EJERCICIOS DEL CAPTULO I 58
SOLUCIN A LOS EJERCICIOS DE LAS SECCIONES 59
SOLUCIN A LOS EJERCICIOS DEL CAPTULO I 73
GLOSARIO 77
CAPTULO 2
ESTRUCTURAS ALGEBRAICAS GENERALES 79
I. SEMIGRUPOS Y MONOIDES 80
II. ELEMENTOS ESPECIALES EN LAS ESTRUCTURAS ALGEBRAICAS 87
III. GRUPOS 94
IV. SUBGRUPOS 101
V. NOTA HISTRICA: CONCEPTO DE GRUPO 115
EJERCICIOS DEL CAPTULO II 119
SOLUCIN A LOS EJERCICIOS DEL CAPTULO II 127
GLOSARIO 131
CAPTULO 3
GRUPOS Y HOMOMORFISMOS 133
I. GRUPOS DE SIMETRA 13
4 1. Movimientos rgidos y conjuntos invariantes 13
5 2. Rotaciones 13
7 3. Reflexiones 13
II. UN GRUPO DE MATRICES FORMADO POR ROTACIONES Y RELFEXIONES 14
1 1. Un grupo con tres rotaciones 14
2. Grupos didricos 152
III. ESTUDIO DE ALGUNOS GRUPOS DE PERMUTACIONES 15
6 1. Definiciones y notaciones 15
6 2. Paridad de las permutaciones 16
0 3. Ejemplos 16
4. Homomorfismos 168
EJERCICIOS DEL CAPTULO III 178
SOLUCIN A LOS EJERCICIOS DEL CAPTULO III 185
GLOSARIO 188
CAPTULO 4
ANILLOS, POLINOMIOS Y CAMPOS 189
I. ANILLOS 19
0 1. Definiciones y ejemplos 19
0 2. Caractersticas y propiedades de un anillo 19
6 3. Subanillos 19
II. DOMINIOS DE INTEGRIDAD Y ANILLOS SIN DIVISORES DE CERO 20
3 1. Ecuaciones polinomiales sobre anillos 20
3 2. Anillos sin divisores de cero 20
6 3. Unidades en un anillo y campo 20
III. IDEALES, ANILLOS COCIENTES Y HOMOMORFISMOS 21
1 1. Ideales y anillos cocientes 21
1 2. Homomorfismos de anillos 21
IV. IDEALES MAXIMALES, IDEALES PRIMOS Y CAMPOS 223
V. ANILLOS DE POLINOMIOS 228
EJERCICIOS DEL CAPTULO IV 240
SOLUCIN A LOS EJERCICIOS DEL CAPTULO IV 248
GLOSARIO 252
Elementos de lgebra
VII

Elementos de lgebra
VIII

Elementos de lgebra
1
CAPTULO 1
SOBRE LAS OPERACIONES
DEFINIDAS ENLOS CONJUNTOS
NUMRICOS YOTRAS
ESTUCTURAS
Objetivos especficos
1. Conocer la axiomtica de
los nmeros naturales y
como se deriva la
construccin de los
nmeros enteros y los
nmeros racionales.
2. Estudiar las operaciones
de la aritmtica elemental
distinguiendo las
propiedades de
asociatividad
y conmutatividad.
3. Identificar elemento
neutro, absorbente,
elementos regulares,
inversibles o
simetrizables.
4. Aplicar la ley de cancelacin.
5. Resolver ecuaciones en
una variable en las
diferentes estructuras.
Suma
rio
I. Operaciones sobre conjuntos
II. Los nmeros
naturales III. Los nmeros
enteros IV. Los enteros
mdulo n V. El campo de los racionales
VI. Campos que
contienen a los
racionales
VII. Otras estructuras
RESUMEN
En este captulo se introducen las propiedades bsicas de las estructuras

Elementos de lgebra
2
algebraicas, a partir de las
ya conocidas, como el conjunto de los nmeros naturales, enteros, racionales,
reales y complejos. Se aprovecha la estructura algebraica de los conjuntos
de matrices y de funciones para exponer caractersticas (no
conmutatividad, elementos nilpotentes) que no estn presentes en las
estructuras definidas sobre conjuntos numricos. Se utilizan los conjuntos
de polinomios para mostrar un ejemplo de una estructura que se puede
identificar con la de los nmeros enteros, pero que sus elementos son
muy diferentes.

Elementos de lgebra
3
I. OPERACIONES SOBRE CONJUNTOS
Para introducir las estructuras algebraicas es necesario delimitar la idea
formal de qu es una operacin. Por esto, en la siguiente definicin, se coloca
la primera piedra del edificio algebraico.
Definicin 1. Sea A un conjunto no vaco, una operacin interna sobre A
es una funcin
f : A A A . En este caso, se dice que el
par ( A, f )
es una estructura algebraica.
Es importante observar que cualquier funcin, con dominio el producto
cartesiano y codominio el
mismo conjunto, define
1
una operacin interna.
Notacin
Lo habitual en funciones es
escribir
f ((a, b)) = c f (a, b) = c para indicar que c es la
imagen del
elemento
(a, b)
bajo la funcin f . En el caso de una operacin interna definida
por la funcin f
se
escribir
a f b = c para indicar que c es el resultado de operar a y b, a los que
se les llama, en
forma genrica, operandos, con la operacin definida por la funcin f . La
costumbre tambin ha
impuesto que en lugar de denotar a las funciones con letras, como es lo
usual, se utilice algn smbolo para indicar el resultado de la operacin
determinada por f , de esta forma, se usa * , + ,
, . Por esto encontrar expresiones
tales como
a * b a b , que se lee a
asterisco b
a operado con b, e indica el resultado de la operacin de a y b.
Un conjunto puede tener varias operaciones en cuyo
caso se escribe
( A,*
1
,*
2
,,*
n
) . Para
operar
con 2 o ms de estas operaciones a la vez, es necesario el uso de parntesis

Elementos de lgebra
4
y as indicar el orden de cmo operar cada una de ellas. Se sobreentiende
que los parntesis internos son los que tienen la primera prioridad por lo que
se deben hacer de primero.
En algunos textos, se dice que una operacin es cerrada si a operado con b
pertenece al conjunto
A o conjunto de definicin, pero esta condicin se satisface en la operacin
interna y es lo que se
entiende por estructura algebraica. De esta forma, para
determinar si ( A,*)
es una
estructura
algebraica solo se revisar si * est bien definida como una funcin con
dominio A A y
codominio A .
1
Aqu se entiende como funcin aquella que est definida sobre todos los elementos del domino,
se hace esta aclaracin
porque ciertos autores consideran esto como aplicacin.

1. Tabla de operacin
Cuando el conjunto es
finito,
A = {a
1
, a
2
,, a
n
} , con n elementos, es posible
representar la
operacin interna por medio de una tabla llamada, en forma general, tabla de
"multiplicacin". Hay
2 maneras de representarla, una se llama forma matricial y la otra forma
cartesiana. Es necesario aprender la diferencia entre ellas, as como saber
interpretarlas.
2. Forma matricial
La forma matricial consiste en
representar los n
2
resultados en una
matriz
R
(
r
ij
)
de
tamao
n n . Donde los elementos de A son colocados como etiquetas para cada
columna y para cada
fila; se utiliza el mismo orden en cada caso. Se escriben sobre la primera fila y
a la izquierda de la
primera columna. Luego, en la
entrada
r
i
j
se escribe el resultado de
operar a
i
y a
j
, en
smbolos,
r
ij
a
i
* a
j
.
Por costumbre, se colocan lneas diferenciadas en la parte superior
e izquierda de la
matriz, las que se encuentran entre filas o columnas son optativas y se ubican
solo si se considera
que ayuda a la lectura. De esta
forma, si
representa por la siguiente
matriz:
A = {a
1
, a
2
, a
3
} y sobre A se define la operacin
* esta se
* a
1
a
1
a
1
*
a
1
a
2
a
2
*
a
1
a
3
a
3
* a
1
a
2
a
1
* a
2
a
2
*
a
2
a
3
* a
2
a
3
a
1
* a
3
a
2
* a
3
a
3
* a
3
3. Forma cartesiana
La forma cartesiana de la tabla de la operacin utiliza el hecho que para
cada par ordenado del
conjunto A
A
existe un elemento que representa el resultado, y se crea un
sistema de coordenadas
que usa los elementos de A como etiquetas para los ejes x y y , en el mismo
orden para ambos
casos. En la tabla escrita en su forma
cartesiana, el resultado de
a
i
* a
j
se coloca
sobre
a
i
, a
la
misma
altura de
a
j
. As, con este arreglo, para el mismo conjunto anterior A , con
3 elementos, la
operacin se representa de la siguiente forma:
a
3
a
1
* a
3
a
2
a
1
* a
2
a
1
a
1
*
a
1
* a
1
a
2
*
a
3
a
2
*
a
2
a
2
*
a
1
a
2
a
3
* a
3
a
3
* a
2
a
3
* a
1
a
3
Como puede notar, ambas representaciones ofrecen la misma informacin,
tenga presente esto en el momento de leer tablas de operacin.
Ejemplo 1
Se
a
A = {1, 2, 5} considere la estructura algebraica determinada por la siguiente
tabla de operacin:
* 1 2 5
1 5 2 1
2 2 2 5
5 1 2 5
En la estructura ( A,*) , cul es el resultado de (2 * 5) * (1* 5) ?
Solucin
Note que 2* 5 se busca en la entrada (2,3) de la matriz, en este caso 2* 5 = 5 y
1* 5 se busca en la
entrada (1,3), en este caso 1* 5 = 1. Luego, (2 * 5) * (1*
5) 5 *1 = 1
en en la entrada (3,1) de la matriz.
al buscar este ltimo
resultado,
Quiz se pregunte, existir una frmula para la operacin del ejemplo 1, tal
que a * b = c se pueda
determinar sin necesidad de revisar la tabla? En este caso, no es posible
establecer si tal frmula exista o no. Pero cuando el conjunto es finito
2
, basta
una tabla para determinar la operacin.
Ejemplo 2
Se
a
A = {1, 2, 3} encuentre la tabla de la operacin definida por a * b =
a
+
b
| a
b |
.
2
Solucin
Hay que indicar primero que se deben verificar los resultados pues la
operacin define una estructura algebraica solo cuando todos los resultados
pertenecen a A y en este caso se tiene:
1 + 1| 1 1 | 2 0 1 + 2 | 1 2 | 3 1 1 + 3| 1 3 | 4 2
1* 1 = = = 1 1 * 2 = = = 1 1* 3 = = = 1
2 2 2 2 2 2
2 + 1| 2 1 | 3 1 2 + 2 | 2 2 | 4 0 2 + 3| 2 3 | 5 1
2 * 1 = = = 1 2 * 2 = = = 2 2 * 3 = = = 2
2 2 2 2 2 2
3 + 1| 3 1 | 4 2 3 + 2 | 3 2 | 5 1 3 + 3| 3 3 | 6 0
3 * 1 = = = 1 3 * 2 = = = 2 3 * 3 = = = 3
2 2 2 2 2 2
2
Con pocos elementos, pues si tiene muchos elementos, la tabla no tendra utilidad.
Note que todos los resultados son elementos del conjunto A . Con esto se
sabe que ( A,*) es
una estructura algebraica. Luego basta con acomodar la tabla de la operacin.
* 1 2 3
1 1 1 1
2 1 2 2
3 1 2 3
4. Tablas de operacin en hojas de clculo
Es posible que est familiarizado con las hojas de clculo, tales como el
programa Excel de Microsoft
o bien Calc de OpenOffice, si es as, cuando la operacin est definida
por medio de una frmula
a * b = F (a, b) , la tabla se puede construir, con apoyo de esta herramienta.
Abra un libro nuevo en alguno de estos programas y coloque los elementos
del conjunto en la primera fila, a partir de la segunda columna (columnas B,
C...) y en la primera columna a partir de la segunda fila (2,3...) y se define la
entrada B2=F($A2,B$1) para luego copiar la frmula en las columnas
adyacentes y despus
a las filas inferiores; con esto obtendr la tabla de operacin.
A modo de ejemplo, en la estructura anterior, la tabla de la operacin en su
forma matricial ser el resultado del proceso que se muestra en la figura
1.1. Los signos de $ son necesarios para fijar la operacin al momento de
copiarla a otras celdas.

Figura
1.1
Una vez que se define una operacin inmediatamente se pregunta para
qu sirve? qu se puede hacer con ella y qu no? Esto necesita de
respuestas basadas en las propiedades que cumplen las operaciones, que
se discuten en las siguientes secciones del captulo, con el objetivo de
mostrar propiedades comunes, patrones o algoritmos que permitan
estudiar estructuras algebraicas
abstractas.
EJERCICIOS DE LA SECCIN
EJERCICIO 1
Se
a
A = {2, 4, 6, 8} , se define la operacin por medio de la siguiente tabla de la
operacin.
2 4 6 8
2 4 8 2 6
4 8 6 4 2
6 2 4 6 8
8 6 2 8 4
Determinesi ( A, ) es una estructura algebraica y calcule el
resultado de
[(2 4) (4 6)] (6 8).
EJERCICIO 2
Para la estructura
algebraica ( A, )
del ejercicio 1 responda a las siguientes preguntas:
1. Es 24 = 4 2 o (4 6) 8 = 4 (6 8) ?
2. Para qu valor x A se
cumple que 8
x = 2 ?
3. Existe e A tal que para todo x A
cumpla que
x e = x ?
4. Cules elementos cumplen con la
propiedad de
x x = 6 ?
EJERCICIO 3
Considere la operacin * definida sobre el conjunto de las primeras 3
letras del alfabeto griego
{
, ,
}
tal
que
x * y = x , calcule el resultado de
* ,
* y * .
EJERCICIO 4
Considere la operacin * definida sobre el
conjunto
A = {0, 5,10,15, 20, 25,
30}
tal
que
x * y = max{x, y} min{x, y} donde max y min significa el mximo y el mnimo
entre los 2
nmeros. Determine si es una estructura algebraica y forme las 2 tablas
de multiplicacin en las
formas matricial y cartesiana para esta operacin.
EJERCICIO 5
Determine cuntas operaciones internas * sobre
el conjunto
caractersticas:
1. Todas las filas son diferentes entre s.
A = {x, y, z} cumplen las
siguientes
2. Un mismo nmero no se repite en ninguna fila ni columna.
3. Si a b en onces a * b b * a t.
II. LOS NMEROS NATURALES
Quiz el primer conjunto al que siempre se hace referencia es el de los nmeros
naturales denotado
po
r
= {1, 2, 3, 4,} , en esta seccin interesa revisar, con detalle, las
propiedades de las
operaciones definidas sobre este conjunto, que ya se conocen: la suma,
la multiplicacin y la
potenciacin, entre otras.
Se inicia con la introduccin formal de los nmeros naturales y las
operaciones aritmticas ms conocidas.
1. Axiomas de Peano
Los axiomas de Peano definen de
manera exacta al
conjunto de los nmeros naturales.
Fueron establecidos por el
matemtico italiano Giuseppe Peano
(1858-1932) en el siglo XIX. Peano
adems de matemtico fue filsofo y
realiz contribuciones a la teora de
conjuntos. Public ms de 200 libros
y artculos, la mayora sobre
matemticas. Parte de su vida la dedic
a ensear en Turn.
Giuseppe Peano
Los nmeros naturales se pueden construir a partir de 5 axiomas
fundamentales:
1. El 1 es un nmero natural (es decir, el conjunto de los nmeros naturales
no es vaco).
2. Si a es un nmero natural, entonces existe un nmero natural a llamado
el sucesor de a
.
3. El 1 no es sucesor de ningn nmero natural (es el primer elemento del
conjunto).
4. Si hay 2 nmeros naturales a y b tales que sus sucesores son diferentes
entonces a y b son distintos.
5. (Axioma de induccin) Si un conjunto de nmeros naturales contiene al 1 y
a los sucesores de cada uno de sus elementos entonces contiene a todos los
nmeros naturales.
Estos axiomas indican que si n , o bien n 1 o n m' para m . Una
manera de enlistarlo es
{1,1 , (1 ) , ((1 ) ) ,} ; si se escribe 1 = 2 , 2
= 3 , 3 = 4
representacin = {1, 2, 3, 4,} .
y as sucesivamente, con lo que
se tiene la
2. La adicin en
La operacin adicin se utiliza desde las primeras formas de contar; el smbolo
moderno que se usa
es + . En el siglo XV poco a poco se impuso el uso de abreviaturas
para indicar algunas operaciones matemticas. Por ejemplo, los italianos
utilizaban una p y una m para indicar la suma y
la resta (del italiano piu y menos) notacin introducida en "Summa de
arithmetica, geometrica, proportioni et proportiolanita" del fraile Luca Pacioli
(1445-1517). Sin embargo, acab imponindose la abreviatura alemana + y
que se utilizaban, originariamente, para indicar exceso y defecto en la
medida de las mercancas en los almacenes. De hecho, el texto ms
antiguo que se conoce en el que aparecen
estos signos, con el sentido de suma y resta, es un libro de aritmtica
comercial del alemn Johann Widman publicado en 1489. Pese a su uso por
los alemanes, parece ser que el signo + tiene origen latino por ser una
contraccin medieval de la palabra et (la conjuncin "y"). (Boyer,
p.358,360); (Davis, p.98).
Formalmente se define la suma en forma inductiva de la
siguiente forma: Sean a, b se define la suma de a y b
si b 1 entonces a + 1= a ,
si b 1 entonces c tal que b c

( c es el antecesor de b ) a + b a
+ c ' (a + c) ' .
Con esta definicin si se quiere calcular paso a paso 2 + 3 primero se calcula
2 + 1 2 ' 3, luego 2 + 2 2 + 1' (2 + 1) ' 3 ' 4, por ltimo
2 + 3 = 2 + 2 ' (2 + 2) ' 4 = 5.
En esta estructura, al escribir la expresin a + b , se le llaman trminos o
sumandos a los operandos
y suma o total al resultado de esta operacin. Una de las propiedades que
satisface la suma es la siguiente:
a + (b + c) = (a + b) + c. (1)
Esta propiedad se llama asociatividad y permite, al tener 3 o ms trminos,
emparejarlos de la forma
ms conveniente para operarlos y, con esto, no ser necesario el uso de
los parntesis, en otras
palabras, la expresin a
+ b + c
resultado.
no permite diversas interpretaciones y solo puede
dar un nico
Es importante escribir la definicin formal de asociatividad que ser de mucha
utilidad a lo largo del
texto.
Definicin 1. Sea (
A, *)
una estructura algebraica, se dice que la
operacin es asociativa
si para todo a, b y c A se cumple con: a * (b * c) =
(a * b) * c.
(2)
Esta definicin la satisface la suma definida en el conjunto de los nmeros
naturales, tal y como lo
establece el siguiente teorema:
Teorema 1
En la estructura algebraica (, +) , + es asociativa.
Demostraci
n
Hay que
probar
de c .
a + (b + c) = (a + b) + c . Se har la demostracin por induccin
13
sobre
los valores
Paso 1. Si c =1 entonces la expresin a + (b + 1) se escribe como
a + (b + 1) = a + b = (a + b) = (a + b) + 1.
Paso 2. Ahora se asume que a + (b + d ) = (a
+ b) + d
cumple para c + 1 o bien c ' .
se satisface d c y se prueba que
tambin se
a + (b + c ') a + (b +
c)
=
def . suma
(a + (b + c))
=
h.
ind
=
((a + b) + c)
(a + b) + c
def . suma
Con esto se demuestra la asociatividad.
Ahora se presentan 2 propiedades ms que se cumplen en (, +) . Estas
son complementarias y ayudan a la comprensin de la estructura (, +) . Por
esto se enuncian como una proposicin.
4
3
El mtodo tiene dos partes o pasos. En el primer paso, se verifica la propiedad para el
primer valor. El segundo,
asume que la propiedad se satisface para todos los valores menores que n
y se demuestra para
n + 1.
4
Una proposicin es un resultado complementario o particular. Tiene una jerarqua menor a
un teorema pero mayor que un lema.
Proposicin 1
En la estructura algebraica (, +) se cumple con:
1. 1 + a = a .
2. a + b = b + a.
3. Si a + b = a + c entonces b = c.
Demostracin
Todas las partes se demostrarn por induccin.
1. Para la primera de las propiedades se har induccin sobre a.
Paso 1. Para a =1, la igualdad 1+1=1 asegura la propiedad.
Paso 2. Ahora se
asume que
lo que es lo mismo a
b
a
se cumple que 1 + b b y se prueba la
igualdad para
a +1 o
1 + a = 1 + (a + 1)
=
asoc.
(1 + a) + 1
=
h. ind
a + 1 = (a )
Y es lo que se quiere mostrar.
2. Se hace por induccin sobre b.
Paso 1. Para b =1 es la parte 1 de esta proposicin.
Paso 2. Se asume que a + c
c + a
para todo c
b
y se demuestra la igualdad para b
a + b = a + (b + 1)
=
asoc.
(a + b) + 1
=

(b + a) + 1
=
b + (a + 1)
h. ind asoc.
=
parte 1
Demostrando con esto la
igualdad.
b + (1 + a)
=
asoc.
(b + 1) + a = b + a
3. Una vez ms se utiliza induccin sobre a.
Paso 1.
Si
que b =
c.
a =1 se
tiene
que si
1 + b = 1 + c
entonces b

= c

y por el axioma 4
de Peano se tiene
Paso 2. Se asume
que
d
a
tal que d + b d + c b c . Y se debe
demostrar para
a +1 .
Si
(a + 1) + b = (a + 1) +
c
entonces al utilizar la
asociatividad
a + (1 + b) = a + (1 + c) , por lo
que se
deduce de la hiptesis de induccin que
1 + b = 1 + c
Demostrando con esto el enunciado.
o en forma
equivalente
b

= c

as
b = c
La parte 2 de la proposicin 1 es la propiedad conmutativa de la suma de
nmeros naturales. La
definicin formal de esta propiedad se escribe a continuacin.
Definicin 2. En una estructura algebraica ( A, *) , * es conmutativa
si al cambiar el orden de los operandos, no cambia el resultado
de la operacin. En smbolos
a * b = b * a .
La propiedad 3 de la proposicin 1 es la Ley de cancelacin para la
suma y permite simplificar igualdades. La definicin de esta ley se indica a
continuacin.
Definicin 3. En una estructura algebraica ( A, *) se satisface la ley de
cancelacin por la izquierda si cada vez que a * b = a * c se concluye
que b = c . En forma semejante por la
derecha si
de
b * a = c * a se concluye
que
b = c . Se dice que en la
estructura se
satisface la ley de cancelacin si se cumple por ambos lados.
Ms adelante, en el texto, se estudiarn ejemplos de estructuras algebraicas en
donde, a pesar de que
la operacin no cumple con la ley de cancelacin, con algunos elementos,
es posible cancelar en ambos lados de una igualdad; en estos casos, se
dice que el elemento cancelado es regular por la derecha o por la izquierda
segn sea el caso.
Nomenclatura
En la teora de estructuras algebraicas se utilizan nombres para clasificarlas,
por ejemplo, cuando la operacin es asociativa se dice simplemente que
la estructura es un semigrupo. Y si la estructura cumple con la propiedad
conmutativa se le llama abeliana. As, en el caso de los nmeros naturales
con la suma, se tiene un semigrupo abeliano que satisface la ley de
cancelacin. El nombre abeliano
es en honor del matemtico noruego del siglo XIX, Niels Henrik Abel
(1802-1829) por su contribucin a la teora de ecuaciones y de funciones.
Subestructuraalgebraica
Resulta interesante, y algunas veces til, notar que hay subconjuntos
dentro de una estructura algebraica, en los cuales la operacin restringida
al subconjunto posee las mismas propiedades que la estructura original.
Cuando esto sucede se dice que se tiene una subestructura algebraica.
Existen ejemplos en los cuales la subestructura tiene ms propiedades que la
estructura primaria.
Definicin 4 Sea (
A, *)
una estructura algebraica, sea B A , se dice
que B es una
subestructura algebraica de A si
para todo
x, y
B
se tiene
que
x * y B .
Ejemplo 1
Sea . Este subconjunto, llamado el
conjunto de nmeros pares es una subestructura algebraica de (, +) .
Solucin
Primero note que, por la asociatividad, no hace falta escribir parntesis
en la definicin anterior.
Sea
n
a, b
P
entonces, a se escribe como la suma de n nmeros iguales a 2 y la
misma situacin
para b , ste nmero se escribe como la suma de m nmeros iguales a 2.
Por lo tanto a + b
utiliz
a
la suma de nmeros iguales a 2. Por lo que la suma pertenece a P , y
se cumple con la definicin de subestructura algebraica.
Reflexin
Los nmeros pares todos son sumas de nmeros
iguales a 2. Si se considera el
conjunto sumas de nmeros iguales a
m se puede garantizar que sea
una subestructura algebraica con la operacin suma?
Caracterstica hereditaria
Una propiedad se llama hereditaria si se mantiene en cualquier
subconjunto de un conjunto. No
todas lo son, por ejemplo, si E es un conjunto infinito no es posible
asegurar que A E
tambi
n
lo sea. Las propiedades asociatividad, conmutatividad y la ley de
cancelacin en una estructura algebraica son hereditarias. De esta
forma, siempre que se considere un subconjunto, de una estructura en
donde se cumpla la conmutatividad o asociativavidad, no se necesita
demostrar que la operacin lo es ni que cumple con la ley de cancelacin
sobre el subconjunto. Caso diferente es la existencia del neutro o los
inversos, estas no son hereditarias.
Ejemplo 2
Sea P el conjunto de nmeros naturales pares. Sobre este conjunto se
considera la suma ( + )
habitual de nmeros naturales. Pruebe
que ( , +)
es un semigrupo conmutativo.
Solucin
Por la condicin ya demostrada de que ( , +) es una subestructura
algebraica, y como las
propiedades de asociatividad y conmutatividad se heredan entonces se
concluye que ( , +)
semigrupo conmutativo.
Reflexin
es un
Los nmeros pares forman una progresin aritmtica y el
ejemplo 2 indica que su estructura algebraica recibe la
misma denominacin que los nmeros
naturales. Se puede generalizar esta situacin
a cualquier progresin aritmtica?
3. La multiplicacin en
Sobre el smbolo muchos algoritmos, para obtener productos y
proporciones, hacan uso, en
pocas medievales de la aritmtica, de la cruz de San Andrs (el aspa). Quiz
por ello Oughtred, en
1631, la eligi como smbolo para sus multiplicaciones y pronto otros autores
siguieron su ejemplo. Pero no todos: Leibniz, en 1698, le escribi a John
Bernoulli: "no me gusta como smbolo para la multiplicacin, pues se
confunde demasiado fcilmente con x ; a menudo relaciono dos
cantidades con un punto interpuesto, e indico la multiplicacin mediante
esta forma". Es decir, que Leibniz, para evitar confusiones, sealaba de la
misma manera proporciones y productos con un sencillo punto. Otra
posibilidad para indicar el producto es no poner nada entre los factores, como
cuando escribimos xy para indicar x
por y . Descartes, cuando en la pgina 7 de su Geometrie fija la notacin que
va a utilizar, dice: "Et
ab, pour les multiplier l'vne par l'autre". Habr sido el primero en utilizar esta
notacin?
En este texto, se cambia el smbolo x para la multiplicacin, por un simple punto
en el centro de las
2 cantidades. Cuando no causa confusin la multiplicacin se indica tambin
por la yuxtaposicin
de las letras y los nmeros por lo que no se escribe
2 x o 2 x
3 expresiones enuncian exactamente lo mismo.
ms bien se escribe 2x
aunque las
Se define la multiplicacin en el conjunto de nmeros naturales como una
aplicacin iterada de la
suma. La definicin es inductiva y considera el concepto de antecesor.
Recuerde que por los axiomas de Peano, un nmero natural es o bien 1 o
bien el sucesor de un nmero natural. Sean
a, b con b 1, si existe tal que c ' b entonces
1. a 1= a.
2. ab a c ' = (a c)
+ a
(definicin de multiplicacin).
En forma similar a la suma para calcular 4 3 se calcula escribiendo 4 3 = 4
2

= 4 2 + 4 luego, se
pasa a calcular 4 2 = 4 1

= 4 1 + 4
= 4 + 4 = 8
regresando 4 3 = 8 + 4 = 12 . En forma
extendida
4 3 = 4 + 4
+ 4
y se dice que el sumando 4 aparece 3 veces. En general, ab
representa la suma en
donde el sumando a aparece b veces.
En la multiplicacin a los operandos se les llama factores y al resultado se le
llama producto. Note que
ab +
c
es una expresin que no requiere parntesis, pues representa una
suma y la propiedad
asociativa de esta operacin justifica su clculo.
Propiedades de la multiplicacin
Teorema 2
Sean a, b y c , entonces se satisfacen las siguientes propiedades:
1. a(b + c) = ab + ac (propiedad distributiva de la multiplicacin con respecto a
la suma).
2. 1a = a1 = a se dice que 1 es un elemento neutro de la multiplicacin.
3. a(bc) = (ab)c (propiedad asociativa de la multiplicacin).
4. ab = ba (propiedad conmutativa de la multiplicacin).
5. Si ab = ac entonces b = c (Ley de cancelacin de la multiplicacin).
Demostracin
Las demostraciones de las 2 primeras se harn por induccin, el resto queda
como ejercicio que se
revisar al final de la seccin.
1. Se har induccin sobre c.
Paso 1. Si c =1 se sabe de la definicin de
multiplicacin que
mismo gracias a la misma
definicin, ab + a 1.
a(b + 1) ab = ab + a o, lo que es lo
Paso 2. Si se asume que a(b + d ) =
ab + ad
se cumple , se debe de probar la igualdad
para c
a(b + c
)
=
a(b + c)
a(b + c) + a
=
(ab + ac) + a
def . suma def . mult . hip. ind .
Y es lo que se quiere
probar.
=
asoc.
ab + (ac + a) ab + a(c + 1) =
def . mult
.
ab + ac
2. Se hace por induccin sobre a.
Paso 1. Si a =1 entonces 1 1 = 1 se satisface por la primera parte de la definicin
de multiplicacin.
Paso 2. Se asume que
1b = b
b
a
y se prueba para a .
1a = 1(a + 1) =
def . mult
.
1a + 1 =
hip. ind
.
a + 1 = a
Y con esto concluye la prueba.
Con estas propiedades la
estructura (, )
cumple con la asociativdad, la
conmutatividad y la ley de
cancelacin, al igual que (, +) , con una diferencia muy importante, como
puede observar, la
segunda propiedad del teorema anterior indica que
1 a = a 1 = a
esto permite denotar al 1
como
neutro en la multiplicacin. La definicin formal de neutro se indica a
continuacin.
Definicin 5. Sea (
A, *)
una estructura algebraica, un
elemento e A
se llama
neutro
por la derecha si a * e = a y por la izquierda si e * a = a , para todo a A
. Un elemento
se llama neutro si lo es por la derecha y por la izquierda.
En otras palabras, el operar cualquier elemento con e , el resultado es
el otro operando. Continuando con la clasificacin de estructuras se
tiene la definicin de Monoide.
Definicin 6. Un monoide es una estructura algebraica en la que se
cumple la propiedad asociativa y posee elemento neutro. En
otras palabras es un semigrupo con elemento neutro.
Por lo anterior, la estructura (, ) es un monoide conmutativo.
Ahora estn definidas las 2 operaciones de la aritmtica elemental, se puede
mostrar una estructura algebraica cuya notacin es . Esta estructura
cumple con que la multiplicacin distribuye con respecto a la suma tal y como
est expuesta en el punto 1 del teorema 2.
La definicin formal de propiedad distributiva es la siguiente:
Definicin 7. (Propiedad distributiva) Sean *, :
A A A
dice que * distribuye por la izquierda con si se
cumple con
c *
(
a b
)

(
c * a
)

(
c *
b
)
En forma alternativa distribuye a la derecha si se
cumple con:
( a b) * c ( a * c ) ( b *
c )
2 operaciones
internas, se
Se dice solamente distributiva si lo hace por ambos lados. En
cualquiera de los casos, se
dice que la tripleta (
A, , *)
es una estructura algebraica con 2
operaciones en la que *
distribuye, segn sea el lado, por la derecha o izquierda con .
La propiedad distributiva tambin es una propiedad hereditaria.
Ejemplo
1
Sea
( ,
+,
)
el conjunto de nmeros naturales pares y las operaciones de suma y
multiplicacin. Es
una estructura algebraica con 2 operaciones donde la multiplicacin
distribuye con respecto a la
suma.
Solucin
Primero note que, la definicin de nmero par, una vez que la multiplicacin se
ha definido, es ms
simple; si a, b

a = 2k y b = 2m entonces ab = 4km 2(2km) , el producto es un
nmero par
tambin. Luego, como se mencion, las propiedades asociativa y conmutativa
son hereditarias por
lo que se satisfacen en este conjunto. Por ltimo, se cumple la distributividad.
4. La potenciacin en
Aunque no hay un smbolo que identifique esta operacin, lo usual es
escribirlo como un
superndice del nmero que se va a multiplicar. Aqu se
adoptar la notacin a
b
a
b
para
indicarla, esta ltima simbologa se utiliza con frecuencia en muchas
calculadoras y programas informticos.
De forma inductiva se define la multiplicacin a partir de la suma, se utiliza la
multiplicacin para
definir la potenciacin en los nmeros
naturales a
b . Sean
entonces
a, b con b

al sucesor de b
1. a
1= a.
2. a
b

= (a
b)
a
(definicin de potenciacin).
El resultado segn esta definicin de 2
3 se calcula primero 2
3 = 2
2 = (2
2) 2 . Luego se
calcula 2
2 = 2
1

= (2
1) 2 = 2 2 = 4 , regresando 2
3 = 4 2 = 8 . En su
escritura expandida
2
3 = 2 2
2
el producto en donde el factor 2 aparece 3 veces. En
general, a
b
tiene al factor
a
un nmero b de veces. Al nmero a se le llama la base y b es el exponente.
Revise los siguientes hechos:
1. Al calcular 2
3
8
o 3
2 9 , esto indica
a
b
y b
a
en general, representan
nmeros
diferentes, por lo que la operacin no es conmutativa.
2. Las
expresiones
a
(b
c)
y (a
b)
c representan cantidades diferentes por

lo que la
operacin no es asociativa. Esto es muy importante pues no se
debe escribir a
c
al
ser
una expresin imprecisa
5
. La no asociatividad impide la utilizacin de
expresiones como la anterior sin parntesis.
3. La
expresin
a
b
c +
d
tiene un orden natural, la potenciacin es una
generalizacin de la
multiplicacin y esta lo es de la suma. De esta forma, la operacin que se
hace de ltimo es
la ms simple de todas.
4. La propiedad 1
a
= 1
para todo a permite etiquetar al nmero 1 como
un elemento
"absorbente" cuando se encuentra a la izquierda
y la propiedad
a
1= a
indica que 1
es
neutro por la derecha en la estructura (,

) . As, no existe neutro para
la potenciacin.
5. La ley de cancelacin se cumple sustentada en su similar propiedad
para el producto, as
que, si b
a
c
a
b
c
y tambin si b 1, b
a
b
c
a c . Esto indica que en la
estructura
(,

) todos los elementos diferentes del 1 son regulares por la izquierda.
5. Solucin de ecuaciones
Cuando se resuelven ecuaciones, con frecuencia, no se hace mencin al
tipo de conjunto al que pertenece la solucin, lo habitual es en forma
algortmica despejar la incgnita y dar la respuesta al problema. Sin
embargo, y para hacer un anlisis de las estructuras algebraicas, es
necesario, en esta parte de este captulo, que reflexione sobre qu significa
resolver ecuaciones en un conjunto.
La idea es que, por medio de las propiedades de las operaciones definidas, se
destaque la utilidad de
la estructura algebraica. Por ejemplo, dentro de la estructura (, ) las
ecuaciones 2x = 3x 4x = 1
no tienen solucin pues es imposible, en el primer caso, que el doble y el triple
de una cantidad sean
iguales o, en el segundo caso, que 1 sea el resultado de cuadruplicar un
nmero. Tambin, en la
estructura (,
+, )
la ecuacin 2x + 3
= 12
no tiene solucin, pues el lado izquierdo es
un nmero
impar, mientras que el lado derecho es un nmero par. Aunque no
significa que la ecuacin
5
Algunas personas sugieren utilizar el orden de lectura,
esto es a
c
debe interpretarse como
(a
b)
c
mientras
que
b
c
otras indican, amparados en la escritura a , que el orden es a (b c) estas confusiones que con
frecuencia llegan al aula
de nuestras escuelas y colegios no se deben fomentar pues perjudican a la comprensin de la
matemtica. Nota del autor.
2x + 8 = 6 tenga solucin porque ambos lados representan un nmero par.
Con los comentarios anteriores en una estructura algebraica ( A, *) , cmo
saber si una ecuacin tiene o no soluciones?, cmo encontrar un
algoritmo o una frmula para resolverlas? Estas 2 preguntas le han
dado a la matemtica una de las mayores fuentes de estudio y empuje
en las
investigaciones en los ltimos 1 000 aos.
Ejemplo 5
En la estructura
(, +, )
resuelva la ecuacin 2x + 25 = 4x + 5.
Solucin
Escriba 4x = 2x +
2x
y utilice la asociatividad de la suma en la expresin 2x + 2x + 5
, por lo que la
ecuacin original se puede representar por 2x + 25 =
2x + 2 x + 5.
Luego de aplicar la
ley de
cancelacin de la suma para 2x se obtiene 25 = 2x + 5 . Utilizando las leyes
de cancelacin al
escribir la ecuacin 25 = 2 x + 5 20 + 5 = 2x + 5
20 = 2x.
Y reescribiendo 2 10 =
2x , se
vuelve a aplicar la ley de cancelacin, en esta ocasin, para el producto y se
obtiene 10 = x.
Un ejemplo de una ecuacin cbica y su solucin en la
estructura (, +, )
es el siguiente:
Ejemplo 6
En la estructura
(, +, )
resuelva la
ecuacin
x
3
+ 4 x = 16.
Solucin
Los 3 trminos de esta ecuacin no se pueden simplificar como el ejemplo 5,
no obstante si se
factoriza se
obtiene
x(x
2
+ 4) = 16 , as, 16 es un mltiplo de
x y de
x
2
+ 4 , esto simplifica
la
solucin a los nmeros cuyo producto es 16, en este caso, 1, 2, 4, 8,16 . Con
estas 2 condiciones
se reduce el valor
de x a
x = 2 el cual satisface
que
x
2
+ 4 = 8 por lo que el producto es
16.
Como resumen del proceso anterior aparece la tabla 1.1.
Tabla
1.1
x 1 2 4 8 1
6
x
2
+ 4
5 8 20 6
8
260
x
(
x
2
+ 4 x
)
5 16 80 544 4160
Por lo que la nica
solucin es
x = 2.
Es posible que este desarrollo le parezca extrao y hasta incmodo, lo que
sucede es que la notacin
y los algoritmos modernos hacen que sean simplificados y reducidos, no
obstante es importante mencionar que en el ao 825 de nuestra era se
escribi el texto Hisb al-jabr wal-muqbalah, o al-jabr
6
, como se le conoce,
escrito por Mohammed ibn Musa al-Juarismi, la historia indica que el libro fue
escrito a peticin del califa Al Mamn, segn se lee en el prlogo de esta obra.
" quien me alent a componer un pequeo
trabajo sobre [cmo] Calcular por medio de [las
reglas de] Completacin y Reduccin, confinndose
a lo que es lo ms fcil y ms til en aritmtica, tal
como los hombres lo requieren en sus casos
de herencias, legados, reparticiones, pleitos y
comercio, y en todos sus tratos con otro, o donde
la medida de tierras, la excavacin de
canales, clculos geomtricos y otros objetos de
varias clases y tipos estn involucrados
"
Mohammed ibn
Musa al-Juarismi
El al-jabr se divide en 3 partes. En la primera se explica cmo
resolver problemas
que involucran una incgnita y su cuadrado, a los cuales Al-
Juarismi llama sha y mal, respectivamente. Estos problemas
equivalen, para nosotros, a resolver ecuaciones lineales y
cuadrticas, que el autor clasifica en 6 tipos diferentes. El
lgebra en ese tiempo era verbal y se presenta un ejemplo
tomado del al-jabr para dar una idea de esta caracterstica. El
problema propuesto por Al-Juarismi es el siguiente: He
dividido diez en dos porciones. He multiplicado una de
las
porciones por la otra. Despus de esto, he multiplicado la una
de las dos por s
misma, y el producto de la multiplicacin es tanto como cuatro veces el de una
de las porciones por
la otra. Al-Juarismi procede a resolver este problema de la manera siguiente:
Llama sha (incgnita)
a una de las porciones; la otra es diez menos sha. Al multiplicar las
dos obtiene diez veces sha menos un mal (cuadrado), y, le resulta la
ecuacin: Un mal, el cual es igual a cuarenta sha menos cuatro mal. Al-
Juarismi usa al-jabr para restaurar el balance: agrega cuatro mal luego
aplica al- muqbalah para cancelar los opuestos y obtiene que cinco mal es
igual a cuarenta sha, por lo que un
mal es ocho sha, de donde se deduce que un sha es igual a ocho.
En lenguaje algebraico si x es la incgnita,
entonces 10 x
es la otra porcin, la
ecuacin
6
Trmino del que deriva la palabra lgebra.
propuesta
es
x
2
= 4x(10 x) por lo
que
x
2
= 40x 4 x
2
. Al-Juarismi usa al-
jabr:
x
2
+ 4 x
2
= 40 x 4 x
2
+ 4 x
2
, luego aplica al-
muqbalah
5x
2
= 40 x de
donde
x
2
= 8x y se
obtiene
x = 8 . No es muy diferente a como se hace en la actualidad, aunque es
importante notar que la solucin 0 no es contemplada pues Al-Juarismi dice
He dividido diez en dos porciones para el pensamiento de la poca
indica que una porcin se puede medir, pesar o concentrar y si no se
puede ninguna de estas, no existe.
Las propiedades expuestas, dentro del conjunto de los nmeros naturales, no
proveen de soluciones
a cualquier ecuacin de
la forma
ax = b a + x = b , esta situacin es una limitacin
al resolver
problemas pues muchos de ellos no tendrn solucin. Se puede
asegurar que la ecuacin
tiene solucin solo cuando b > a y ax = b la tiene si b es un mltiplo
de a.
a + x = b
La resta y la divisin en
Para completar la descripcin de las llamadas operaciones bsicas se debe
indicar que la resta y divisin, que aparecen en la manipulacin de
nmeros naturales, no generan una estructura
algebraica, al no estar definidas para todos los elementos de
, no son
operaciones internas. En
el estudio de las estructuras algebraicas sobre los nmeros naturales, estas, no
se consideran.
EJERCICIO 6
Sea el conjunto de nmeros naturales impares. Sobre este conjunto se
considera la suma ( + )
habitual de nmeros naturales. Pruebe
que ( , +)
no es una estructura algebraica.
EJERCICIO 7
Pruebe que la estructura cumple con las siguiente propiedades:
1. La multiplicacin es asociativa.
2. La multiplicacin es conmutativa.
3. Se satisface la ley de cancelacin, por lo que todos sus elementos son
regulares.
EJERCICIO 8
En la estructura
(, +, )
pruebe lo siguiente:
1. a
b
+
c
= a
b
a
c
.
2. (ab)
c
= a
c
b
c
.
3. (a
b
)
c
= a
bc
.
EJERCICIO 9
Resuelva, en el conjunto de los nmeros naturales, las siguientes ecuaciones:
1. 10x + 2 = 27 + 5x.
2. x
3
+ 8 = 35.
3. x
2
+ 6 x = 4 x + 15.
EJERCICIO 10
Considere = {1, 2, 3, 4,} y sobre l el conjunto de nmeros del 1
al 6. Llame
6
a tal
conjunto.
Se define la operacin *
sobre
6
por la tabla 1.2.
Tabla
1.2
1 2 3 4 5 6
1 3 5 1 3 5 1
2 5 2 5 2 5 2
3 1 5 3 1 5 3
4 3 2 1 6 5 4
5 5 5 5 5 5 5
6 1 2 3 4 5 6
1. Destaque el elemento neutro y el elemento absorbente.
2. Pruebe que en (
6
,*) , * es conmutativa y asociativa.
3. Pruebe
que
B = {4, 5, 6}
6
es una subestructura algebraica de
6
.
III. LOS NMEROS ENTEROS,
Brahmagupta (598-660) astrnomo y matemtico indio.
Es, sin duda, el mayor matemtico de la antigua civilizacin
india. Desarroll su actividad en
el noroeste de la India y resumi sus conocimientos
astronmicos en un libro
escrito en el ao 628, en el que rechazaba la rotacin de
la tierra. El rasgo ms importante de esta obra es la
aplicacin de mtodos algebraicos a los problemas
astronmicos. Los matemticos indios dieron un gran
servicio al mundo. Cabe recordar que en esta poca
Europa viva en la edad media y muchos de los
conocimientos cientficos conocidos por griegos, egipcios
y babilnicos, fueron olvidados. Mientras tanto, en la India
se introduca el uso posicional de los nmeros, el concepto y
el smbolo "cero".
Esta seccin inicia con la cita sobre la vida del matemtico indio
Brahmagupta. Esto se hace as pues los nmeros enteros tienen su
importancia por incluir a los enteros negativos, y es que, para muchos
matemticos europeos anteriores al renacimiento, estos nmeros carecan
de significado e inters.
1. Construccin del conjunto de nmeros enteros
La construccin formal del conjunto de los nmeros enteros se hace
mediante una relacin de
equivalencia
7
definida
sobre
, tal que (a, b)R(c, d ) a + d = b + c . Es
bastante sencillo
demostrar que esta relacin es reflexiva y simtrica, pues la conmutatividad de
la suma de naturales
permite acomodarlos a conveniencia. Se probar que es transitiva y, por lo
tanto, R es una relacin
de equivalencia para proseguir con la construccin de los enteros.
Proposicin 1
La relacin R definida anteriormente es transitiva.
Demostracin
Sean (a, b), (c, d ) y (e, f ) tales que (a, b)R(c, d ) y (c, d )R(e, f ) . Entonces a
+ d = b + c y
c +
f
= d + e as, al sumar ambas igualades
se obtiene
a + d + c +
f
= b + c + d + e. Ahora se
aplica
la ley de cancelacin de la suma de naturales,
eliminando c + d
en ambos lados se
obtiene
7
Una relacin de equivalencia es una relacin: reflexiva, simtrica y transitiva.
a +
f
= b + e , por lo que (a, b)R(e, f ) . El procedimiento anterior es posible por las
propiedades de
los nmeros naturales. Note, tambin, como se hace uso de la asociatividad y
la conmutatividad de
la suma en .
Una vez que se tiene la relacin de equivalencia, se determina el conjunto de
clases de equivalencia
8
, tambin llamado conjunto cociente. Analice casos
particulares para las clases. Note primero que dados 2
nmeros
naturales
k , m se tiene que solo se puede cumplir con una de las
siguientes afirmaciones:
k = m , o existe n tal
que
m + n =
k
k + n = m . En la primera de las
posibilidades
[(k , m)] = [(1,1)] . En la segunda se
cumple que
m + n + 1= k +
1
lo que significa
que
(k , m)R(n +
1,1)
y por lo tanto [(n + 1,1)] = [(k , m)] . y en la tercera, con un
argumento similar al
primero [(k , m)] = [(1, n + 1)] . Por esto basta con determinar las clases
donde alguna de las
coordenadas sea igual a 1, es decir
[
(
1,1
)
] : (a, b)R(1,1) a + 1 = b + 1 a = b.
La clase del (1,1) est compuesta por todos los elementos con ambas
coordenadas iguales. As
[(1,1)] = {(1,1), (2, 2), (3, 3)} . En un sistema de coordenadas cartesianas este
conjunto de puntos
pertenece a la
recta
y = x
[
(
2,1
)
] : (a, b)R (2,1) a + 1 = b + 2 a = b + 1.
Y se tiene que [(2,1)] = {(2,1), (3, 2), (4, 3)} . Note que la primera coordenada
excede a la segunda
en una unidad.
[(1, 2)] : Para la clase de [(1, 2)] , (a, b)R(1, 2) a + 2 = b + 1 a + 1 = b . Con esto
[(1, 2)] = {(1, 2), (2, 3), (3, 4)} , por lo que a la primera coordenada le falta
una unidad para ser igual a la segunda.
[(1, 3)] : (a, b)R(1, 3) a + 3 = b + 1 a + 2 = b . La clase del (1, 3) est
compuesta por los
puntos (1, 3), (2, 4), (3, 5), (4, 6) que se caracterizan porque a la primera
coordenada le faltan 2
unidades para ser igual a la primera.
[(3,1)] : (a, b)R(3,1) a + 1 = b + 3 a = b + 2 . La clase del (3,1) esta compuesta
por los puntos (3,1), (4, 2), (5, 3), (6, 4) cuya caracterstica es que la primera
coordenada excede en 2 a la
segunda.
8
Una clase de equivalecia est formada por todos los elementos que estn relacionados entre
s.
Luego se
define
= (
)/R
y se establece que [(n + 1,1)] = +n , [(1, n +
1)] = n
y [(1,1)] = 0 ,
por lo que se tiene construido el conjunto de los nmeros enteros. A los
elementos de la forma
[(n + 1,1)] =
+n
se les llama enteros positivos y a
[(1, n + 1)] = n
se les llama enteros
negativos. Al
elemento [(1,1)] = 0 se llama cero.
Ahora bien, en secundaria se
afirma que
, pero, segn la construccin
mostrada cmo es
esto posible si es un conjunto cociente? Pues bien, lo que sucede es que
existe una identificacin
entre los nmeros enteros positivos y n
. Lo que permite operar con suma

o producto enteros
positivos de la misma forma que con los nmeros naturales. Esta
correspondencia hace que
normalmente se suprima el signo + en la
expresin +n
y se regresa al conjunto de los
nmeros
naturales. En un captulo posterior se volvern a comentar situaciones
similares a la anterior llamadas isomorfismos. El diagrama, de la figura 1.2,
muestra la construccin de los enteros y su identificacin con los nmeros
naturales.
Figura
1.2
2. Aritmtica entera
Luego de la construccin de los nmeros enteros, se definen la suma y el
producto para este nuevo conjunto, claro est, estas dependern de las
operaciones y propiedades de los nmeros naturales.
Definicin 1. En el conjunto de nmeros enteros se definen las
operaciones internas:
[(a, b)] + [(c, d )] = [(a + c, b + d )].
[(a, b)] [(c, d )] = [(ac + bd , bc + ad )].
Cuando se define una operacin, o una funcin, utilizando un representante
9
de
la clase dentro de
un conjunto cociente es necesario determinar si esta es vlida para cualquier
otro representante, a esto se le llama determinar que la operacin est bien
definida. Es de esperar, por ejemplo, que si
[(4,1)] = [(6, 3)] y [(5, 3)] = [(8, 6)] entonces la suma [(4,1)] +
[(5, 3)]
debe ser lo mismo
que
9
Un representante es un elemeto cualquiera de la clase de equivalencia.
[(6, 3)] + [(8,
6)]
o bien si se multiplican estos elementos en lugar de sumarlos, los
resultados deben
ser iguales. Es por esta razn, que es necesario probar que las operaciones
estn bien definidas.
Proposicin 2
La suma definida sobre los nmeros enteros es independiente del
representante de la clase de cada
sumando.
Demostracin
Sean (a , b ) [(a, b)] y (c , d ) [(c, d )] , esto significa que a + b

= b + a

y c + d

= d + c

. Hay que
probar que [(a + c , b + d )] = [(a + c, b + d )] . Se tiene que
a + b + c + d = b + a +
d + c
esto al sumar los miembros de las igualdades iniciales. As, a + c + b

+ d

= b +
d + a

+ c
entonces
(a + c , b + d )R(a + c, b + d ) [(a + c , b + d )] = [(a + c, b + d )].
Tambin se debe hacer lo mismo con la multiplicacin definida anteriormente.
Proposicin 3
La multiplicacin definida sobre los nmeros enteros es independiente del
representante de la clase
que se utilice para cada factor.
Demostracin
Sean (a , b ) [(a,
b)]
y (c , d ) [(c,
d )]
lo que es
equivalente a
a + b

= b + a

y
c + d

= d +
c

.
Hay que probar que [(a c + b d , b c + a d )] = [(ac + bd , bc + ad )] . Se tiene que a
+ b

= b + a

si se
multiplica por c y por d se obtienen las ecuaciones:
ac + b c = bc +
a c,
ad + b d = bd +
a d .
Si se suman los miembros alternos de cada ecuacin, se obtiene:
ac + b c + bd + a d = bc + a c + ad +
b d.
(3)
Por otra parte, al tomar la igualdad c + d

= d + c

y multiplicarla por a

y b

tambin se obtiene:
a c + a d = a d +
a c ,
b c + b d = b d +
b c .
Y tambin, al sumar los miembros alternos de cada ecuacin, se obtiene:
a c + a d + b d + b c = a d + a c + b c + b d
que al sumarlos con los miembros correspondientes de la ecuacin (3) se
obtiene:
ac + b c + bd + a d + a c + a d + b d + b c = bc + a c + ad + b d + a d + a c +
b c + b d
en la cual, al simplificar la expresin b
c + a
d + a
c + b
d , se reduce a la
igualdad
ac + bd + a d + b c = ad + bc + a c + b d .
Con lo que se demuestra que (a c + b d , a d + b c )R(ac + bd , ad + bc) , por lo
que el producto es
el mismo independiente de los representantes escogidos.
Una vez que se sabe que la operacin est bien definida es preciso revisar las
propiedades de esta. Esto es, analizar la estructura algebraica de los nmeros
enteros.
3. Las estructuras algebraicas (, +) , (, ) y (, +, )
En esta parte del captulo se muestra que las propiedades de las operaciones
con nmeros enteros
estn fundamentadas en las ya demostradas con nmeros naturales. Por lo
pronto, tenga presente
que si x
entonces
x = [(a, b)] con a, b .
Proposicin 4
Las estructuras algebraicas (, +) , (,
) y (, +, )
cumplen con las siguientes
propiedades:
a) Para
todo
x, y y z se cumple que ( x + y) + z = x + ( y + z) ; ( x y ) z = x ( y
z).
b) Existen dos elementos 0 y 1 tales que 0 1 y para todo x
se tiene que
1 x = x 1 = x.
x + 0 = 0 + x = x y
c) Para
todo
x, y se
cumple
que
x + y = y + x
y que
x y = y x.
d) Para todo x existe un nico elemento
denotado por x
tal
que
x + (x) = (x) + x = 0
por lo que se dice que la estructura algebraica permite los "inversos"
llamados en este caso
opuestos.
e) Para
todo
x, y y z se cumple que ( x + y) z = xz + yz . (Propiedad
distributiva del
producto con respecto a la suma).
Demostracin
Para cada tem se mostrar solo una de las
aseveraciones.
a) Asociatividad de la suma. Para
demostrarla se calcula
x + ( y + z) y se compara con ( x + y)
+ z .
x + ( y + z) = [(a, b)] + ([(c, d )] + [(e, f )])
= [(a, b)] + [(c + e, d + f
)]
= [(a + c + e, b + d + f
)].
La asociatividad de la suma de naturales permite escribir la ltima expresin sin
usar parentesis. Por
otra parte,
( x + y ) + z = ([(a, b)] + [(c, d )]) + [(e, f )]
= [(a + c, b + d )] + [(e, f )]
= [(a + c + e, b + d + f )].
Por lo que se comprueba la asociatividad.
b) Considere 0 = [(1,1)] y 1 = [(2,1)] .
Es claro que [(1,1)] [(2,1)]
Ahora, x [(a, b)] x + 0 [(a, b)] + [(1,1)] = [(a + 1, b + 1)] = [(a, b)]
x.
c) Conmutatividad del producto.
xy = [(a, b)] [(c, d )]
= [(ac + bd , bc + ad )]
pues (1,1) R (2,1)
= [(ca + db, cb + da )]
(por conmutatividad de la multiplicacin)
= [(c, d )] [(a, b)]
= yx.
Note la utilidad de la conmutatividad de la multiplicacin de naturales.
d) Es claro
que si
x = [(a, b)] entonces x = [(b, a)] pues
x + (x) = [(a, b)] + [(b, a)] = [(a + b, b + a)] = [(1,1)] 0
por la conmutatividad de la suma de naturales.
e) Para la distributividad primero
se calcula
x( y + z)
x( y + z) = [(a, b)] ([(c, d )] + [(e, f )])
= [(a, b)] [(c + e, d + f )]
= [(a(c + e) + b(d + f ), a(d + f ) + b(c + e))]
= [(ac + ae + bd + bf , ad + af + bc + be)].
Ahora se calcula xy + xz
xy + xz = [(a, b)] [(c, d )] + [(a, b)] [(e, f )]
= [(ac + bd , ad + bc)] + [(ae + bf , af + be)]
= [(ac + bd + ae + bf , ad + bc + af + be)].
Por lo que, basta con aplicar la propiedad conmutativa a los sumandos para
obtener exactamente la
misma expresin y concluir que la multiplicacin distribuye con la suma.
En resumen, en las
estructuras (, +)
y (,
)
las operaciones son asociativas,
conmutativas y en
(, +,
)
se cumple con la distributividad del producto con respecto a la suma,
como en los nmeros
naturales. No obstante,
(, +)
tiene 2 propiedades adicionales: la existencia de un
elemento neutro
y la de inversos, los cuales permiten ofrecer la solucin de ecuaciones en forma
general. Es posible
asegurar que la
ecuacin
x + a =
b
tiene solucin con el
valor
x = b + (a) . No obstante, no
se ha
indicado que el inverso o el neutro sean nicos, aunque por la
forma del 0 y de x
parece
ser
evidente, pero en matemtica es necesario no dejar ningn cabo suelto, as
que, demuestre que el
inverso es nico y por lo tanto la solucin para
la ecuacin
x + a = b es nica. Observe
adems, que
no hace falta enunciar una ley de cancelacin para la
suma pues si
a + x = a +
y
al operar con
el
inverso de a , en ambos lados, se obtiene
la igualdad
x = y .
Con las caractersticas indicadas de la suma se dice que la
estructura (, +)
conmutativo o grupo abeliano. De paso, la resta se define a partir
de la suma:
x y = x + (y).
es un
grupo
En el caso de la multiplicacin, la estructura no es muy diferente que la
estudiada en el caso de los
nmeros naturales, no obstante la ley de cancelacin se cumple
con una restriccin:
ab = ac con
a
0
entonc
es
b = c . Adems, en general no hay inversos con la multiplicacin.
Para que existan
inversos es necesario que dado un nmero entero a probar o demostrar que
existe un entero b
con la
propiedad de
ab =1 , esto se cumple solo si a = b = 1
bien
a = b = 1, de esta forma,
solo
hay 2 elementos inversibles 1 y 1.
4. La estructura de anillo de los nmeros enteros
El conjunto de los nmeros enteros con la suma y multiplicacin
cumple que (, +)
es un
grupo
abeliano,
(, )
es un monoide conmutativo y la operacin

distribuye con
respecto a la +
,
con estas condiciones,
(, +, )
tiene una estructura de anillo conmutativo con
unidad. En esta
estructura, se cumple con las siguientes propiedades, adems de las ya
comentadas:
Proposicin 5
Sean x y y nmeros enteros, entonces:
1. 0x = 0.
2. x = (1) x.
3. (x) = x.
4. (x) (y ) = xy.
5. ( xy) = (x) y = x(y).
Demostracin
1. 0 x = (0 + 0) x = 0 x + 0
x
lados se obtiene
0 = 0x.
as 0x = 0x + 0x , luego, operando con el inverso de 0x
en ambos
2. Del punto anterior 0 = 0 x = (1 +
(1)) x
por la distributividad y porque 1 es el
neutro de la
multiplicacin se tiene que 0 = x + (1) x . Sumando el opuesto de x
en ambos lados
x = (1) x.
3. Se sabe que x = (1) x entonces (x) = (1)((1) x) por asociatividad
(1)(1) x
y por
clculo directo se comprueba que (1)
2
= [(1, 2)] [(1, 2)] = [(1 + 4, 2 + 2)] = [(5,
4)] = 1.
4. (x)(y) = ((1) x)((1) y) = (1)(1) xy = xy estas igualdades utilizan la
asociatividad y la
conmutatividad del producto de enteros, as como las propiedades
anteriores.
5. Se sabe
que
x0 = x( y + (y)) = 0 entonces por la distributividad del producto
con respecto
a la
suma
xy + x(y) = 0 por lo
que
( xy) = x(y) , como 0 y = ( x + (x)) y =
0
lo
que
indica que ( xy ) = (x) y.
Tambin hay que mencionar una propiedad de la multiplicacin que merece un
trato especial
xy = 0 x = 0 y = 0.
Con esta propiedad se dice que la
estructura (, +, )
no tiene
divisores de 0.
(4)
Teorema 1
En el conjunto de nmeros enteros se verifica la propiedad (4).
Demostracin
Se har por contrapositiva, esto es, si ambos son diferentes de 0, entonces el
producto es diferente
de 0.
Caso 1: si ambos son
positivos, sea
n, m , por la identificacin indicada se
tiene que
n = [(n + 1,1)] y m = [(m + 1,1)] , entonces:
nm = [((n + 1)(m + 1) + 1, n + 1 + m + 1)]
= [(nm + n + m + 2, n + m +
2)]
= [(nm + 1,1)]
0.
Caso 2: x positivo y y negativo,
entonces
x
( y
) 0 y por la proposicin anterior
xy = (x)(y) ( x(y)) 0 , esto pues corresponde al opuesto de un nmero
diferente de 0.
Caso 3: si ambos son negativos, se vuelve a utilizar la misma
igualdad del caso 2,
xy = (x)(y) 0
por lo que se obtiene el producto de 2 nmeros positivos. En cualquiera de los
casos se cumple con
la afirmacin.
Como observar, todas estas propiedades se utilizan al resolver ecuaciones.
5. Ecuaciones en
Las ecuaciones cuyos coeficientes pertenecen al conjunto de nmeros enteros
se llaman diofnticas,
en honor de Diofanto de Alejandra, siglo II de la era cristiana. Aunque aqu
solo interesan las de una variable. En esta parte de la seccin se desea
mostrar cmo se resuelven ecuaciones en una estructura algebraica de
anillo. En ella, las ecuaciones de primer grado en una variable o ecuaciones
lineales pueden simplificarse a la forma ax = b y estas tendrn solucin, solo si
b es un mltiplo de
a esto significa que existe c
tal que
planteada.
ac = b , en cuyo
caso
x = c es la solucin de la
ecuacin
Teorema 1
Dado
s
a, b y c entonces la
ecuacin
ax + b =
c
tiene solucin nica cuando a es un
mltiplo
de c b , esto es, existe k tal que ak = c b.
Demostraci
n
Si la
ecuacin
ax + b =
c
tiene solucin entonces
existe
x
1
tal
que
ax
1
+ b = c . Ahora se
suma
el opuesto de b en ambos lados de la ecuacin,
para obtener
ax
1
+ b + (b) = c + (b) entonce
s
ax
1
=
(
c b
) y por lo
tanto
x
1
es un factor de c b.
Ejemplo 1
Resuelva en la ecuacin 3x + 5 = 9 x 7.
Solucin
El procedimiento para resolverla es ms parecido a la forma que en secundaria
se ensea, al menos
x 6 3 2 1 1 2 3 6
(x 5) 6 3 2
x(x 5) 6 6 6 6
en los primeros
pasos.
3x + 5 = 9 x 7 3x + 5 + (5) 9 x = 9 x 7 + (5) 9 x.
Por asociatividad y conmutatividad la ecuacin es
equivalente a
6x = 12 y
como
12 = (6)2
entonces la
solucin es
x = 2.
Ejemplo 2
Considere la ecuacin 3x + 5 = 8x 3 , determine su solucin en .
Solucin
Como se mencion, en general, este tipo de ecuaciones no pueden ser
resueltas en una estructura
de anillo, lo que se va a hacer es encontrar una ecuacin ms sencilla para
hallar la solucin. Al utilizar los opuestos de 8x y de 5 , la asociatividad y
la conmutatividad, se puede simplificar la
ecuacin a
3x + 5 8x 5 = 8x 3 8x 5 5x = 8.
Esta ecuacin no tiene solucin pues 8 no es un mltiplo de 5 , el conjunto
solucin es .
Ejemplo 3
Considere la
ecuacin
x
2
2 x = 3x + 6 , determine su solucin en .
Solucin
Se despeja el trmino constante de la ecuacin,
en este caso,
x
2
5x = 6 , luego se factoriza
para
tener la
ecuacin
x( x 5) = 6 . Con esto x y ( x
5)
son divisores de 6 por lo que
solo hay 8
posibles valores para x : {t 1, t 2, t 3, t 6}.
1
Los espacios en blanco corresponden a valores que no sirven en la solucin.
Con esto, la solucin
es {1, 6}.
Una ecuacin curtica.
n n 1 1 0
n n1 1 0
n n 1 1 0
Ejemplo 4
Considere la
ecuacin
x
4
2 x
2
+ 4 = 0 , determine su solucin en .
Solucin
Se escribe la ecuacin con el trmino
constante despejado
4 = 2x
2
x
4
= x
2
(2 x
2
) . Se tiene
que
x
2
=1 x
2
= 4 . Para x los valores
son
x = t 1
y
x = t 2 . En el primero de los
casos
2 x
2
= 1 y
el producto es 1, diferente de 4. En el segundo caso 2 x
2
= 2 y el producto es
(8) . Por lo que,
no existe solucin de la ecuacin en el conjunto de los nmeros enteros.
Sea A un conjunto de nmeros, una ecuacin polinomial en una variable,
con coeficientes en
A , es una ecuacin que se puede escribir
de la forma
a x
n
+ a x
n
1
+ + a x +
a
= 0 ,
con
a
i
A, i
. Para ecuaciones polinomiales con coeficientes enteros, en general,

se debe satisfacer
una condicin para obtener soluciones enteras. Esto se conoce como la
condicin necesaria.
Proposicin 1
Condicin necesaria para que exista solucin de una ecuacin polinomial con
coeficientes enteros.
Se
a
a x
n
+ a x
n
1
+ + a x +
a
= 0 una ecuacin polinomial con coeficientes enteros.
Si es
una solucin a esta ecuacin entonces existe k tal que k = a
0
.
Demostracin
La ecuacin original se puede
escribir:
a x
n
+ a x
n
1
+ + a x = a ,
si es solucin
entonces
+ a a
n
n n 1
n 1
+ + a
1
= a
0
(a
n
n 1
+ a
n 1
n 2
+ + a
1
) = a
0
.
Si se toma k =
(a

n 1
+
a

n 2
+

+
a
)
que es un nmero entero, pues se escribe
como sumas
n n 1 1
de potencias de nmeros enteros, se tiene concluida la prueba.
El resultado anterior se utiliza en sentido inverso, esto es, si cualquier factor de
a
0
no es solucin de
la ecuacin, entonces se puede asegurar que la ecuacin no tiene soluciones
en tal y como se hizo con el ejemplo 4. Este resultado limita la bsqueda de
soluciones al clculo de divisores.
Ejemplo 5
Considere la
ecuacin
x
3
8x 6 = 0 , determine su solucin en .
Solucin
Al utilizar la proposicin anterior, los factores
de 6 son
ecuacin se obtiene la tabla 1.3.
Tabla 1.3
t 1, t 2, t 3, t 6 al sustituir estos
valores en la
6 3 2 1 1 2 3 6

3
8 6 = 0 174 9 2 1 13 14 3 162
De esta forma se asegura que no tiene soluciones enteras.
EJERCICIO 11
En la estructura
(
,
) pruebe la asociatividad y la existencia del elemento
neutro.
EJERCICIO 12
En la estructura
(
, +
) pruebe la conmutatividad de la suma.
EJERCICIO 13
En la estructura
( , ) pruebe que si a 0 y ab = ac entonces b = c.
EJERCICIO 14
En la estructura
( , +, )
determine, cuando exista, la solucin a las siguientes
ecuaciones:
1. 3x
2
+ 2 x 8 = 0
2. x
4
+ 2 x 0
3. x + 5 = 7 x x
2
EJERCICIO 15
En la estructura
( , +, )
demuestre que las ecuaciones siguientes no tiene
soluciones enteras:
1. x
3
+ 3x = 32
2. x
2
+ 2 x = 11
IV. ENTEROS MDULO n
Considere el conjunto de
nmeros enteros
{, 5, 4, 3, 2, 1, 0,1, 2, 3,} .
Sea
n 1
un
entero fijo y b un entero
cualquiera. Defina
q max
{
k : nk b
}
, entonces
existe
r
r
<
n tal que b
nq
+
r . Al valor q
se le llama cociente y a r
{0,1, 2,, n
1}

se le llama
residuo.
1. Construccin
Considere b un entero
cualquiera y
n
1
un entero positivo fijo. Para cada
valor b se
calcula el respectivo cociente y residuo con respecto a n . De esta forma se
obtiene, n residuos
diferentes que corresponden a cada uno de los
nmeros del 0 hasta
tendr el conjunto de residuos
{
0,1, 2, 3, 4, 5
}
.
n 1 . Por
ejemplo, si
n 6
se
Si en un sistema de coordenadas cartesiana se dibujan los pares
ordenados (b, r ) , r , el residuo
correspondiente de dividir b por n , se obtiene la figura 1.3.
Figura
1.3
Ahora, forme un conjunto con los nmeros cuyo residiuo es 0, se le denota 0 ,
as por extensin es
0
{
, 2n, n, 0, n, 2n,
}
, y est compuesto por los mltiplos de n . De igual
forma, el conjunto
con los nmeroscuyo residuo es 1, denotadopor 1 escrito por extensin, es
1
{
, 2n + 1, n + 1,1, n + 1, 2n + 1,
} . Continuando con el proceso se forman los
subconjuntos
2 , 3 ,
y
n 1 . Es posible vizualizar cada subconjunto dibujando lneas
horizontales en la figura 3
y notando que las abcisas de los puntos en la misma recta son los
subconjuntos anteriormente definidos, como se muestra en la figura 1.4.
Figura
1.4
Se tiene con esto una particin
10
del conjunto de nmeros enteros. La cul, en
general se le denota
po
r

n
.
As

n

{
0, 1,, n 1
}
. Note
que si
a, b
r
entonces a b kn y
consecuentemente si
la diferencia entre 2 enteros a y b es un mltiplo de n ,
entonces existe
a, b r . Se probar esto en la proposicin 1.
r
{
0,1, n 1
} tal
que
Proposicin 1
Sean a, b y n 1, entonces a b kn r {0,1,, n 1} : a, b r .
Demostracin
( )
Existen
q
1
, q
2

y
r
1
, r
2
{
0,1,, n 1
}
tales
que
a q
1
n +
r
1
y b q
2
n + r
2
, hay que
probar
que r
1
r
2
entonces
a b
(
q
1
n + r
1
)
(
q
2
n + r
2
)

(
q
1
q
2
)
n +
(
r
1
r
2
)
k n
(
r
1
r
2
)

(
k
(
q
1
q
2
) )
n.
Dado que los 2 residuos son no negativos y menores que
n ,
(
r
1
r
2
)
0
por lo que r
1
r
2
r.
( ) Si a q
1
n + r y b q
2
n + r es claro que a
b kn
con q
1
q
2
k.
Cuando a
k n se dice que a es congruente b mdulo n y se denota a
b
mod n . Al conjunto
n
se le llama conjunto de enteros mdulo n. La idea de que 2 nmeros son
congruentes es que ambos
tienen el mismo residuo al dividir por n tal y como se indic en la proposicin
1. Por ejemplo, si
n
12
la congruencia mdulo 12 permite saber cules horas, en un reloj
analgico, tienen la misma
disposicin de las agujas, tal como las 04:00 y las
16:00. O bien si
n
360
sirve para
determinar si 2
10
Una particin un conjunto A es una familia de subconjuntos de A cuya unin es A y la
interseccin, 2 a 2, de los
elementos de la familia es vaca.
ngulos son coterminales al utilizar su medida en grados sexagecimales.
Considere el ejemplo 12 para revisar la construccin del
conjunto
n
para n = 6.
Ejemplo 12
Sea n = 6 , determine la particin
6
.
Solucin
Como se indic, se toma cada nmero b y se obtiene su cociente y residuo
al dividir por 6. O
bien, dado que se tienen 6 posibles residuos
{
0,1, 2, 3, 4, 5
}
, enlistar todos
los nmeros con el
mismo residuo. As
0
{
, 12, 6, 0, 6,12,
} contiene a todos los mltiplos de 6.
1
{
, 11, 5,1, 7,13,
}
2
{
, 10, 4, 2, 8,14,
}
contiene a los nmeros que se pueden escribir
de la forma
contiene a los nmeros que se pueden escribir
de la forma
x = 6k + 1.
x = 6k + 2.
3
{
, 9, 3, 3, 9,15,
}contiene a los nmeros que se pueden escribir
de la forma
x = 6k + 3.
4
{
, 8, 2, 4,10,16,
}
, son los elementos de la
forma
x = 6k + 4.
La ltima
clase,
5 {, 7, 1, 5,11,17,} .
6
= {0, 1, 2, 3, 4, 5}.
2. Estructura algebraica de
n
Se definen operaciones de suma y
multiplicacin sobre
n
tal que
a + b c a + b
c
y a b c a b c
Con estas operaciones se cumplen con las mismas propiedades de anillo
conmutativo con unidad de
los nmeros enteros. Adicionalmente, existen otras propiedades que no cumple
y que s cumple
n
.
Teorema 1
Considere el
conjunto
n
cumple:
definido anteriormente en relacin a las
estructuras (
n
, +)
y (
n
, )
se
1. La suma y la multiplicacin son asociativas y conmutativas.
2. 0 es el elemento neutro de (
n
, +).
3. 1 es el elemento neutro de (
n
, ).
4. El inverso aditivo u opuesto de a es n a.
Demostracin
1. [Asociatividad y Conmutatividad de la suma.]
Observe que existe un nico
r
{
0,1,, n 1
} tal que a + b + c
r
y la asociatividad de enteros permite no
utilizar parntesis.
As a +
(
b + c
)

(
a + b
)
+ c r , en forma anloga, se demuestra la
conmutatividad de la suma.
2. Por la definicin de
suma
a + 0
a
pue
s
a + 0 a a
,
y por la conmutatividad
de la
suma de enteros mdulo n, se tiene que 0 + a a .
3. As
mismo,
mdulo n 1 a
a .
a 1 a
pues
a 1 a
a
por la conmutatividad del producto
de enteros
4. Para mostrar el inverso aditivo
note que
a + (n a) n
0
lo que significa
que
a + n a 0.
Tambin se tiene, en la estructura (
n
,
+
,
)

, que la multiplicacin distribuye
con la suma. Y con
esto es un anillo conmutativo con unidad. Adicional a estas se cumplen
con 2 propiedades que hacen de estos conjuntos estructuras algebraicas
diferentes a la de anillo de los nmeros enteros. Pero antes, se utilizar un
resultado que ser necesario para el teorema 2 y que pertenece ms al
mbito de la teora de nmeros, pero que se ocupa en esta parte del captulo.
Proposicin 2
[Identidad de Bzout
11
]
Sean a y
x, y : ax + ny 1.
n
2
un nmero primo, entonces
existen
11
Aunque la identidad de Bzout indica que ax+ny=d, con d el mximo comn divisor, para
los efectos de esta parte
del texto, basta el caso cuando alguno de los valores es primo.
Demostracin
Se
a
S {ax + ny > 0: x, y } se tiene que S por lo que existe un primer
elemento de S . Sea
d S este primer elemento, entonces, si se calcula el cociente y el residuo de
dividir n con d se
tiene que n dq + r , como d S , d
ax + ny
esta penltima ecuacin se obtiene
para algunos enteros x y y . Si se
sustituye d en
n dq + r (ax + ny)q + r axq + nyq + r (xq)a + (1 yq)n r r S r 0.
Esto pues r 0 , pero r < d min S , por lo que r 0 . Esto indica
que n dq
y como n es
primo
entonc
es
d 1 d n . Si d
n
por la igualdad d ax
+ ny
se deduce
con
y 0 que n ax ,
lo
cual es imposible pues n es primo. Por lo tanto d 1.
Teorema 2
Considere la estructura de anillo
(
n
, +,
)
definido anteriormente, se cumple:
a) Si n es un nmero primo, todos los elementos diferentes de 0 poseen
inverso multiplicativo.
b) Si n es un nmero compuesto tal que n = ab entonces a b 0.
Demostracin
a) Si n es primo y 0 a
n
, n no es mltiplo de a , por la identidad
de Bzout, existen
x, y tales
que
ax + ny =1 . En otras
palabras
ax + ny 1 , o lo que es lo
mismo
ax 1 ,
pues
ny 0 . Ahora, al obtener el cociente q y el residuo r de la divisin entre x
por n , se obtiene
x nq +
r
con 0 r <
n
y por lo tanto
ax a(qn + r) aqn + ar 1 ar 1
De esta forma a r 1 ha demostrado que existe el inverso multiplicativo de
a.
b) Si n es compuesto con n = ab se tiene que n ab 0 a b 0.
En conclusin (
n
,
+, )
es un anillo conmutativo con unidad tal que:
tiene divisores de 0 cuando n es un nmero compuesto.
todos sus elementos no nulos poseen inversos cuando n es un nmero
primo.
En este ltimo caso,
(
n
, +, )
cumple con una estructura llamada campo o cuerpo.
Un campo es un anillo conmutativo sin divisores de 0 en que todos los
elementos no nulos
12
tienen inverso con la segunda operacin.
Como se comprueba al revisar y completar las demostraciones de los teoremas
y las proposiciones
anteriores, las propiedades de
(
n
, +, )
estn sustentadas en las operaciones de anillo
de (, +, ).
Ejemplo 1
Estudie la estructura (
6
, +, ).
Solucin
Observe que al calcular las tablas 1.4 y 1.5, respectivamente, de la operacin
suma y multiplicacin
definidas sobre
6
siguiente:
en ambos casos se tienen 36 resultados que se representan en
su forma matricial
Tabla 1.4 Tabla 1.5
+ 0 1 2 3 4 5 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
No todos los elementos poseen inversos multiplicativos, el nmero 3 operado
con cualquiera da 0
3 , pero nunca 1 , esto significa que no tiene inverso multiplicativo. Hay
elementos que s lo tienen, se les llama inversibles. En este caso, 1 y 5 son
elementos inversibles. Por lo tanto, se tiene
la estructura de anillo conmutativo con unidad y con divisores de 0.
Se debe notar que, la
condicin
a b
0
sin que ninguno de los factores sea 0 se
debe destacar,
pues en los conjuntos numricos, a los que se est acostumbrado en la
primaria y secundaria, esta situacin no se presenta, por lo que aqu resulta
novedosa.
Otra propiedad que tampoco aparece en los conjuntos numricos es la
posibilidad de sumar varias
12
En un anillo, el neutro de la primera operacin es el elemento nulo, si existe tambin
neutro para la segunda
operacin, al neutro se le llama unidad.
veces un mismo elemento y que de 0. Esta condicin se llama caracterstica y
formalmente dice que
un anillo A es de caracterstica p si p es el menor natural tal que, para todo x
A , la suma con p
sumandos: x + x + + x es 0. Por ejemplo, 1 + 1 + 1 + 1
1 + 1 = 0
en
6
, por lo que es un
anillo
de caracterstica 6. En caso de que no exista tal p , como en el caso de los
enteros, se dice que es de caracterstica 0.
Para simplificar la escritura, se escribe 6 1 en lugar de la notacin expandida
para la suma. As, en
6
se tiene que 6 1 = 0 .
En general se usa la notacin nx cuando se tiene una estructura aditiva
y asociativa, como
sustitucin a la operacin expandida, donde el operando x aparece n
veces. En el caso de una
estructura multiplicactiva se
escribe
x
n
en lugar de la escritura desarrollada.
Ejemplo 2
Estudie la estructura (
5
, +, ).
Solucin
Primero se forman las tablas 1.6 y 1.7 para ambas operaciones.
Tabla 1.6 Tabla
1.7
+ 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
Luego, se puede asegurar que es un anillo conmutativo con unidad en el que
todos los elementos no
nulos poseen inverso con la segunda operacin. As, si se denota el
inverso de
a por
a
1
se
tiene
qu
e
1
1
1 , 2
1
3
,
3
1

2
y 4
1
4 . Esto hace de la
estructura
(
5
, +,
)
un campo.
Tambin
se cumple que 5 1 0 , 5 2 0 y en general 5 x 0 , por lo que es un campo de
caraterstica 5.
3. Ecuaciones en
n
En un conjunto finito es muy sencillo resolver ecuaciones, pues basta con ver
los resultados en una tabla de operacin. Esto es lo que se har en
n
.
Ejemplo 1
Resuelva la ecuacin 4x 2 = 5 en
6
.
Solucin
Sumando 2 en ambos lados se obtiene 4x = 1 . Ahora se suma 2x a ambos
lados y se usa la caracterstica del anillo, quepara este ejemplo es
6. Se tienela ecuacin
0 = 1 + 2x 5 2x x +
x.
Ahora se lee, en la tabla de
la suma en

6
, cul elemento
de la
diagonal es 5 . Se nota que aparece solamente 0 , 2 y 4 . Por lo tanto, la
ecuacin original no tiene
solucin o bien, tiene solucin vaca.
En el conjunto anterior qu relacin hay entre 4x y 4 x ? Lo primero que debe
notarse es que 4x
corresponde a la notacin simplificada de la suma y 4 x es el
producto de 2 elementos en

n
.
Adicional a esto, para el
caso de
n
corresponde al mismo resultado, pues por la
propiedad de
anillo conmutativo con unidad se tiene:
4 x x + x + x + x 1 x + 1 x + 1 x + 1 x (1 + 1 + 1 + 1) x 4 x.
En la ecuacin anterior,
5 2x
es lo mismo que 5
2 x
y, observe en la tabla 7,
que no hay
elemento que multiplicado con 2 de 5 .
Pero en
6
8x 8 x ,
pues
8
6
aunque 8x 2 x
en
virtud de la caracterstica del anillo. El objetivo en las ecuaciones lineales,
en una estructura de anillo, es despejar la expresin que tenga la variable y
obtener una ecuacin con solucin inmediata.
En el ejemplo 2 se trabaja en
5
as que tenga a mano las tablas de
operacin.
Ejemplo 2
Resuelva la ecuacin 4x 2
= 4
en
5
.
Solucin
La estrategia es despejar la incgnita. Sumando 2 en ambos lados se obtiene
4x = 4 + 2 2 , as
la ecuacin 4x =
2
y
como
2 3 se reduce a 4x = 3 . Adems, se tiene que
4x = 4 x , la
ecuacin queda 4 x = 3 o
bien
x = 4
1
3 4 3 2 . As, la
solucin es
x = 2.
Ahora, una ecuacin cuadrtica sobre el campo (
5
, +, ).
Ejemplo 3
Resuelva la ecuacin 4 x
2
2 x = 1
en
5
.
Solucin
En la tabla de la multiplicacin la diagonal corresponde a los
resultados de
posibles resultados 1 o 4 .
x
2
, por lo que
hay 2
Primer
caso:
x
2
1 , la
ecuacin es
4 2 x = 1 2 x 3 3 x 2 x 3
1
2 2 2 4.
El
elemento
x = 4 cumple con la condicin
de que
4
2
= 1
.
Segundo
caso:
x
2
= 4 , la ecuacin es 1 2 x = 1 2 x 0 3 x 0 x 3
1
0 0.
Pero esta solucin no cumple con la
condicin
x
2
= 4 . Por lo tanto la
solucin es
x = 4.
EJERCICIO 16
S
ea

n

{
a
n
: x, y ax + ny
1
}
el conjunto de la clase que no tienen
divisores comunes
con n . Demuestre que la
estructura
(
n
,
)
donde la multiplicacin es la
definida en
n
es
asociativa, conmutativa, tiene elemento neutro y todos sus elementos poseen
inversos.
EJERCICIO 17
Pruebe que en la estructura
(
n
, +,
)
conmutativa.
EJERCICIO 18
la multiplicacin distribuye con la suma y
es asociativa y
En
8
y

5
determine las tablas de operacin para las 2 operaciones
definidas en la seccin.
Enumere elemento neutro, elementos inversibles y la caracterstica del anillo
en cada caso.
EJERCICIO 19
Resuelva las siguientes ecuaciones en
5
:
1. 4 x 1 = 8x + 2.
2. x
3
x = 4.
3. 2 x
2
+ x 1 = 0.
EJERCICIO 20
6
:
1. 4 x 1 = 8x + 2.
2. x
3
x = 4.
3. 2 x
2
+ x 1 = 0.
V. EL CAMPO DE LOS NMEROS RACIONALES
Al conjunto de las fracciones de nmeros enteros se les dota de las 2
operaciones conocidas de suma y producto, cuyas propiedades se pueden
enumerar (y demostrar) al estar definidas a partir de
la suma y multiplicacin de enteros.
1. Construccin
La construccin formal de los nmeros racionales se hace a partir de los
nmeros enteros por
medio de una relacin en el
conjunto
(
{0})
en donde se define la
relacin
(a, b) R(c, d ) ad =
bc
esta relacin es reflexiva, simtrica y transistiva. De la 3
propiedades, la
nica que no es tan evidente es la transitividad, por esto, ser lo primero que
se demostrar.
Proposicin 1
La relacin anterior definida sobre ( {0}) es transitiva.
Demostraci
n
Sean (a, b), (c,
d )
y (e, f ) ( {0}) tales
que (a,
b) R(c, d )
y (c, d )
R(e, f )
entonces ad = bc
y
cf
= ed . Si se multiplica la primera
igualdad por
f
0
se
obtiene
adf = bcf . Ahora se
cumple
con:
adf
= bcf a(df ) b
(
ed
)
pue
s
cf = ed . Al factorizar en la ltima igualdad y
aplicar la ley
de cancelacin para d 0 se
obtiene af

be
por lo que (a, b) R(e, f ).
Ahora se define el conjunto
cociente
= ( (
{0}))/R
y se le llama el conjunto
de los
nmeros racionales. Una forma de visualizarlo es notar que a cada clase de
equivalencia pertenecen
los pares ordenados que forman fracciones equivalentes as, en lugar de
[(a, b)]
,
se utilizar la
expresin ms conocida
a
.
b
2. Estructura algebraica de
En este conjunto se define la suma y la multiplicacin de la manera
como se aprende en la
secundaria. Sean
r =
a
b
y s =
c
d
dos elementos de , se define lo siguiente:
Suma de racionales r
+
s =
a
+

c
=
ad
+
bc
.
b d bd
Producto de racionales r s =
a

c
=
ac
.
b d bd
En la misma lnea de probar que las operaciones estn bien definidas,
hay que mostrar que son
independientes de su
representante. As, si
a
=
a

y
b b
c
=
c
d d
entonces se espera que la

suma
a
+
c
b d
sea igual a
a

+

c
o si en lugar de suma es producto, se obtenga tambin, el

mismo resultado.
b d
Proposicin 2
La suma y el producto definidos anteriormente son independientes del
representante de la clase.
Demostracin
Suma: hay que mostrar
que
ad
+
bc
=
a

+
c
b

sabiendo que
bd b
a
=
a

y
b b
c
=
c

. Estas igualdades
d d
son equivalentes al escribir

ab

= a
b
y cd

= c
d . Ahora calcule (ad + bc)b d

(ad + bc)b d = (ab )d d + (cd )bb = (a b)d d + (c d )bb = (a d + c b )bd
.
Y la ltima igualdad indica lo que se quiere mostrar.
Producto: en forma semejante
(ac)(b d ) = (ab )(cd ) = (a b)(c d ) = (a c )(bd )
ac a c
Y con esto se muestra que = .
bd b
Luego de saber que las operaciones estn bien definidas se pasa a revisar las
propiedades algebraicas
de estas. Tal como se hizo en el caso de los nmeros enteros, se prueba cada
una de las propiedades que se han estudiado en las secciones anteriores.
Teorema 1
a) La suma y la multiplicacin de nmeros racionales es asociativa y
conmutativa.
b) Existe 0 elemento neutro de la suma en y existe 1 neutro para la
multiplicacin con 0 1.
c) Todo nmero racional x posee un inverso aditivo
(opuesto) x
tal
que
x + (x) = 0.
d) Todo nmero racional x diferente de 0 posee un inverso
multiplicativo
xx
1
=1 . Por lo que no hay divisores de 0.
e) La multiplicacin distribuye con la suma.
x
1
=
1
x
tal
que
Demostracin
Se probar una de las propiedades postuladas
en cada tem.
a) La multiplicacin es asociativa
a c e _
=
a ce
=
ace
=
ac
e
=

a c
_
e
.
b

d f
b df bdf bd f

b d

f
b) Considere 0 =
0
, note
que
a
+

0
=
a1
+
b0
=
a
por las propiedades de los nmeros
enteros.
1 b 1 b1 b
Para la otra parte considere 1=
1
. Es claro que 0
1 y que si
1
1 x =
a
b
se cumple
c)
Si
x =
a
b
entonces
x =
a
b
pue
s
1 b 1b b
x
+
(
x) =
a
+

a
=
ab + (a)b
=
ab ab
=
0
y
como
0
=
0
= 0
b
2
1
b b b
2
se tiene lo pedido.
b
2
b
2
d)
Si
x =
a
0 entonc
es
x
1
=
b
pue
s
a 0
y
x
x
1
=
a

b
=
ab
y
como
ab
=
1
= 1 se
cumple
b a
la propiedad.
b a ab ab 1
e) Hay que
probar
x( y + z) = xy + xz .
Sean
x =
a
, y =
c
b d
y z =
e
,
entonces
f
x( y
+
z) =
a cf + de _
=
a(cf + de)
=
acf + ade
.
Adems
xy
+
xz =
ac
+

ae
=
acbf
+ aebd
.
b
fd
bfd bfd bd bf b
2
df
,
Aunque las expresiones no son literalmente iguales, es
posible comparar
(acf + ade)b
2
df y
(acbf + aebd )
bfd
para asegurar la igualdad entre las fracciones:
(acf + ade)b
2
df = acb
2
df
2
+ ad
2
eb
2
f = (acbf + aebd )bdf .
Con estas propiedades
(, +, )
es un campo que contiene a los nmeros enteros,
pues, en forma
semejante, con la identificacin que se hace de los nmeros naturales
como subconjunto de los
nmeros enteros, tambin se hace con las
fracciones de la forma
a
con el nmero
entero a .
1
Adems, si se tiene otro campo
(
K , +,
)
que contenga al anillo (, +, ) ,
entonces K , por esto
se dice que es el campo ms pequeo que contiene a .
3. Ecuaciones en
A diferencia de los otros conjuntos, por fin se puede dar una frmula general
para las ecuaciones
lineales con coeficientes racionales. Todas las ecuaciones
lineales de la forma
ax + b = 0
tienen
solucin nica
para
a 0 , esta
es
x = a
1
(b) . Por esto, cualquier ecuacin lineal se
transforma en
una ecuacin de esta forma para luego determinar la solucin. Note que otra
forma de escribir la
solucin
es
x =
b
, esto es, una fraccin cuyo numerador y denominador son
fracciones. No
a
obstante, ecuaciones cuadrticas y polinomiales en general, no poseen solucin
dentro de . Para esto es necesario considerar conjuntos llamados
"algebraicamente cerrados", de los cuales se hablar
ms adelante.
EJERCICIO 21
Demuestre que la suma de nmeros racionales es asociativa.
EJERCICIO 22
Demuestre que 0 < a
< b ,
a, b , entonces
a
puede representar o bien por
medio de una
b
expresin
decimal
finita
a
0, d d d d
b
1 2 3 n
o una expresin decimal
infinita peridica
a
d d d d d d
d d d d
d . o bien una fraccin con una parte no peridica y otra
b
0,
1 2 3 m 1 2 3 m 1 2 3
a
e e e d d d d d d
d
d d d d Sugerencia: utilice el
algoritmo de la
peridica
b
0,
1 2 k 1 2 3 m 1 2 3 m 1 2 3
divisin de enteros.
EJERCICIO 23
Pruebe que la estructura
(, +, )
no tiene divisores de 0.
EJERCICIO 24
Pruebe que si
(
K , +,
)
es un campo tal que
(
, +,
)

(
K , +,
)
, entonces
K.
EJERCICIO 25
En la estructura
(, +, )
resuelva las siguientes ecuaciones, utilice factorizacin y
la propidad de
que no tiene divisores de 0:
a. 8x
3
= 1.
b. 81x
4
= 16.
c. 3x
2
+ 2 x = 1.
2
VI. CAMPOS QUE CONTIENEN A LOS RACIONALES
Generalmente, en la enseanza secundaria, cuando se ve por primera
vez estas estructuras, es natural pensar que, fuera de los nmeros
racionales, si se especula en un campo que los contenga, la respuesta ms
frecuente es el conjunto de los nmeros reales. Algunas veces se
piensa que no existen"campos intermedios" que abarquen a los
racionales que no sean iguales al conjunto de nmeros reales. Los
siguientes ejemplos muestran conjuntos dotados de las operaciones usuales
que permiten visualizar diversas estructuras de campos que incluyen todos
los nmeros racionales y un poco ms de elementos.
Para ello se ocupa formar un conjunto con nmeros racionales e irracionales en
los que se permita operarlos con las mismas propiedades de campo, que se
acaban de repasar, dentro de la misma
estructura algebraica. Tome por ejemplo 2 , dado que no existe
una fraccin
p
tal
que
p
2 ,
q q
2
se tiene2
. Cmo definir una suma de un racional y 2 , o el inverso de

esta suma? Las
siguientes estructuras resuelven esta dificultad.
1. El campo

2 1
]
Defina el conjunto

2 1

= {a
+
b
2 con a, b
} , en este conjunto se definen la

suma y la
]
multiplicacin tal que
(
a + b
2
)
+
(
c +
d
2
)
= a + c +
(
b + d
)
2
(
a +
b
2
)

(
c +
d
2
)
= ac + 2bd + (ad + bc) 2
Con estas operaciones este conjunto es tambin un campo en donde ecuacione
s como x
2
2 = 0 ,
x
2
+ 4 x 4 = 0 s tienen solucin. Pero no toda ecuacin cuadrtica lo tiene,
as, se resuelve el
problema de las soluciones en forma parcial.
2. El campo

2, 3 1
]
A este conjunto pertenecen los elementos que son de la forma
u +
x
2 + y 3 + z 6 , u, x, y, z
Se definen las operaciones usuales de suma y multiplicacin y este
conjunto dotado de esta
estructura es un campo que
contiene a
2 1

.
3. El campo

3
2,
3
4
1
Los elementos de este conjunto estn formados por
a + b
3
2 + c
3
4 , a, b, c
De nuevo se tiene una estructura de campo al definir la suma y la

multiplicacin de la siguiente
forma:
(a + b
3
2 + c
3
4) + (d + e
3
2 + f
3
4)
= a + d + (b + e)
3
2 + (c + f )
3
4.
(a + b
3
2 + c
3
4 )(d + e
3
2 + f
3
4 )
= ad + 2(bf + ce) + (ae + bd + 2cf )
3
2 + (af + be + cd )
3
4.
Este conjunto incluye a los nmeros racionales, permite la solucin de
otras ecuaciones como
x
3
2 = 0, pero no todas las ecuaciones polinomiales pueden ser resueltas en
este conjunto y entre
(
3
2 ,
3
4
)
y ( 2 ) lo nico en comn son los racionales.
Con esto se quiere mostrar que existe una infinidad de campos que
contienen a los nmeros
racionales y que entre ellos esto es lo nico en comn. Cada uno de
estos conjuntos se llama extensin algebraica de . Lo interesante de
estas extensiones es que todas pertenecen a otro campo mucho ms
grande, el campo de los nmeros reales.
4. El campo de los nmeros reales
Existen varias formas de construir los nmeros reales a partir de los
nmeros racionales. Interesa aquellas que justifiquen la suma y la
multiplicacin a partir de las operaciones sobre nmeros racionales. Una
de estas construciones aparece en el libro Anlisis Real de Carmen
Gonzlez (Gonzlez, 1996), en esta obra, por medio de sucesiones de
racionales y de las propiedades de los
lmites, se define a este conjunto denotado por . Se demuestran las
propiedades de asociatividad,
conmutatividad, existencia de elemento neutro; tanto para la suma
como para el producto, fundamentados en las propiedades de los
nmeros racionales y las sucesiones. Tambin se demuestran los
inversos y la propiedad distributiva del producto con respecto a la suma.
Por ahora, tenga presente que la suma y la multiplicacin sobre los nmeros
reales cumplen con las mismas propiedades de estas operaciones sobre el
conjunto de los nmeros racionales. Ahora bien,
la construccin de los reales resuelve una dificultad ms topolgica que
algebraica. Porque en el
conjunto de los nmeros reales toda sucesin de Cauchy converge (por lo
que se llama completo) y permite representar a este conjunto en una lnea
recta, condiciones muy importantes. No obstante, esto no es lo que se est
buscando con el desarrollo mostrado. Lo que se quiere, es determinar un
conjunto dotado de las dos operaciones aritmticas bsicas, tal que, los
nmeros racionales estn incluidos y que toda ecuacin polinomial con
coeficientes en dicho conjunto posea solucin. Los nmeros reales no
cumplen con esta cualidad. An quedan ecuaciones polinomiales
con coeficientes reales que no tienen solucin en este conjunto.
Esto significa que "topolgicamente" y son extremadamente diferentes,
no obstante en su estructura algebraica cumplen con las mismas propiedades
y tienen la misma desventaja. No toda
ecuacin polinomial con coeficientes dentro del conjunto tiene solucin.
Por este inconveniente se considera el campo de los nmeros complejos que
es "algebraicamente cerrado. Esto fue demostrado por Carl F. Gauss en 1801;
en breve este hecho se le conoce como
el TEOREMA FUNDAMENTAL DEL LGEBRA. Pero antes de enunciar el
teorema, se
estudiar la construccin de este conjunto a partir de las propiedades de los
nmeros reales.
5. El conjunto de los nmeros complejos
Considere el conjunto = dotado de la siguiente estructura:
(a, b) + (c, d ) = (a + c, b + d
),
(a, b) (c, d ) = (ac bd , ad +
bc).
Con estas operaciones, as definidas, es posible probar las diferentes
propiedades y concluir que
cumplen las mismas que la suma y la multiplicacin de nmeros reales.
Teorema 1
La estructura
(, +, )
multiplicacin a (1, 0).
es un campo con elemento neutro para la suma a (0, 0)
y neutro para la
Demostracin
Se debe probar que la
estructura (, +)
es un grupo abeliano con neutro (0, 0) ,
luego que
( {(0, 0)}, ) es un grupo abeliano y que la multiplicacin distribuye con la
suma. Solo se probar
esto ltimo, y se deja el resto de enunciados como ejercicio.
Sea
n
x = (a, b), y = (c, d )
y
z = (e, f ) por una parte
x( y + z) = (a, b) (c + e, d + f ) = (a(c + e) b(d + f ), a(d + f ) + b(c + e))
= (ac + ae bd bf , ad + af + bc + be).
Mientras que la expresin
xy + xz
es igual a:
xy + xz = (a, b)(c, d ) + (a, b)(e, f ) = (ac bd , ad + bc) + (ae bf , af + be)
= (ac bd + ae bf , ad + bc + af + be).
Y salvo el orden de los trminos, que no es importante pues en la suma es
conmutativa, ambas
expresiones son iguales.
Es posible asociar a todo nmero real con un elemento del conjunto de los
nmeros complejos y as
escribir
que
. Se identifica a a con
( a, 0) por ejemplo, se escribe
1= (1, 0) , con
esto
si
a a
( a, 0
)
estos puntos estn sobre el eje x
en el plano
= .
Adems,
si se
llama
i = (0,1) es posible escribir cualquier nmero complejo de una forma
ms algebraica.
(a, b) = (a, 0) + (b, 0) (0,1) = a + bi.
Otro dato importante es el
valor de
i
2
, por la definicin de la multiplicacin se
tiene que
i
2
= (0,1)(0,1) = (1, 0) = 1 . Por esto algunas veces se escribe la
igualdad i =
1.
Con esta equivalencia, las operaciones entre los nmeros complejos no
necesitan de una definicin
por medio de pares ordenados, basta con la manipulacin de las expresiones
algebraicas asociadas:
n n 1 1 0
Suma de nmeros complejos:
(
a + bi
)
+
(
c + di
)
a + c +
(
b + d
)
i.
Multiplicacin de nmeros complejos: (a + bi)(c + di) = ad bd + (ad + bc)i.
Como se indic, este conjunto cumple con el citado teorema cuya demostracin
se omite por estar alejada de los objetivos de este captulo.
Teorema 2 [Teorema fundamental del lgebra]
Se
a
a x
n
+ a x
n
1
+ + a x + a = 0
una ecuacin polinomial con coeficientes en
entonces
existe tal que es solucin de esta ecuacin.
Con esto se resuelve la carencia de todas las estructuras anteriores, esto
es, dada una ecuacin
polinomial con coeficientes en un campo, asegurar que tiene solucin en el
campo.
EJERCICIO 26
Pruebe que el conjunto de las
fracciones

m
, n, m

dotado de las operaciones

usuales en ,
'

2
n
;
de suma y producto, es un anillo conmutativo con unidad pero no es un

campo. Pruebe que este conjunto incluye a los enteros.
EJERCICIO 27
Demuestre que el conjunto de nmeros complejos es un campo con las
operaciones de suma y multiplicacin definidas.
EJERCICIO 28
Pruebe que el
conjunto
2 1

es un campo con las operaciones definidas en esta
seccin.
]
EJERCICIO 29
Pruebe que el conjunto de nmeros complejos {n + im, n, m } dotado de las
operaciones usuales
de suma y producto es un anillo conmutativo con unidad. A los elementos de
este conjunto se les
llama enteros gaussianos.
EJERCICIO 30
Pruebe que el conjunto

3
2,
3
4
1
es un campo con las operaciones definidas en
esta seccin.
VII. OTRAS ESTRUCTURAS CONOCIDAS
Una vez que se ha finalizado el repaso de las estructuras algebraicas
presentes en los conjuntos numricos, se finaliza el presente captulo con
la revisin de otras estructuras estudiadas en cursos previos.
1. Matrices
La primera de las estructuras est presente en el lgebra lineal,
concretamente las matrices con entradas en . Una matriz es un arreglo
de mn nmeros colocados en m filas o renglones y n columnas. Sobre
estos conjuntos se define una suma que corresponde a la suma
componente a
componente. La multiplicacin no est definida, en general para matrices de
tamao m n , es por
esto que si se consideran solo matrices cuadradas
13
entonces se tienen
definidas las 2 operaciones.
Es conveniente que repase la definicin de la multiplicacin, pues aqu, solo se
indica un resumen
de propiedades y los clculos que justifican las afirmaciones no se comentan.
Puede revisar estas demostraciones que se encuentra en el texto
"Elementos de lgebra Lineal" de Hugo Barrantes C.
(Barrantes, 2006).
Teorema 1
Se
a

n
el conjunto de matrices cuadradas de
tamao n n
con entradas en .
En este
conjunto, dotado de las operaciones de suma y producto usuales de matrices,
se cumple con:
a) La suma y la multiplicacin son asociativas.
b) El elemento neutro de la suma es la matriz nula y el de la multiplicacin la
matriz identidad.
c) Todos los elementos tienen inverso aditivo, pero no necesariamente
inverso multiplicativo.
d) La suma es conmutativa.
e) La multiplicacin no es conmutativa.
f) La multiplicacin distribuye con la suma.
g) S tiene divisores de 0.
h) No se cumple la ley de cancelacin para la multiplicacin.
Como se indic, no se va a realizar la demostracin de las propiedades
enunciadas en el teorema. La
idea es mostrar que la asociatividad, la existencia de elemento neutro, tanto
para la suma como la
multiplicacin y la conmutatividad de la suma, son propiedades conocidas
utilizadas en el lgebra
lineal y contribuyen a reforzar los conceptos estudiados en este texto. Por otra
parte, en la cita del
libro Elementos de lgebra Lineal aparece la demostracin
de que (
n
(), +)
es un grupo abeliano
con elemento neutro, la matriz nula, esto demuestra los incisos a), b), c) y d)
en lo relacionado con
la suma. Adems, se prueba que
(
n
(), )
es asociativa y que la matriz identidad es
el elemento
neutro para esta estructura. Tambin, se demuestra que la multiplicacin
distribuye con la suma
cuando las matrices son cuadradas y que la multiplicacin no es conmutativa.
Para probar que tiene
divisores de 0 y que no se cumple con la ley de cancelacin basta con
dar un ejemplo. Sean
A, B
3
() tales que
13
Igual nmero de filas que de columnas.
, , ,
0 0

01 0
_
01 0
_
0 0 1
_
A =

00 1

, B =

0 0
0
y C =

0 0 0

.

00 0

0 0 0

0 0 0
Con estas matrices se

cumple que
cancelacin, note que
A B = 0 , sin que ninguna de las matrices sean 0.
Para la ley de
AB = AC
Y no se puede cancelar y
concluir que
B = C.
De esta forma, el teorema afirma que (
n
(), +) es un grupo abeliano, (
n
(),
) es un monoide
no
conmutativo;
(
n
(

)
,
+, )
es un anillo con unidad. Esta estructura permite
conocer otro
elemento especial de la teora de anillos, los elementos nilpotentes.
Definicin 1 Sea ( A,
+, *)
un anillo con neutro 0 para la primera
operacin, un
elemen
to
x
0 se llama nilpotente si existe k

tal que
x
k
= x * x* x = 0.
k veces
Existen elementos
nilpotentes en

n
() . Por ejemplo
para
n 2 ,
considere

01
_
N =
,
y
es
sencillo verificar que
cumple con
N
2
= 0.
En el caso de las
ecuaciones
AX = B donde las 3 matrices involucradas tienen el
mismo tamao la
solucin es nica si A es una matriz invertible
en cuyo caso
X = A
1
B . Es conveniente
recordar
que si A y B son matrices invertibles entonces AB es invertible tambin
y se cumple con
( AB)
1
= B
1
A
1
y que la no conmutatividad del producto impide modificar el
orden.
2. Polinomios
Un polinomio, en la
variable
x, con coeficientes en un campo K (puede ser
,
, o
etc) es una
expresin que suma potencias de la variable multiplicadas por los nmeros del
campo que se llaman coeficientes.
n n 1 1 0
n

i i
p = a x
n
+ a x
n
1
+ + a x +
a
=
i =0
a x
i
a K .
El mayor j tal
que
a
j

0
se le llama el grado de p
denotado por
gr ( p) . En caso de
que el
polinomio tenga todos sus coeficientes nulos se dice que el grado es .
i
i
i
k
u
Al conjunto de los polinomios en la variable x con coeficientes en
K se le denota
K [ x] .
Sobre
este conjunto se definen, de manera natural, una suma y una
multiplicacin. Sea
p =
n
a x
i
i =0
polinomio de grado n y q
=
m
b x
i
i =0
un polinomio de grado m entonces
max{n ,m}
i i i i
p + q = (a
i =0
+ b ) x
i
,
con a
= 0 si n < i m, o b = 0 si m < i n
n +m

k k

i j
pq =
k =0
c
x
k
con c = a b .
i + j =k
Teorema 2
Con las operaciones anteriores ( K [ x], +, ) es un anillo conmutativo sin
divisores de 0.
Demostracin
Hay que probar que ( K [
x], +)
es un grupo abeliano. (
K [ x], )
es asociativa y que la
multiplicacin
distribuye con la suma. Solo se prueba esto
ltimo. Sean
p, q, r K[
x]
con
grados
n, m y l
y
coeficientes a
i
,
b
j
, c
k
respectivamente,
entonces

max{m,l
}
_
n + max{m ,l }
p(q + r) = p
i=0
(b
i
+ c
i
) x

=
,
k =0
d
k
x
con d
k
=

a
i
(b
j
+ c
j
) =

(a
i
b
j
+ a
i
c
j
).
Por otra parte, pq
+ pr
es
igual a
i + j =k i + j=k
n + m n+l

k k

i j k

i j
e x
k
+ f x
k
con e = a b y f = a c
esta suma es
igual a
k =0 k =0
max{n +m,n +l}
i + j = k i + j = k
k k
k =0
(e +
f
) x
k
.
Como max{n + m, n + l} = n + max{m, l} se tiene que ambas expresiones son
iguales.
Es interesante indicar que ( K
[ x], +, )
tiene una estructura algebraica idntica a la de
los nmeros
enteros. Inclusive en esta estructura hay una divisin de polinomios con un
algoritmo semejante al
de los enteros.
3. Funciones
Sea A un conjunto no vaco, si se considera
el conjunto
( A) = { f : A A
:
funcin} tambi
n
denota
do
A
A
con la operacin de composicin, tambin se tiene una
estructura asociativa con
unidad, donde algunos elementos son inversibles y la operacin no es
conmutativa.
Teorema 3
La estructura ( (
A), )
es un monoide.
Demostracin
Sea
n
f , g
y
h (
A)
entonces para
demostrar que
f ( g h) = ( f g
) h
se evala en
un
elemento cualquiera
de A .
Mientras que
f ( g h)(a)
=
f (( g h)(a))
=
f ( g (h(a ))).
( f g ) h)(a) = ( f g )
(h(a)) =
f ( g (h(a))).
Probando con esto la asociatividad. Dado que la funcin
identidad satisface
tiene la exitencia del elemento neutro y esto concluye la
prueba.
f id = id f = f
se
En resumen, se present la mayora de los ejemplos conocidos de estructuras
algebraicas indicando
algunas propiedades. En el siguiente captulo se trabajar con el concepto de
estructura algebraica general, por lo que es til tener a mano cada uno de estos
ejemplos.
EJERCICIO 31
Demuestre
que si
A, B
n
()
invertibles entonces se cumple que:
1. ( AB)
1
= B
1
A
1
.
2. ( A
1
)
1
= A.
EJERCICIO 32
Sea I la matriz identidad de tamao
n n , sean
A, B M
n
()
tales
que
A, B, ( A +
B)
son
matrices invertibles.
Demuestre que
A
1
+ B
1
es tambin invertible
(
A
1
+ B
1
)
1
A( A + B)
1
B y a
su vez es
igual a
B( A + B)
1
A.
n n 1 0 m m1 0
n n 1
EJERCICIO 33
Sea
n
p = a x
n
+ a x
n
1
+ + a y s = b x
m
+ b x
m
1
+ +
b
polinomios de grado n
y m
respectivamente, pruebe que existen polinomios q
y r tales que
que m . Este es el algoritmo de la divisin de
polinomios.
EJERCICIO 34
p = qs +
r
con grado de r
menor
Defin
a
D : K [ x] K [ x] tal que
D(a x
n
+ a x
n
1
+ + a
0
) = na
n
x
n 1
+ (n 1)a
n 1
x
n 2
+ + a
1
.
Pruebe
que
D( p + q) = D( p) + D(q).
EJERCICIO 35
Considere la estructura
( ( A), )
con id la funcin identidad demuestre que:
1. Si f y g son funciones biyectivas entonces poseen
inversa y se cumple que
( f g )
1
= ( g
1
f
1
).
2. Si f es sobreyectiva entonces es regular por la derecha y
existe f tal que
f f = id .
EJERCICIOS DEL CAPTULO I
EJERCICIO 1.1
Conside
re
A
{
a, b, c
}
cuntas estructuras conmutativas se pueden definir en este
conjunto.
EJERCICIO 1.2
En el conjunto de los nmeros naturales se define la relacin
tal que
x y k
{
0
}
tal que x + k y . Pruebe que es una relacin de orden total
compatible con
la suma y el producto. Esto significa
que si x y
y z w entonces x + z
y + w
y xz yw.
EJERCICIO 1.3
Explique por qu la potenciacin es una operacin interna solo sobre los
nmeros naturales, pero
no lo es para los enteros, los racionales y los reales.
EJERCICIO 1.24
Se define el conjunto de los nmeros
decimales
D
{
x : x tiene una expansin decimal finita
}
dotado de las operaciones de
+ y .
Pruebe que
(
D,
+,
)
para ser un
campo.
es un anillo conmutativo con unidad. Explique cul
condicin no satisface
EJERCICIO 1.5
Verifique que la estructura de
{
a + b
2, a, b
Z
}
con la suma y el producto habitual de
nmeros
reales es un anillo conmutativo con unidad y sin divisores de 0.
EJERCICIO 1.6
En el conjunto de racionales, se define la
operacin *, tal que
a * b a + b + ab . Determine
cules
propiedades cumple esta operacin: interna, asociativa, conmutativa,
elemento neutro, elementos inversibles. Satisface la ley de cancelacin?
EJERCICIO 1.7
Pruebe que el conjunto de nmeros
complejos
multiplicacin habitual, es un grupo
abeliano.
S
{
z x + iy : x
2
+ y
2

1
}
,
dotado de
la
EJERCICIO 1.8
formado por
de nmeros complejos.
S
{
1, 1, i, i
}es un grupo abeliano con el
producto usual
EJERCICIO 1.9
Ilustre la propiedad distributiva de la multiplicacin de matrices cuadradas con
respecto a la suma para matrices 2 2
EJERCICIO 1.10
Sea
n
p [
x]
un polinomio de grado n y a un entero fijo, use el algoritmo
de la divisin y
demuestre que existen enteros nicos a
0
, a
1
,,
a
n
tales que
p

a
(

x
a
)
n
+
a
(

x
a
)
n 1
+

+
a
(

x
a
)
+
a .
n n 1 1 0
SOLUCIN A LOS EJERCICIOS DE LAS SECCIONES
EJERCICIO 1
Con ( A, ) es una estructura algebraica pues todos los elementos de
la tabla estn en
A = {2, 4, 6, 8} . El resultado de [(2 4) (4 6)] (6 8) [8 4] 8 2 8 6.
EJERCICIO 2
1. S, 24 = 8 4 2 y (4 6) 8 = 4 8 4 (6 8).
2. x 4 Y se cumple
que 8
x = 2.
3. S, e 6 y si x A se
cumple que x
6 = x.
4. Se cumplen con la
propieda
d de
x x = 6 , si
x 6 o x 4.
EJERCICIO 3
El resultado de * , *

y * .
EJERCICIO 4
S es una estructura algebraica y las 2 tablas de multiplicacin 1.8 y 1.9,
respectivamente, en las formas matricial y cartesiana son:
30
25
20
15
10
5
0
* 0 5 10 15 20 25 30
25 25 20 15 10
5
0 5
30 30 25 20 15
10
5 0
* x y
x x y
y z x
z y z
* x y
x y z
y x y
z z x
* x y
x z x
y y z
z x y
* x y
x x z
y y x
z z y
* x y
x z y
y x z
z y x
* x y z
x y x z
y z y x
z x z y
Tabla 1.8
Tabla 1.9
* 0 5 10 15 20 25
30
0 0 5 10 15 20 25
30
5 5 0 5 10 15 20
25
10 10 5 0 5 10 15
20
15 15 10 5 0 5
10 15
20 20 15 10 5 0 5
10
30 25 20 15 10 5 0
25 20 15 10 5 0 5
20 15 10 5 0 5 10
15 10 5 0 5 10 15
10 5 0 5 10 15 20
5 0 5 10 15 20 25
0 5 10 15 20 25 30
EJERCICIO 5
Son 6:
z
z
y
,
x
z z z z
x y y x
z
,
x
,
z
,
y
,
y z x z
EJERCICIO 6
Basta ver que la suma de 2 impares es un nmero par
por lo que ( , +)
algebraica.
no es una
estructura
EJERCICIO 7
Pruebe que la estructura cumple con las siguiente propiedades:
1. La multiplicacin es asociativa.
Induccin sobre c. Paso 1. Si c=1, (ab)1 ab
a(b1).
Paso 2. (ab)c '
(
ab
) (
c + 1
)

(
ab
)
c + ab a
(
bc
)
+ ab a(bc + b) a(bc ').
2. La multiplicacin es conmutativa.
Induccin sobre b. Paso 1. Evidente de
teorema 2.(2).
Paso 2. ab ' ab + a ba + a ( b + 1) a b ' a.
3. Se satisface la ley de cancelacin, por lo que todos sus elementos son
regulares. Hay que probar
que
si
ab = ac
entonces
b = c por
contrapositiva si
b c b + x c o c + x
b
para
algn
x . Suponga que b +
x c
entonces ac a
(
b + x
) ab + ax ac ab pues ax
.
EJERCICIO 8
En la estructura
(, +, )
pruebe
1. a
b
+
c
= a
b
a
c
.
Induccin sobre c
Paso 1. c=1 se cumple por la definicin
Paso 2. a
b
+
c '
= a
(b
+
c ) '
a
b
+
c
a
(
a
b
a
c
)
a a
b

(
a
c
a
)
a
b
a
c '
2. (ab)
c
= a
c
b
c
. Induccin sobre c
Paso 1. c=1 se cumple por a
1
= a
Paso 2.
( ab
)
c '
=
( ab
)
c
(ab)
(
a
c
b
c
)
ab
(
a
c
a
) (
b
c
b
)
a
c '
b
c '
3.
(a
b
)
c
= a
bc
. Induccin sobre c
Paso 1. c=1 se cumple por
(
a
b
)
1
= a
b
1
a
b
Paso 2.
(
a
b
)
c '
=
(
a
b
)
c
a
b
a
bc
a
b
a
bc
+
b
a
bc '
EJERCICIO 9
Resuelva aquellas ecuaciones que tengan solucin:
1. 10x + 2 = 27 + 5x 5x 25 x 5.
2. x
3
+ 8 = 35 x
3
= 27 3
3
x
3
3
3
x 3.
3. x
2
+ 6 x = 4 x + 15 x
2
+ 2 x + 1 = 16
( x + 1
)
2
= 16 4
2
x + 1 4 x 3.
EJERCICIO 10
Considere el conjunto de nmeros
naturales
= {1, 2, 3,
4,}
y sobre este conjunto
considere el
conjunto de nmeros del 1 al 6.
Llame
6
definida por la tabla 1.10.
a tal conjunto. Y se define la operacin *
sobre
6
Tabla
1.10
1 2 3 4 5 6
1 3 5 1 3 5 1
2 5 2 5 2 5 2
3 1 5 3 1 5 3
4 3 2 1 6 5 4
5 5 5 5 5 5 5
6 1 2 3 4 5 6
1. El elemento neutro es 6 y el elemento absorbente 5.
2. La operacin es conmutativa pues la tabla es simtrica. Para la asociatividad
se revisan todas las tripletas de elementos de
6
, por la conmutatividad, basta
con tripletas ordenadas de elementos
no todos iguales, si fueran
iguales:
a * (
a * a) a * b b * a (a * a) * a .
Adems, si algn
b
elemento de la tripleta corresponde al neutro o al absorbente la
asociatividad se cumple
inmeditame
nte
a * (5 * b) 5 (a * 5)
* b ,
a * (6* b) a * b
(
a *6
)
* b . As las
tripletas se
muestran en la tabla 1.11.
Tabla
1.11
a b c a*b b*c (a*b)*
c
a*(b*c
) 1
1
1
1
1
1
1
1
1
2
2
2
2
2
3
3
1
1
1
2
2
2
3
3
4
2
2
3
3
4
3
4
2
3
4
2
3
4
3
4
4
3
4
3
4
4
4
4
3
3
1
5
5
5
1
1
3
2
2
5
5
2
3
1
5
1
3
2
5
2
3
1
6
5
2
3
1
6
1
6
5
3
3
5
5
5
3
3
1
5
2
5
5
2
1
3
5
3
3
5
5
5
3
3
1
5
2
5
5
2
1
3
Con esto se muestra la asociativdad.
3. B = {4, 5, 6}
A
es una subestructura algebraica de A pues si se
construye la tabla 1.12
restringida a estos valores se obtiene
Tabla
1.12
4 5 6
4 6 5 4
5 5 5 5
6 4 5 6
Y es una estructura algebraica.
EJERCICIO 11
(
,
) pruebe la asociatividad y la existencia del elemento neutro.
Sea
n
x [(a, b)], y [(c, d )], z [(e, f )] entonces
x( yz) [(a, b)][(ce + df , de + cf )] [(a(ce + df ) + b(de + cf ), b(ce + df ) + a(de + cf ))].
Al desarrollar por la distributividad se obtiene
[(ace + adf + bde + bcf , bce + bdf + ade + acf )] por otra parte
( xy) z [(ac + bd , bc + ad )][(e, f )] [((ac + bd )e + (bc + ad ) f , (bc + ad )e + (ac + bd ) f )].
Y volviendo a distribuir queda [(ace + bde + bcf + adf , bce + ade +
acf + bdf )]
por lo que
se
comprueba que salvo el orden son expresiones idnticas y se concluye la
asociatividad. Para el
elemento neutro basta notar que [(2,1)][(a, b)] [(2a + b, a + 2b)] y que esta ltima
clase es igual a
[(a, b)] porque a + (a + 2b) b + (2a
+ b)
y concluye (a, b)R(2a + b, a +
2b)
por lo que estn
en la
misma clase. As, 1
[(2,1)]
es neutro por la derecha. En forma idntica se
comprueba que es
neutro por la izquierda concluyendo la prueba.
EJERCICIO 12
En
(
, +
)
pruebe la conmutatividad de la suma
x + y [(a, b)] + [(c, d )] = [(a + c, b + d )] [(c + a, d + b)] [(c, d )] + [(a, b)] y + x.
EJERCICIO 13
En la estructura
(
,
)
pruebe que si a 0 y ab = ac entonces b = c.
Se concluye directamente porque en esta estructura no hay
divisores de 0, entonces si
ab = ac entonces ab ac a(b c) 0 por lo que b c 0 b c.
a 0
y
x 8 4 2 1 1 2 4 8
3x + 2 22 10 4 1 5 8 14 26
x(3x + 2) 8
EJERCICIO 14
En la estructura
(
, +,
)
determine cuando exista la solucin a las siguientes
ecuaciones:
1.
3x
2
+ 2 x 8 = 0 x(3x + 2) 8
Soluci
n
x 2.
x 5 1 1 5
x 6 11 7 5 1
x( x 6) 5 5
x 32 16 8 4 2 1 1 2 4 8 16 32
x
2
+ 3 1027 259 67 19 7 4 4 7 19 67 259 1027
x( x
2
+ 3)
x 11 1 1 11
x + 2 9 1 3 13
x( x + 2)
n
n
2. x
4
+ 2 x 0 x( x
3
+ 2) 0 x 0 o x
3
2 x 0.
3. x + 5 = 7 x x
2
x
2
6 x 5 x( x 6) 5
Soluci
n
x 1 x 5.
EJERCICIO 15
En la estructura
(
, +,
)
demuestre que no tiene soluciones enteras.
1. x
3
+ 3x = 32
ninguno resuelve la ecuacin.
2. x
2
+ 2 x = 11 ninguno resuelve la ecuacin.
EJERCICIO 16
Se
a

n

{
a

n
:
x, y
ax
+
ny
1
}
es claro
que

por lo que las

propiedades se
n n
satisfacen porque se heredan.
Tambin 1
toman
do
x 1, y 0 . Para mostrar que
todos sus
elementos poseen inversos, basta notar que
dado a
existe x tal que si 0

< x < n
a x 1
y si no, por el algoritmo de la divisin
x nq + r
con 0 < r < n y se cumple que a r 1.
EJERCICIO 17
En la estructura (
n
, +, ) , la multiplicacin distribuye con la suma,
adems es asociativa y conmutativa. Esto se deduce directamente de las
propiedades de los enteros, porque las operaciones
definidas sobre las clases operan los enteros con las mismas reglas.
0 0 1
2
0 0 0
0
1 1 2 0 1 0 1 2
+ 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
+ 0 1 2 3 4 5 6 7 0 1 2 3 4 5 6 7
0 0 1 2 3 4 5 6
7
0 0 0 0 0 0 0 0 0
1 1 2 3 4 5 6 7 0 1 0 1 2 3 4 5 6 7
2 2 3 4 5 6 7 0 1 2 0 2 4 6 0 2 4 6
3 3 4 5 6 7 0 1 2 3 0 3 6 1 2 7 2 5
4 4 5 6 7 0 1 2 3 4 0 4 0 4 0 4 0 4
5 5 6 7 0 1 2 3 4 5 0 5 2 7 4 1 6 3
6 6 7 0 1 2 3 4 5 6 0 6 4 2 0 6 4 2
7 7 0 1 2 3 4 5 6 7 0 7 6 5 4 3 2 1
2 2 0 1 2 0 2 1
EJERCICIO 18
Tablas para
3
.
+ 0 1 2 0 1 2
Elemento neutro 0, elementos inversibles
1 y
2 . La caracterstica es 3 porque
al sumar cualquiera de los
elementos tres veces se
obtiene 0.
Tablas para
5
.
Elemento neutro 0, elementos
inversibles todos los
diferentes de 0. La
caracterstica es 5.
Tablas para
8
.
Elemento neutro
0,
elementos
inversibles
{
1, 3, 5,
7
}
La caracterstica
es 8.
EJERCICIO 19
5
.
1. 4 x 1 = 8x + 2 4 x 3x + 3 x 3.
x 0 1 2 3 4
x
2
1 x
2
+ 4 4 0 3 3 0
x
3
x 0 0 1 4 0
2.
x
3
x = 4 x 4.
x 0 1 2 3 4 5
x
2
1 x
2
+ 5 5 0 3 2 3 0
x
3
x 0 0 0 0 0 0
x 0 1 2 3 4 5
2 x + 1 1 3 5 1 3 5
x
3
x 0 3 4 3 0 1
b d
d f
1 1 1
3. 2 x
2
+ x 1 = 0 2 x
2
+ x + 4 = 0 (2 x + 4)( x + 1) 0 x 2 o x 1
esos
son
x 3 y x 4.
EJERCICIO 20
Resuelva las siguientes
ecuaciones en
6
:
0 1 2 3 4 5
1. 4 x 1 = 8x + 2 4x 2 x + 1 2 x 1 5
2 0 2 4 0 2 4
no tiene solucin.
2.
x
3
x = 4
no tiene solucin.
2x
2
+ x 2 = 0
3.
2 x
2
+ x 2
no tiene solucin.
EJERCICIO 21
La suma de nmeros racionales es
asociativa.

a
+

c
_
+

e

ad + bc
+ e

adf + bcf + bde
,
por

f bd f bdf
otra parte si se calcula
a
+

c
+

e _

a
+

cf + de

adf
+ bcf + bde
y al ser iguales se
completa
la
prueba.
b

,
b df bdf
EJERCICIO 22
Los racionales se pueden representar o bien por medio de una expresin
decimal finita o una expresin decimal infinita peridica.
Se sabe
que
a <
b,
n tal que
10
n
1
1
a < b
10
n
1
a 10
n
1
a q
b + r
co
n
0 r
1
< b si

a q
1
r
1
0
b 10
n
1
0, 00
q
1
n
1
posiciones
una expansin decimal finita. Si no,
n2
1
n2 n2
r
1
q
2
n
2
tal que
10
r
1
<
b

10
r
1
10 r
1
q
2
b
+
r
2
, si r
2
0

0, 00 0q
2
y
b 10
n
2
n
2
posiciones
,
a q
1
q
2
r
1
0
n
+
n
b 10
1
10
2
0, 00 0q
1
00
0q
2
n
1
posiciones n
2
posiciones
una expasin finita, si no, dado que
los residuos
solo pueden ser nmeros entre 1 r
i
b 1 , eventualmente se repite algn
residuo, por lo que la
expansin es infinita y peridica.
EJERCICIO 23
(, +,
)
ser 0.
no tiene divisores
de 0.
a c
ac
0
b d
y como son nmeros enteros,
alguno debe
EJERCICIO 24
Sea
(
K , +,
)
un campo tal que
(
, +,
)

(
K , +,
)
, sea
a

entonces
b
a, b
K , b
b
1
K .
b
EJERCICIO 25
En la estructura
(, +, )
resuelva las siguientes ecuaciones, utilice factorizacin y
la propiedad de
que no tiene divisores de 0:
a. 8x
3
= 1 8x
3
1 (2 x 1)(4 x
2
+ 2 x + 1) 0 x
1
2
porque el factor cuadrtico
no tiene
soluciones racionales. Basta con evaluar en x=1, x= -1. Y
en las fracciones
1
x t x

t

1
.
b. 81x
4
= 16 81x
4
16
(
3x + 2
) (
3x 2
)
(
9 x
2
+ 4
)

0 x
2
3
2 4
de nuevo el factor
cuadrtico
no tiene soluciones racionales.
c. 3x
2
+ 2 x = 1 3x
2
+ 2 x 1 0
(
3x 1
)

(

x + 1
)
0 x 1, x
1
.
3
EJERCICIO 26
El conjunto de las
fracciones

m
, n, m

dotado de las operaciones usuales en

de suma y
'

2
n
;

producto es un anillo conmutativo con unidad, pero no es un campo.
Pruebe que este conjunto incluye a los enteros.
Primero se demuestra que las operaciones de suma y producto determinan
estructuras algebraicas
sobre este conjunto

m
, n, m

. Sean
x

m
1
, y

m
2
, n , m
, i
1, 2 entonces
'

2
n
;
2
n
1
2
n
2
i i

m m m 2
n
2
+
m 2
n
1
m
x
+
y

1
+

2

1 2

3
, m , n

2
n
1
2
n
2
2
n
1
+
n
2
2
n
3
3 3
xy

m
1
m
2

m
1
m
2

m
3
, m , n

2
n
1
2
n
2
2
n
1
+
n
2
2
n
3
3 3
Luego, como se satisfacen todas las propiedades hereditarias: asociatividad de
la suma y el producto, conmutatividad de las 2 operaciones y distributividad
del producto con respecto a la suma, falta
demostrar la existencia de neutros y el inverso para la suma.
0

0
, 1
1
, x

m
1

m
1
.
2
0
2
0
2
n
1
2
n
1
As, se tiene la estructura de anillo conmutativo con unidad. No es un
campo porque, por
ejemplo x
3
cuyo
inverso es
4
x
1

4
no pertenece al conjunto.
3
EJERCICIO 27
Demuestre que el conjunto de nmeros complejos es un campo con las
operaciones de suma y multiplicacin definidas.
Asociatividad de la suma:
(a, b) +
(
(c, d ) + (e, f )
)
(a, b) + (c + e, d + f ) (a + c + e, b + d
+ f )
(
(a, b) + (c, d )
)
+ (e, f ) (a + c, b + d ) + (e, f ) (a + c + e, b + d
+ f )
asociatividad.
Asociatividad del
producto:
(a, b)
(
(c, d )
(e, f )
)

(a, b) (ce df , ed + cf )
por otra
parte,
por lo que se
cumple la
por otra
parte,
(a(ce df ) b(ed + cf ), b(ce df ) + a(ed + cf ))
(ace adf bed bcf , bce bdf + aed + acf )
(
(a, b) (c, d )
)
(e, f ) (ac bd , bc + ad ) (e, f )
((ac bd )e (bc + ad ) f , (bc + ad )e + (ac bd ) f )
(ace bed bcf adf , bce + aed + acf bdf )
por lo que se cumple la asociatividad al obtener las mismas expresiones.
Conmutatividad de la suma y el producto es evidente a partir de las operaciones
con nmeros reales.
Elemento neutro para la suma (0, 0) porque (0, 0) + (a, b) (a, b) . Y para el
producto es (1, 0)
porque (1, 0) (a, b) (a1 + b0, a0 + b1) (a, b) , como las operaciones son
conmutativas, el neutro es por ambos lados.
Inversos:
se
a
x (a, b) x (a, b) pues x + (x) (a, b) + (a, b) (0,
0)
y se cumple
tambin que
x
a
,
b
_
ya
que
x
(a, b)
a
,

b
_

a
2
+ b
2
,
ba + ab _
(1, 0).

a
2
+
b
2
a
2
+
b
2

a
2
+
b
2
a
2
+
b
2

a
2
+
b
2
a
2
+
b
2
, ,
,
Distributividad del producto con respecto a la suma:
(a, b)
(
(c, d ) + (e, f )
)
(a, b) (c + e, d + f )
(a(c + e) b(d + f ), b(c + e) + a(d + f ))
(ac + ae bd bf , bc + be + ad + af )
(ac bd , bc + ad ) + (ae bf , be + af )
(a, b)(c, d ) + (a, b)(e, f
).
Y con esto se termina de demostrar que los nmeros complejos son un campo.
EJERCICIO 28
Pruebe que el
conjunto
2 1

es un campo con las operaciones definidas en esta
seccin.
]
Es claro que las operaciones determinan una estructura algebraica, como es la
misma operacin de
los nmeros reales, entonces se satisfacen todas las propiedades
hereditarias: asociatividad de la suma y el producto, conmutatividad de las
2 operaciones y distributividad del producto con
respecto a la suma, falta demostrar la existencia de neutros e inversos para
cada operacin.
0
0
+
0 2, 1
1
+
0 2, x
a
+
b
2
b 2, x
1
b 2
, el neutro
para
a
2
2b
2
a
2
2b
2
ambas operaciones pertenece al conjunto como se puede notar. El opuesto es
el mismo que en la
suma de nmeros reales y el inverso se obtiene de racionalizar el nmero
1
.
a + b 2
EJERCICIO 29
Pruebe que el conjunto de nmeros complejos {n + im, n, m } dotado de las
operaciones usuales
de suma y producto es un anillo conmutativo con unidad. A los elementos de
este conjunto se les
llama enteros gaussianos.
Es claro que las operaciones determinan una estructura algebraica como es la

misma operacin de
los nmeros complejos entonces se satisfacen todas las propiedades
hereditarias: asociatividad de la suma y el producto, conmutatividad de
las dos operaciones y distributividad del producto con respecto a
la suma, falta demostrar la existencia deneutros y
el inverso para la suma. 0 0 + 0i, 1 1 + 0i x a + bi x a bi , el
neutro para ambas operaciones pertenece al
conjunto como se puede notar. El opuesto es el mismo que en la suma de
nmeros complejos.
EJERCICIO 30

3
2,
3
4
1
es un campo con las operaciones definidas en
esta seccin.
misma operacin de
hereditarias: asociatividad de la suma y el producto, conmutatividad de
las 2 operaciones y distributividad del producto con respecto a la suma,
falta demostrar la existencia de neutros e inversos para cada operacin.
0 0 + 0
3
2 + 0
3
4 , 1 1 + 0
3
2 + 0
3
4 ,
x a + b
3
2 + c
3
4 , x a + b
3
2 + c
3
4 , ,
a
2
2bc (2c
2
ab)
3
2 (b
2
ac)
3
4
x
1
+ .
a
3
+ 2b
3
+ 4c
3
6abc a
3
+ 2b
3
+ 4c
3
6abc a
3
+ 2b
3
+ 4c
3
6abc
El neutro para ambas operaciones pertenece al conjunto como se puede
notar. El opuesto es el
mismo que en la suma de nmeros reales y el inverso se obtiene al resolver el
sistema de ecuaciones que se determina luego de multiplicar e igualar los
trminos racionales a 1 y los otros coeficientes de
3
2 y
3
4 a 0 en
(
a + b
3
2 + c
3
4
) (
d + e
3
2 + f
3
4
1
trminos de
a, b, c .
donde las
letras
d , e, f quedan en
EJERCICIO 31
Demuestre
que si
A, B
n
()
invertibles entonces se cumple que
1. ( AB)
1
= B
1
A
1
en efecto, al usar la asociatividad del producto de
matrices se tiene que:
( AB)
(
B
1
A
1
)
A
(
BB
1
)
A
1
AIA
1
I .
2. ( A
1
)
1
= A
observe
que
AA
1
I
(
A
1
)
1
A
1
.Si se multiplica por A a la
derecha en la
ltima igualdad se obtiene ( A
1
)
1
= A.
n n 1 0 m m1 0
1
EJERCICIO 32
Sea I la matriz identidad de tamao
n n , sean
A, B M
n
()
tales
que
A, B, ( A +
B)
son
matrices invertibles.
Demuestre
A
1
+
B
1 es tambin invertible con
(
A
1
+ B
1
)
1
A( A +
B)
1
B y
a su vez es
igual a
B( A + B)
1
A . Primero note que
(
A
1
+ B
1
) (
A( A + B)
1
B
)
A
1
(
A( A + B)
1
B
)
+ B
1
(
A( A + B)
1
B
)
( A + B)
1
B + B
1
(
A( A + B)
1
B
)

(
I + B
1
A
)
( A + B)
1
B

(
B
1
B + B
1
A
)
( A + B)
1
B
B
1
( B + A
) ( A + B)
1
B
La otra igualdad es totalmente
anloga. EJERCICIO 33
I
B
1
B I
Sea
n
p = a x
n
+ a x
n
1
+ + a y s = b x
m
+ b x
m
1
+ +
b
polinomios de grado n
y m
respectivamente, pruebe que existen polinomios q
y r tales que
p = qs +
r
con grado de r
menor
que m . Este es el algoritmo de la divisin de polinomios. La prueba es
constructiva, sea
p = p

a
n
b
n
m
_
x

s
m ,
a
n
b
m
1
_
x
n
1
+

a

a
n
b
m
2
_
x
n
2
+

+
a

a
n
b
0
_
x
n
m
+
a x
n
1
+

+
a
n 1

b
m ,
n 2
b
m
,
n m
b
m
,
n m 1 0
1 1 1
a
n1
a
n2
a
nm
Si el grado
de
p es menor que el grado de s,
entonces
p = qs
+
r
con q
n
x
nm
y r
p
, si
1
no, se puede
calcular
1
b
m

p
2
= p
1
a
1
_
n 1
x
n

s

b
m
,
1 1 1

a
1
a
n
1
b
m
1
_
x
n
2
+

a
1

a
n
1
b
m
2
_
x
n
3
+

+

a
1

a
n
1
b
0
_
x
n
m
+
a x
n
2
+

+
a
n 2
b
m ,
n 3
b
m ,
n m
b
m
,
n m 2 0
2 2 1
a
n 2
a
n 3
a
n m
m

a
1

n 1 n1m
Si el grado de p es menor que el grado de
s entonces
1
r p
2
por lo que
p
1
= qs +
r
con q
b
x
y

1

a
p
n
x
nm
s p
a a
n
x
nm
s
n1
x
n1m
s
p
b
1
b
b

2
a
n
nm
a
n1
n1m
b
x
b
x
s p
2
.
m m

Si no, se puede volver a

calcular p
3
con lo que se tiene una sucesin de polinomios,
cada uno de
menor grado por lo que eventualmente se consigue un polinomio de
grado menor que s y se obtiene la igualdad indicada.
EJERCICIO 34
Defin
a
D : K [ x]
K [ x] tal
que
D(a x
n
+
a x
n 1
+

+
a ) = na x
n 1
+
(n
1)a x
n 2
+

+
a .
Pruebe
que
n n 1 0
D( p + q) = D( p) + D(q).
n n 1 1
n m

i
max{n,m}
i
i i i
Sea
n
p =
i =0
a x
i
y q
=
b x
i
entonces
i =0
p + q =
i =0
c x
i
con
c
= a +
b
y por lo tanto
D( p
+
q) =
max{n ,m}
i c x
i
1
dond
e
a
i
+
b
i
, i
0, min
{
n, m
}
entonc
es

i
i =1
c
i

'

a
i
b
i
, min {n, m}
< max {n, m}
suponga que n
m
n m
i i
i
D( p + q) =
i
=1
i
(a
+ b ) x
i
1
+
i b x
i
1
i =n+1
n n m
i=1
i a x
i
1
i=1
i b x
i
1
+
i b x
i
1
i =n +1
n m
i=1
i a x
i
1
i=1
i b x
i
1
D( p) +
D(q).
EJERCICIO 35
Considere la estructura
( ( A), )
con id la funcin identidad demuestre que:
1.
Si
f y g son funciones biyectivas entonces poseen inversa y se cumple que
( f g )
1
= ( g
1
f
1
) . En efecto
(
f g
)
( g
1
f
1
)
f
(
g g
1
)
f
f
(
id
)
f
f f
1
id
( g
1
f
1
)
( f g
) g
1
( f
1
f ) g g
1

(
id
) g g
1
g
id.
2. Si f es sobreyectiva entonces es regular por la
derecha y existe
f
'
tal
que
f f
'
id
Sea y A , como f es sobreyectiva existe al
menos un x A
tal
que
y f (
x)
defin
a
f

: A A tal
que
f 'yx , de esta forma
( f f
) ( y)
f
( f ( y)
)
f ( x) y , como se
puede
notar pueden existir varias funciones f

. As,
g
f
h
f
g
( f f
) h
( f f
) g id h id g h.
SOLUCIN A LOS EJERCICIOS DEL CAPTULO
EJERCICIO 1.1
El nmero de estructuras algebraicas conmutativas equivale a contar el
nmero de matrices
simtricas que se pueden conseguir con los 3 elementos
del conjunto. Sea
M (a
ij
)
la
matriz
correspondiente a la tabla de la
operacin.
a
11
a, b
c
por lo que hay 3 posibilidades, lo
mismo
sucede para las
entradas
a
12
, a
13
, a
22
,
a
23
y a
33
.
Por lo tanto,
existen
3
6

729
combinacion
es
diferentes para formar la tabla de la operacin.
EJERCICIO 1.2
En el conjunto de los nmeros naturales se define la relacin
tal que
x y k
{
0
} tal que x + k y . Pruebe que es una relacin de orden total
compatible con
la suma y el producto. Esto significa
que x y
Orden
y z w entonces x + z y
+ w y
xz yw.
Reflexiva. Tome k 0 y se
cumple que
x + 0 x x x
Antisimtrica. Si x + k
y y
y + k ' x x y + k ' x + k + k ' k + k '
0
por lo que no
es
posible que sean nmeros naturales, por lo tanto k
k ' 0 , esto es
x y.
Transitiv
a.
x + k y y + k ' z z y + k ' x + k
+ k ' z x + k '', por

lo tanto
k ''
x z.
Es compatible con la suma porque si
( x + w) +
( k + k '
) y + z x + w y + z
x + k y w + k ' z
'

xw + ( xk '+ wk + kk ') yz xw yz
EJERCICIO 1.3
En la expresin
a
b
en los casos de que ambos son naturales, est bien
determinado su significado,
en cambio, si son enteros, cabe la posibilidad de que la base sea 0 y el
exponente no positivo, por lo
que se obtienen expresiones carentes de
significado como 0
0
situacin pasa cuando se toman racionales o
reales.
o indefinidas
como
0
3
.
Similar
EJERCICIO 1.4
Se define el conjunto de los nmeros
decimales
D
{
x : x tiene una expansin decimal finita
}
dotado de las operaciones de
"+ " y " " .
Pruebe que
(
D,
+,
)
para ser un
campo.
es un anillo conmutativo con unidad. Explique cul
condicin no satisface
Es claro que las operaciones determinan una estructura algebraica, como
es la misma de los
nmeros racionales, pues al sumar o multiplicar nmeros decimales se
obtienen solo nmeros decimales. Entonces se satisfacen todas las
propiedades hereditarias: asociatividad de la suma y el producto,
conmutatividad de las 2 operaciones y distributividad del producto con
respecto a la suma. Falta demostrar la existencia de neutros y el
inverso para la suma. El 0 D , al tener una expansin decimal finita, lo
mismo para el 1. El opuesto es el mismo que en la suma de nmeros
racionales, por lo que tambin tiene una expansin finita. No es un campo,
porque el inverso de un nmero decimal no necesariamente tiene una
expansin decimal finita como en el caso de 3.
EJERCICIO 1.5
misma operacin de
hereditarias: asociatividad de la suma y el producto, conmutatividad de las 2
operaciones, no tener divisores de 0 y distributividad
del producto con respecto a la suma. Falta demostrar la existencia de neutros
y opuesto.
0 0 + 0 2, 1 1 + 0 2, x a
+ b
2 x a b 2 , el neutro para ambas
operaciones
pertenece al conjunto como se puede notar. El opuesto es el mismo que en la
suma de nmeros
reales.
EJERCICIO 1.6
En el conjunto de racionales, se define la
operacin *, tal que
a *b a + b + ab . Determine
cules
propiedades cumple esta operacin: interna, asociativa, conmutativa,
elemento neutro, elementos inversibles satisface la ley de cancelacin?
Es una operacin interna
pues
trminos son
racionales.
Conmutativa
a *b a + b +
ab
representa un nmero racional
cuando los
Asociati
va
b * a b + a + ba a + b + ab a * b.
a *
(
b * c
)
a +
(
b * c
)
+ a
(
b * c
)
a + b + c + bc + a(b + c + bc) a + b + c + bc + ab
+ ac + abc
(
a * b
)
* c
(
a * b
)
+ c +
(
a * b
)
c a + b + ab + c + (a + b + ab)c a + b + ab + c + ac
+ bc + abc.
Salvo el orden, ambas expresiones son idnticas por lo que se
cumple la asociatividad. Neutro
Invers
o
a * b a + b + ab a b + ab 0 b(1 +
a) 0
a b 0.
a *b a + b + ab 0 b(1+ a) a
b
son inversibles.
Ley de cancelacin, si
a
1+
a
, a 1, as todos los elementos
diferentes de 1
a *b a * c a + b + ab a + c + ac b c a(b
c)
b
c
si a 1. Por lo que
no
se cumple la ley de cancelacin, pero se puede asegurar que el nico
elemento no regular es
a 1.
EJERCICIO 1.7
Si z, z
1
S ,
1
[0, 2[ tal que z cos + i sen z
1
cos
1
+ i sen
1
por lo que
z z
1
cos cos
1
sen sen
1
+ i ( cos sen
1
+ sen cos
1
) cos( +
1
) + i sen( +
1
) S.
As se asegura que es una estructura algebraica para que sea un grupo
abeliano basta revisar el
neutro y los inversos, pues las otras propiedades se heredan.
Neutro: se cumple que 1 1 + i0 : 1
2
+ 0
2
1.
Inverso
s:
z
1

1
z
1
cos
+
i sen
cos i sen
cos
2

+
sen
2
cos
1
i sen
1
cos(2 ) + i sen(2
).
' '
EJERCICIO 1.8
Es claro que determinar una estructura algebraica, el neutro del producto
pertenece al conjunto,
basta con observar los inversos para cada elemento de S
{
1, 1, i, i
}
,
1
1
1, (1)
1
1, i
1
i y (i)
1
i, as se concluye que es un grupo abeliano.
EJERCICIO 1.9
a b
_

e f
_
k
l
_
_

a b
_

e
+
k f
+
l
_
ae
+
ak
+
bg
+
bm af
+
al
+
bh
+
bn
_

+

c d
,

g h
,
m
n
,
,

c d
,
g + m h + n
,
ce + ck + dg +
dm cf + cl + dh + dn
,

a b
_
e f
_
a b
_
k l
_
ae + bg af + bh
_
ak + bm
al + bn
_

+

+

c d
,
g h
,
c d
,
m n
,
ce
+
dg cf
+
dh
,
ck
+
dm cl
+
dn
,

ae + ak + bg + bm af + al + bh + bn
_

ce
+
ck
+
dg
+
dmcf
+
cl
+
dh
+
dn
,
Por lo que se cumple la distributividad al ser iguales.
EJERCICIO 1.10
Sea
n
p [ x] un polinomio de grado n y a un entero fijo usando el
algoritmo de la divisin,
demuestre que existen enteros nicos a
0
, a
1
,,
a
n
tales que
p

a
(

x
a
)
n
+
a
(

x
a
)
n 1
+

+
a
(

x
a
)
+
a .
Consi
dere
el
polinomio
s

(

x
a
)
y por el
n n 1 1 0
algoritmo de la divisin existe un
polinomio
q
1
y una
constante a
0
tal
que
p q
1
( x a )
+ a
0
el
grado del
polinomio
q
1
es
n 1 , ahora se hace lo
mismo para
q
1
, existe un
polinomio
q
2
de
grado
n 2 , y una
constante
a
1
tal
que
q
1
q
2
( x a
) + a
1
, por lo que se construye una
sucesin de
polinomios q
i
de grado n
i
tales
que:
q
i
q
i 1
(
x a
)
+ a
i
,
as,
q
n
q
n 1
( x a ) + a
n
.
p
q
(
x
a
)

+
a

q
(
x
a
)
2
+
a ( x
a )
+
a

q
(
x
a
)
3
+
a
(
x
a
)
2
+
a ( x
a )
+
a
1 0 2 1 0 3 2 1 0
a
(
x
a
)
n
+
a
(
x
a
)
n 1
+

+
a
(
x
a
)

+
a .
n n 1 1 0
GLOSARIO
anillo. Estructura algebraica con
dos
operaciones, con la primera es un
grupo abeliano, con la segunda es
un semigrupo y la segunda
distribuye con respecto a la primera
por ambos lados
asociativa. Propiedad de una
operacin interna que
permite emparejar a
conveniencia 3 o ms
elementos.
clase de equivalencia. Cada
una de las partes en que
queda dividido un conjunto
dotado de una relacin de
equivalencia.
campo. Anillo conmutativo tal que
todos sus elementos no nulos
poseen inverso con la segunda
operacin.
congruente mdulo n. Que tiene
el mismo residuo al dividir por
n.
conjunto cociente.
Conjunto cuyos
elementos son las
clases de equivalencia.
conmutativa. Propiedad de una
operacin que asegura que el
resultado es independiente
del orden empleado al operar
los elementos.
elemento neutro. Elemento dentro
de una estructura algebraica
tal que al operarse con
cualquier otro el resultado es el
otro elemento.
grupo. Monoide en el que
todos sus elementos
son inversibles.
inversible. Propiedad de un
elemento dentro de un
monoide que permite asegurar
la existencia de un inverso.
ley de cancelacin. Propiedad
que permite eliminar un
elemento en ambos lados de
una igualdad.
monoide. Estructura algebraica
dotada de
una operacin asociativa con
elemento neutro.
opuesto. Elemento inverso.
particin de un conjunto A.
Familia de subconjuntos de A
cuya unin es A y la
interseccin 2 a 2 de los
elementos de la familia es
vaca.
relacin. Regla de asociacin
entre los elementos de
dos conjuntos
relacin de equivalencia.
Relacin simtrica,
reflexiva y transitiva.
relacin reflexiva. Relacin
definida sobre un conjunto que
asegura que todos los
elementos se relacionan
consigo mismo.
relacin simtrica. Relacin
definida sobre un conjunto tal
que si se relacionan a con
b tambin se relaciona b
con a.
relacin transitiva. Relacin
definida sobre un conjunto que
cada vez que a se
relaciona con b y este se
relaciona con
c satisface que a se
relacione con
c.
representante de una clase.
Elemento genrico que
pertenece a una clase en
particular.
semigrupo. Estructura algebraica
dotada de una operacin
asociativa.
simetrizable. Sinnimo de
inversible.
unidad. Elemento neutro.

Elementos Algebra - Cap1 - Final - 100310 120310

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Elementos Algebra - Cap1 - Final - 100310 120310

Enviado por

Direitos autorais:

Formatos disponíveis

ALBERTO SOTO AGUILAR

c representan cantidades diferentes por

. Lo que permite operar con suma

. Para ecuaciones polinomiales con coeficientes enteros, en general,

k n se dice que a es congruente b mdulo n y se denota a

entonces se espera que la

o si en lugar de suma es producto, se obtenga tambin, el

son equivalentes al escribir

d . Ahora calcule (ad + bc)b d

. Cmo definir una suma de un racional y 2 , o el inverso de

} , en este conjunto se definen la

De nuevo se tiene una estructura de campo al definir la suma y la

dotado de las operaciones

de suma y producto, es un anillo conmutativo con unidad pero no es un

Con estas matrices se

0 se llama nilpotente si existe k

por lo que las

existe x tal que si 0

dotado de las operaciones usuales en

Es claro que las operaciones determinan una estructura algebraica como es la

Si no, se puede volver a

+ k ' z x + k '', por

Você também pode gostar