Algebra Abstracta Wikilibros

Álgebra Abstracta/Texto Completo - Wikilibros about:reader?url=https://es.wikibooks.org/wiki...
es.wikibooks.org
Álgebra Abstracta/Texto Completo

- Wikilibros
56-72 minutos
De Wikilibros, la colección de libros de texto de contenido

libre.
Plantilla:Versión para Imprimir
Álgebra Abstracta
Primer Curso
Álgebra Abstracta
A. Las Estructuras[editar]
" Faire d'Algèbre, c'est esentiellement calculier ... "
Nicolas Bourbaki.
¿Qué es el Álgebra Abstracta?[editar]
El Álgebra Abstracta, como indica su nombre, surge como

una abstracción de propiedades algebraicas comunes a
diferentes sistemas numéricos y a otros objetos de estudio
matemático. La preocupación principal es acerca de las
propiedades de las operaciones, independientemente
(abstracción) de la naturaleza de los operandos. La suma
1 de 61 21/3/20 20:47
de los números naturales, así como aquella de los Enteros,

de los Reales, o de funciones, o de matrices etc. es
asociativa. Lo que interesa aquí es estudiar las
consecuencias de suponer que la suma en un conjunto
cualquiera (de números o no) sea asociativa.
Hay tres fuentes clásicas para el Álgebra Abstracta: la

teoría de las ecuaciones polinómicas, la teoría de los
números enteros y la Geometría. Cada una de esas áreas
se desarrolló inicialmente de manera independiente de las
otras. Con el pasar del tiempo, se observaron muchas
semejanzas entre los resultados obtenidos, con lo que se
inició la abstracción de dichos resultados. Tal desarrollo se
produce desde fines del siglo XVIII hasta el inicio del siglo
XX, cuando las nociones adquirieron una forma semejante
a lo que expondremos en este texto.
Los trabajos de abstracción contribuyeron a identificar la

noción de estructura algebraica como central al estudio del
Álgebra. Una estructura algebraica es, básicamente, un
conjunto provisto de una o más operaciones que poseen
algunas propiedades especiales. La ventaja del enfoque
abstracto es que permite al estudiar una estructura, estudiar
propiedades de los variados ejemplos de tales estructuras
(a veces infinitos ejemplos). En segundo lugar, podemos ver
de manera más transparente las relaciones y
consecuencias de las propiedades de las operaciones.
Como libro texto para un primer curso, suponemos que los

lectores son novatos en la materia, lo que no excluye que
pueda ser de provecho para lectores con mayor experiencia
2 de 61 21/3/20 20:47
en el campo. Por lo anterior, hemos enfatizado en ejemplos

y colocado una gran cantidad de ejercicios---que son parte
integral del texto. Hemos colocado también comentarios
que expanden los contenidos o apuntan a referencias tanto
a los orígenes como a las aplicaciones.
¿Por qué darle énfasis a las estructuras? Una primera

respuesta es comodidad. Antes de su introducción en el
álgebra, la situación parecía relativamente simple, estudiar
álgebra era aprender a realizar las operaciones algebraicas
con los números. Sin embargo, con la aparición de nuevos
objetos matemáticos: funciones, vectores, matrices,
permutaciones, etc. aparecieron, también, operaciones con
ellos. Una alternativa para el estudio era crear una
secuencia de cursos más o menos en el siguiente orden: el
álgebra de los reales, el álgebra de los complejos, el
álgebra de los polinomios, el álgebra de los vectores
bidimensionales, el álgebra de los vectores
tridimensionales, el álgebra de las matrices, el álgebra de
los enteros--modulo, el álgebra de los cuaterniones, el
álgebra de los tensores, etc. La invención de nuevos
objetos y de sus operaciones, hacían del álgebra un campo
en continua expansión y, adonde, era difícil seguirle el
rastro a todos los nuevos objetos. Frente a dicha explosión
de objetos, se inventó una clasificación que reducía esas
álgebras a unas pocas estructuras que servirían para
unificar los estudios. Las estructuras básicas con una
operación son: semigrupos, monoides y grupos, con dos o
más operaciones: anillos, dominios, cuerpos, espacios
vectoriales, módulos y álgebras. Estas estructuras, con
3 de 61 21/3/20 20:47
algunas subestructuras, permiten organizar los estudios por

las propiedades básicas comunes, en lugar de mirar a la
naturaleza de los elemento .
Por ejemplo, la estructura de cuerpo presupone un conjunto

donde están definidas las cuatro operaciones aritméticas
poseyendo las propiedades usuales. Ejemplos inmediatos
de esa estructura son: los Racionales, los Reales y los
Complejos, así como los Enteros módulo un número primo.
En este curso, veremos algunos cuerpos adicionales (hay
infinitos ejemplos).
Organización del libro[editar]
El libro está organizado en cuatro partes. La primera parte,

que incluye esta introducción, presenta las generalidades
acerca de las operaciones y de los tipos de estructuras
algebraicas básicas más importantes.
La segunda parte esta dedicada a la estructura de grupo

(un conjunto con una operación con una serie de
propiedades). Esta estructura es fundamental tanto para las
matemáticas como para muchas otras áreas del
conocimiento: física, química, programación, etc. Los
ejemplos básicos de grupo que veremos son: los grupos
cíclicos (provenientes de la teoría de números), los grupos
simétricos (provenientes de la teoría de ecuaciones), y los
grupos provenientes de la geometría (grupos diedrales).
La tercera parte está dedicada a las estructuras de anillo y

cuerpo, que son abstracciones de las propiedades
algebraicas de los Enteros y de los Racionales
4 de 61 21/3/20 20:47
respectivamente.
Los ejemplos básicos de anillos son los Enteros (usuales y

algebraicos), los polinomios con coeficientes en un cuerpo.
Los cuerpos más importantes serán los numéricos
(Racionales, Reales, Complejos) y algunos cuerpos finitos.
Finalmente, la cuarta parte son apéndices que contienen

resúmenes de las definiciones y propiedades referentes a
las funciones, las relaciones, los sistemas numéricos. En
estos apéndices, resumimos nociones y resultados que
debería conocer un lector de este texto.
Los lectores atentos podrán darse cuenta que, a veces, hay

repeticiones de material. Algunas de esas repeticiones son
intencionales, a fin de permitir leer capítulos en forma más
independientes.
En el texto, en varias ocasiones, mencionamos a las

personas que han tenido un rol en el desarrollo de los
temas tratados. Esperamos que el lector lea acerca de
ellos. El primer sitio adonde buscar lo anterior es el
siguiente enlace de la Universidad de San Andrés de
Escocia
«MacTutor History of Mathematics archive» (en inglés).
Aunque, a veces, no lo pueda parecer, éste es un texto

elemental. Hay varios textos más avanzados o equivalentes
que aparecen en la bibliografía. Otra fuente de consulta son
las bibliotecas en línea.
Sugerencias para el estudio[editar]
5 de 61 21/3/20 20:47
Cada disciplina o area de estudio tiene una manera

especial de adquirir conocimientos respecto a la misma. En
Álgebra Abstracta, se trata de una teoría de las
operaciones, lo que implica que la validez de los resultados
se tienen que deducir de las propiedades básicas
(axiomas). Los lectores deben adquirir el hábito (si no lo
tienen con anterioridad) de preguntar por la validez de los
enunciados. La intuición que tenemos de manipulaciones
de expresiones algebraicas anteriores es, sin duda, muy
útil; pero que puede ser perturbadora. Muchos de los
resultado conocidos, son válidos en ciertas situaciones,
pero no en todas; por ejemplo. hay importantes
multiplicaciones que no son conmutativas. Como
consecuencia de lo anterior, una relación algebraica tan
simple como , no siempre es
válida. Precisamente, los análisis de Álgebra Abstracta nos
permitirán identificar que es necesario suponer para que la
relación anterior sea válida.
Las definiciones son importantes. Es necesario

memorizarlas, reconocer instancias adonde se aplica la
definición y distinguirlas de aquellas adonde no se aplican.
La memorización debe ser con entendimiento y cada lectora
o lector puede redactarlas a su conveniencia, siempre y
cuando no cambien el significado.
Los enunciados validos pueden clasificarse como axiomas,

proposiciones, corolarios y teoremas. Los axiomas son
enunciados que aceptamos de partida como válidos.
Usualmente en el texto están contenidos en las
6 de 61 21/3/20 20:47
definiciones. Por ejemplo, cuando estudiamos grupos,

suponemos que la operación es asociativa. Al contrario las
proposiciones, corolarios y teoremas son enunciados que
deben probarse usando los axiomas u otros enunciados
probados anteriormente. Las diferencias entre esos
enunciados es énfasis: corolarios son consecuencias
inmediatas de una proposición, teoremas son proposiciones
con resultados muy importantes (es decir que tienen
muchas aplicaciones).
En cada proposición (o corolario o teorema) es importante

identificar claramente las hipótesis (los supuestos) y la tesis
(la conclusión). Antes de leer la demostración, resulta
valioso intentar pensar en alguno de los ejemplos
principales y ver que significa el teorema para esos
ejemplos. Igualmente, tratar de buscar una demostración.
Algunas proposiciones tienen pruebas relativamente
triviales y pueden probarse sin mucho esfuerzo. Aún para
aquellas con mayor dificultad, vale la pena intentar la
prueba, para poder apreciar mejor la ingeniosidad de la
prueba, o ver claramente los puntos principales de la
demostración. Al revés de las definiciones, las
demostraciones no necesitan ser memorizadas tal cual se
presentan. Más importante son los "trucos" usados, que
pueden ser usados en otras demostraciones o ejercicios.
Después de aplicar los resultados, vale la pena preguntar si
no habría otra manera de hacer lo mismo.
Los ejemplos se presentan para ilustrar propiedades y

resultados de proposiciones y, a veces, para motivar o
introducir un nuevo concepto. En el último caso, el ejemplo
7 de 61 21/3/20 20:47
(o ejemplos) será seguido de una definición. Tratar de dar

una definición antes de leer aquellas dada en el texto. Hay
ejemplos que se repiten a través del libro, por lo que se
debe trabajar con ellos.
Las demostraciones constituyen, de cierta manera, el

meollo del estudio, ya que las demostraciones nos permiten
formar una red lógica de conceptos y resultados, que
posibilitarán el entendimiento del material. Demostrar es,
simplemente, explicar porque creemos que cierta afirmación
es válida, la única restricción es que las explicaciones
deben ser enunciados previamente conocidos como
válidos. Inicialmente, en el texto, hay demostraciones de
muchas de las proposiciones, especialmente explicando la
razón de cada paso. Posteriormente, tales justificaciones
quedarán al cuidado del lector o lectora. Cuando una
demostración sea muy extensa o compleja, recomendamos
que la lectora o lector trate de dividirla en partes, y examine
cuidadosamente lo hecho.
Algunos convenios[editar]
Usamos los convenios siguientes de notación y

nomenclatura para los principales sistemas numéricos.
El conjunto de los números naturales.
El conjunto de los naturales positivos.
El conjunto de los enteros.
El conjunto de los racionales.
8 de 61 21/3/20 20:47
El conjunto de los reales.
El conjunto de complejos.
El conjunto de los enteros módulo
En el texto, nos referiremos al conjunto de los números

naturales, , como los Naturales; igualmente para los otros
conjuntos numéricos.
Las notaciones y nomenclatura acerca de funciones se

hallan en el apéndice Las Funciones, mientras que lo
referente a relaciones se halla en el apéndice Las
Relaciones.
Introducción[editar]
En este capítulo, iniciaremos nuestros estudios del Álgebra

con las abstracciones de las operaciones usuales.
Analizaremos, es decir, consideraremos en forma aislada
cada una de las propiedades usuales, para ver claramente
las consecuencias de las suposiciones de cada una de esas
propiedades. Igualmente, para elementos o subconjuntos
destacables.
Cuando estudiamos a los números enteros, nos

encontramos con las operaciones de suma, resta y
multiplicación. Dichas operaciones poseen varias
propiedades interesantes. Hay, además, números y
subconjuntos destacados respecto a esas operaciones.
Igualmente, tenemos operaciones en los Racionales,
9 de 61 21/3/20 20:47
Reales y Complejos.
Presentaremos nociones que son abstracciones de esas

operaciones y de sus propiedades. Al analizar las
propiedades de las operaciones y de elementos destacados
como el 0, respecto a la suma, o el 1, respecto a la
multiplicación, podremos ver las consecuencias lógicas de
la existencia de esas propiedades y elementos.
La noción general de operación que veremos es una simple

abstracción de las operaciones usuales en los conjuntos
numéricos. Consideremos las operaciones de suma, resta y
multiplicación. ¿Qué tienen en común esas operaciones?
Las tres operaciones mencionadas hacen esencialmente lo
siguiente: asocian a un par de números, otro número. La
diferencia entre esas operaciones está en el valor asociado.
Por ejemplo, al par la suma asocia el 8, mientras que
la resta asocia el 2 y la multiplicación el 15. Esa
observación es la base para la definición abstracta de
operación que daremos a continuación.
Definiciones y Ejemplos[editar]
La noción general de operación que veremos es una simple

abstracción de las operaciones usuales en los conjuntos
numéricos. Consideremos las operaciones de suma, resta y
multiplicación. ¿Qué tienen en común esas operaciones?
Las tres operaciones mencionadas hacen esencialmente lo
siguiente: asocian a un par de números, otro número. La
diferencia entre esas operaciones reside en el valor
asociado. Por ejemplo, al par (5, 3), la suma asocia el 8,
10 de 61 21/3/20 20:47
mientras que resta asocia el 2 y la multiplicación el 15. Esa

observación es la base para la definición abstracta de
operación que daremos a continuación.
Definición. (Operación) Una operación en un conjunto es

una función
Es decir, una operación en un conjunto es la asignación a

cada par ordenado de elementos de E, de un único
elemento de E. Cuando * es una operación, es costumbre
denotar el valor de la función * en la pareja (x, y) como x * y,
en lugar de *(x, y)—como es lo usual para las funciones.
Simbolizamos a las operaciones por símbolos tales como

, etc. Usamos para indicar una operación
cualquiera. Muchas veces, por simplicidad, escribiremos ab
en lugar de a * b.
Ejemplo 1.1.
En el conjunto de los Enteros, , tenemos tres operaciones:

la suma, la resta y la multiplicación. En el conjunto de los
(números) Racionales y los Reales tenemos también
operaciones de suma, resta y multiplicación.
Ejemplo 1.2.
Sigue de la definición dada de operación que la resta NO es

una operación en el conjunto de los números naturales, ya
que no siempre es posible asignar un número natural a la
resta de dos números naturales. Por ejemplo, 3 - 5 no es un
número natural.
Como no hay división por cero en los Reales, la división
11 de 61 21/3/20 20:47
tampoco es, de acuerdo a la definición dada una operación

en dicho conjunto.
Ejemplo 1.3.
Algunas veces resulta conveniente definir operaciones en

conjuntos donde hay otras operaciones previamente
definidas. Ilustraremos lo anterior definiendo una operación
nueva, en los Enteros. Esta operación aparecerá en
ejemplos posteriores.
Usando esa definición, tendremos, por ejemplo, que

.
Ejemplo 1.4.
Sea un conjunto no vacío y consideremos el conjunto

formado por todas las funciones de ese conjunto
en los Reales. Para esas funciones se definen una suma,
resta y multiplicación de la siguiente manera.
Este ejemplo aparece en cursos elementales con la

restricción de que se supone que X es un subconjunto de
los Reales.
Ejemplo 1.5.
Sea un conjunto no vacío y sea el conjunto

formado por todas las funciones de en si mismo. La
composición de funciones es una operación
12 de 61 21/3/20 20:47
en .
Ejemplo 1.6.
Sea un conjunto no vacío y sea , el conjunto

formado por todos los subconjuntos de . La (re)unión e
intersección de subconjuntos son operaciones en .
Definición. (Magma) Llamamos magma a un conjunto E

provisto de una operación.
Cuando queramos identificar al conjunto y a la operación,

describiremos al magma como un pareja formada por el
conjunto y la operación, <E,*>.
Propiedades Especiales[editar]
Las propiedades familiares de asociatividad, conmutatividad

y distributividad de las operaciones numéricas se pueden
definir para un operación cualquiera. Sin embargo, notemos
de partida, que no siempre las operaciones tienen esas
propiedades.
Definición. (Tipos de Operaciones) Decimos que una

operación * en un conjunto es:
1. Asociativa, ssi, para todo en , se cumple que:
2. Conmutativa, ssi, para todo en , se cumple que:
3. Distributiva respecto a otra operación , ssi, para todo a, b

y c en , se cumple que:
13 de 61 21/3/20 20:47
Ejemplo 1.7.
La suma y la multiplicación usual en los conjuntos

numéricos son operaciones asociativas y conmutativas.
Además, la multiplicación es distributiva respecto a la suma.
Significado de la Conmutatividad. Una operación es

conmutativa, cuando el orden en que se realiza la operación
no afecta al resultado. La resta, en los Enteros, no es
conmutativa ya que, por ejemplo, tenemos que y
,y .
Significado de la Asociatividad. La asociatividad nos sirve,

cuando está presente, para evaluar el resultado de aplicar
la operación a más de dos elementos. En tal situación,
debemos agrupar elementos en grupos de a dos para poder
evaluar (eso proviene de que nuestras operaciones son
binarias, o sea que asocian a dos elementos un tercer
elemento). La asociatividad nos dice que podemos agrupar
como queramos para la evaluación, sin cambiar el orden de
aparición, y el resultado no cambiará.
La resta no es asociativa, ya que 5 - (3 - 2) = 5 - 1 = 4,

mientras que (5 - 3) - 2 = 2 - 2 = 0. Esto nos dice que la
expresión 5 - 3 - 2 es ambigua, porque el valor de esa
expresión dependerá de como agrupemos los operandos.
Al contrario, no es ambigua, ya que
y .
En general, cuando una operación * es asociativa, para
14 de 61 21/3/20 20:47
evaluar una expresión tal como , lo podremos hacer

agrupando como queramos, ya que ambas posibilidades,
y , producirán el mismo valor. Por esa
razón, cuando la operación es asociativa, podemos eliminar
los paréntesis.
Ejemplo 1.8.
Recordemos la operación en los Enteros, que vimos en el

ejemplo 1.3. Recordemos que
Probaremos que es asociativa y conmutativa.
Resolución. Sean a, b y c números enteros cualesquiera.

Tenemos que
Por su parte,
Comparando las dos expansiones, concluimos que

Es decir que la operación es
asociativa.
Veamos ahora la conmutatividad. y

Luego, , o sea que la
operación es conmutativa.
Ejercicios[editar]
1. Dar tres ejemplos de operaciones asociativas.
2. Dar dos ejemplos de operaciones no asociativas.
15 de 61 21/3/20 20:47
3. Definir la operación en los Enteros por .

Evaluar , , . ¿Es asociativa?
¿conmutativa?
4. Suponer que la operación $*$ no es asociativa. Entonces, la

expresión $a * $b * $c tiene dos interpretaciones posibles.
¿Cuántas interpretaciones posibles tiene la expresión $a *
$b * $c * $d?
5. Suponer que la operación $*$ es asociativa. Verificar que

todas las interpretaciones posibles de la expresión $a * $b *
$c * $d (ver el ejercicio anterior) producen el mismo valor.
Los Elementos Destacados[editar]
Algunos elementos de un magma tienen propiedades

especiales respecto a la operación. Veremos, en esta
sección, las nociones de elementos neutros, invertibles y
cancelables, que son abstracciones de ciertas propiedades
numéricas.
Elementos Neutros[editar]
En muchas situaciones, hallamos elementos de un conjunto

que tienen propiedades especiales respecto a una
operación. Pensemos, por ejemplo, en el rol del 0 en la
suma o en el rol del 1 en la multiplicación.
¿Qué tiene en común esos elementos? Simplemente, que

cuando se operan con cualquier otro elemento, siempre
producen el otro elemento. Es decir, que para todo número
se cumple que y que
En forma abstracta, llamaremos neutro a un elemento con
16 de 61 21/3/20 20:47
esa propiedad.
Definición. (Elemento Neutro) Sea E un magma con

operación *. Decimos que un elemento de es un neutro
respecto a la operación, ssi, para todo se cumple que
Cuando haya un neutro para una operación, diremos que la

operación tiene o admite un neutro.
Ejemplo 2.1.
En los conjuntos numéricos, el 0 es un neutro para la suma

y el 1 es un neutro para la multiplicación.
Siempre que tenemos elementos destacados, cabe

preguntarse ¿cuántos elementos de ese tipo hay? Los
ejemplos del 0 y del 1, nos hacen sospechar que tales
elementos son únicos. Lo que probaremos que es válido de
forma general, o sea, para una operación cualquiera.
Supongamos entonces que y fueran ambos neutros

para una misma operación . Para obtener una respuesta,
calcularemos de dos maneras diferentes a .
Como es neutro, tenemos que . Pero como es

neutro, tenemos que . Luego .
Hemos así probado, nuestro primer resultado abstracto.
Proposición 1. (Unicidad de Neutros) Cuando una

operación tiene un neutro, dicho neutro es único.
A menos que se diga lo contrario, será la notación
17 de 61 21/3/20 20:47
preferida para denotar a un elemento neutro cualquiera.
Ejemplo.
Consideremos la operación en los Enteros definida por

Vimos en el ejemplo 1.8 que esta
operación era asociativa y conmutativa. Aquí, trataremos de
determinar si tiene o no un elemento neutro.
Supongamos que tuviera elemento neutro, digamos

Entonces, para cualquier número entero tendríamos que
Donde hemos supuesto que Verifiquemos
Es decir que 0 es efectivamente un neutro para la operación
Los Elementos Invertibles[editar]
Cuando trabajamos con la suma de los números enteros,

tenemos asociado a cada número el número que es
un número con la propiedad de que sumado con el original
nos da el neutro. Los recíprocos tienen propiedades
análogas respecto a la multiplicación de los números reales,
ya que multiplicados con el número original producen el
neutro multiplicativo 1. Generalizaremos lo anterior en la
siguiente definición.
18 de 61 21/3/20 20:47
Observación. El neutro es su propio inverso.
Sea * una operación en el conjunto con neutro . Como

tenemos que el elemento neutro es invertible y que es su
propio inverso.
Ejemplo 2.2.
Consideremos la suma en el conjunto de los números

naturales positivos. La operación es asociativa y
conmutativa, pero no tiene neutro, ya que el 0 no está en
ese conjunto.
Ejemplo 2.3 (Los Enteros).
La Suma en los Enteros tiene neutro 0 y cada elemento

tiene un inverso respecto a la suma, , ya que
La Multiplicación tiene neutro 1 y los únicos elementos

invertibles son y ---ya que es el neutro y
.
Probaremos, a continuación, que cuando la operación sea

asociativa, cada elemento invertible tiene exactamente un
inverso.
Proposición 2. (Unicidad de los Inversos) Cuando la

operación es asociativa, cada elemento invertible tiene
exactamente un inverso.
Demostración Sean y inversos de Se tiene entonces

que
19 de 61 21/3/20 20:47
Lo que prueba la proposición.
La proposición tiene la siguiente interesante consecuencia.

Corolario 2.1. Cuando para cierta operación con neutro,
hay un elemento que tiene al menos dos inversos
diferentes, la operación no puede ser asociativa.
Como cada elemento invertible tiene un único inverso,

hablaremos de el
inverso del elemento. Cuando tenga inverso,
simbolizaremos
dicho inverso por
La proposición anterior tiene los siguientes importantes

corolarios
Corolario 2.2. Sea * una operación asociativa en un
conjunto E.
1. Sea un elemento invertible. Entonces, su inverso también

tine inverso, que es el elemento original Es decir,
2. Sean elementos invertibles, entonces su producto

también es invertible y se cumple que
(Notemos el cambio de orden en el lado derecho) Es decir que el

inverso de un producto de dos elementos invertibles es invertible y su
inverso es el producto de los inversos de los factores pero con el orden
cambiado.
20 de 61 21/3/20 20:47
Interrogante. ¿Por qué fue necesario suponer asociatividad

en la proposición anterior?
Ejemplo 2.4.
Recordemos la operación definida en los Enteros por

Vimos anteriormente que esa
operación es asociativa, conmutativa y tiene neutro 0. Nos
preguntamos ahora, ¿cuáles elementos tienen inverso
respecto a esa operación?
Resolución. Supongamos que es un número entero con

inverso respecto a Entonces,
Lo que prueba que tendrá inverso, ssi, podemos dividir

por en los Enteros. Es decir, ssi, o
Por lo que o son los únicos
posibles elementos invertibles, y sus inversos serían,
respectivamente, 0 y Como es el neutro, sabíamos
que tenía inverso y que era él mismo. Verifiquemos el caso
de
Luego, los únicos elementos invertibles respecto a son el

neutro y .
Los Elementos Cancelables[editar]
En los números Enteros, la relación implica que

, a pesar de que no hay división por 3 en los enteros.
21 de 61 21/3/20 20:47
Esa cancelación del 3 se generaliza en la siguiente

definición, que habla de cancelación por la izquierda o
derecha, ya que las operaciones no son necesariamente
conmutativas.
Definición. (Elementos Cancelables) Sea <E, *> un magma.

Decimos que un elemento es cancelable por la izquierda,
ssi, para todo x,y en E se cumple que
Decimos que un elemento a es cancelable por la derecha,

ssi, para todo x, y de E, se cumple que
Decimos simplemente que un elemento es cancelable,

cuando lo sea tanto por la derecha como por la izquierda.
Ejemplo 2.5.
En los Enteros, con respecto a la multiplicación, todos los

elementos no nulos son cancelables.
Probaremos, a continuación, que cuando un elemento es

invertible, ese elemento es cancelable. El recíproco de lo
anterior no es cierto como lo muestra el ejemplo de la
multiplicación en los Enteros.
Proposición 3. (Invertibles son cancelables) Cada

elemento invertible respecto a una operación asociativa es
cancelable.
Demostración: Sea un elemento invertible con inverso,

digamos, Entonces
22 de 61 21/3/20 20:47
Ejemplo 2.6.
Volvemos a examinar la operación del ejemplo 1.8, para

determinar elementos cancelables respecto a esa
operación.
Resolución: Sean , , enteros
cualesquiera.
Lo que implica que cuando

Es decir que todos los elementos diferentes de
son cancelables.
Convenios de notación[editar]
Podemos simbolizar una operación de muchas maneras

diferentes, pero hay algunas maneras que usamos más
frecuentemente. Por ejemplo, las sumas se simbolizan
usando o algo parecido, . Cuando usemos
hablaremos de la notación aditiva. Usaremos
preferentemente la notación aditiva cuando la operación
sea conmutativa. Por su parte, la multiplicación se denota
por o nada y diremos que estamos usando la notación
multiplicativa. Cuando queramos insistir en la abstracción,
usaremos la notación La siguiente tabla resume los
23 de 61 21/3/20 20:47
convenios notacionales acerca de esas notaciones.
Si la operación + *
es
la notación es Aditiva Multiplicativa General
el neutro es 0 1 e
el inverso es -a
opuesto recíproco inverso

aditivo
Observaciones.
1. (Terminología) Algunos autores llaman leyes de

composición a las operaciones, elementos simetrizables a
los invertibles.
2. Nuestra definición de operación es aquella de una

operación binaria porque asocia a dos elementos del
conjunto un valor. Como esas será, en la práctica, la única
forma de operación que usaremos, hemos omitido el
apellido. Sin embargo podemos definir operaciones con otra
cantidad de argumentos. Véase, por ejemplo, el apéndice
sobre la Teoría de Estructuras Algebraicas.
3. Nuestra definición de operación es aquella de una

operación interna. Hay otra clase operaciones llamadas
externas en un conjunto E, que son funciones ,
donde A usualmente tiene también una estructura
algebraica. El ejemplo típico de operación externa es el
producto de un escalar (número) por una matriz, o de una
constante (número) por una función.
24 de 61 21/3/20 20:47
Ejemplo: F(X,X)[editar]
Sea X un conjunto no vacío. Simbolizamos por al

conjunto formado por todas las funciones del conjunto X en
si mismo. La composición de funciones es una operación en
ese conjunto.
Este es un ejemplo importante, que reaparecerá varias

veces en el futuro. Ilustra un conjunto con una operación
donde hay elementos cancelables que no son invertibles o
que son cancelables por la izquierda, pero no por la
derecha, etc.
La composición[1] de funciones define una operación

asociativa en F(X,X).
La función identidad que envía cada elemento de X en si

mismo, es un neutro para la composición.
En F(X,X) tenemos funciones inyectivas, suprayectivas, y

biyectivas. Se sabe por resultados generales [1] que:
Las funciones inyectivas son cancelables por la izquierda.
Las funciones suprayectivas son cancelables por la

derecha.
Las funciones biyectivas, por ser inyectivas y suprayectivas

son cancelables por
izquierda y derecha. De hecho, son invertibles.
Ejercicios[editar]
25 de 61 21/3/20 20:47
1. Llamamos Enteros módulo al conjunto denotado por

con operaciones de suma y multiplicación como en los
Enteros usuales, pero con el agregado de que .
1. En , con la multiplicación. ¿Cuáles elementos tienen
recíprocos?
2. En , con la multiplicación ¿cuáles elementos tienen

recíprocos?
2. Probar que si para un elemento de un magma se

cumple que , donde es un neutro. Entonces, es
invertible.
3. Sea un magma asociativo, pero no conmutativo. Sean ,

y elementos invertibles de . ¿Cuál es el inverso de
?
Las Partes Cerradas[editar]
Definición. (Cerraduras) Sea E un magma. Decimos que un

subconjunto de es:
Ejemplo 3.1.
Sea el magma multiplicativo de los Reales y sea

el conjunto de los reales positivos, . Los positivos son
cerrados respecto a la multiplicación, al neutro y a tomar
recíprocos (inversos multiplicativos).
Operación Restringida.
Cuando un conjunto es cerrado respecto a una operación,

dicha operación define por restricción una operación en el
26 de 61 21/3/20 20:47
conjunto cerrado. Aunque, en rigor, la operación restringida

es una operación diferente a la operacíón en todo el
conjunto, ya que como función se han cambiado su dominio
y codominio, es tradicional usar la misma notación para la
operación restringida.
Ejemplo 3.2.
Sea S el conjunto formado por todos los números complejos

de la forma donde y . Sean
y elementos de S.
1. Probaremos que con respecto a la adición S es cerrado

respecto a la operación, al neutro y a los opuestos aditivos.
1. . Como la suma de enteros
es un entero, tenemos que z + w es un elemento de S, lo
que prueba la cerradura respecto a la suma,
2. Como , el neutro es un elemento de S
3. El opuesto aditivo de Z es , que también

es un elemento de S.
2. Probaremos que S es cerrado respecto a la multiplicación y

al neutro multiplicativo1; pero, veremos que no es cerrado
respecto a tomar recíprocos.
1. Como
, los productos de elementos en S están en S, o sea que S

es cerrado respecto a la multiplicación.
2. Como , el neutro 1 está en S.
27 de 61 21/3/20 20:47
3. Como , el recíproco de
es igual a
que no está en S.
Proposición 4. Cuando la intersección de dos partes

cerradas no es vacia, dicha intersección es una parte
cerrada.
Tablas de Operaciones[editar]
Cuando el conjunto donde actúa una operación es finito y

con relativamente pocos elementos, podemos presentar a
la operación como una tabla de la operación, que es un
arreglo como el siguiente.
El producto b * c se obtiene en la intersección de la fila que

contiene a b con la columna que contiene a c. En esta tabla,
b * c = a.
Notemos que la fila y columna de e reproducen la fila y

tabla de elementos del conjunto, lo que indica que e es
neutro.
Veamos como buscar en la tabla si un elemento tiene

inverso, digamos que buscamos el inverso de b. Nos
28 de 61 21/3/20 20:47
movemos por la fila del b hasta hallar el neutro. Si no

hallamos un neutro, eso significa que no hay inverso. En
este caso hallamos e (neutro en este caso) en la columna
del b, lo que nos dice que b * b = e. Por lo que b-1 = b.
En general, si hallamos x * y = e ( e neutro), antes de

concluir sobre inversos, debemos chequear y * x (a menos
que haya conmutatividad u otra situación especial, no hay
nada que indique que y * x = x* y = e).
Cuando la tabla, como en este caso, es simétrica respecto

a la diagonal principal (desde izquierda arriba a derecha
abajo), tenemos que la operación es conmutativa.
Ejemplo 4.1. (Las tablas de ).
El símbolo indica a los Enteros módulo m.

Posiblemente, los lectores seguramente conocen a estos
objetos que provienen de considerar las congruencias
módulo m. Más adelante, habrá una exposición detallada de
estos importantes objetos matemáticos. Por ahora, lo
básico es que se trata de conjuntos construidos a partir de
los Enteros, con las operaciones de suma, resta y
multiplicación, pero agregando que m = 0 (eso es lo que
módulo significa). Presentamos, ahora, esos números
porque nos servirán para ilustrar ciertas nociones.
Trabajaremos, aquí, con m=6 para simplicidad de la
exposición. La generalidad para otros casos seguirá de una
cuidadosa observación de lo que haremos.
En primer lugar, se tiene que tiene solamente seis

elementos, a saber
29 de 61 21/3/20 20:47
¿Por qué? La forma más simple de ver lo anterior es tomar

un entero n cualquiera y considerar su división por 6. Esto
produce un cociente q y un residuo r tales que
Como suponemos que 6 = 0, la relación (*) se reduce a n =

r. Los elementos de son precisamente los residuos de la
división por 6.
Una vez establecido lo anterior es fácil hacer aritmética con

enteros-módulo-6. Por ejemplo
2+3 = 5, 4+3 =1 (ya que 7 = 6 +1), 5*5 =1 (25= 6*4 +1, etc.
Presentamos las tablas de la operaciones como ejemplos
de tablas finitas. Queda de asignación verificar la corrección
de las mismas.
Mirando a la tabla de suma o por simple computación)

vemos que 2 + 4 =0, o sea que -2 = 4. ¿Qué otros
elementos tienen opuestos aditivos? En la tabla de
multiplicación vemos que 5*5 = 1, o sea que 1/5 =5. ¿Qué
otros elementos tiene recíproco?
30 de 61 21/3/20 20:47
Finalmente, observemos que {1,5} es un subconjunto

cerrado para la multiplicación.
Ejercicios del Capítulo[editar]
1. Completar los espacios en blanco

1. Una operación en un conjunto E es una función de
_________ en _____.
2. Un elemento neutro de una operación * de un conjunto E es

un elemento e tal que para todo x en E se cumple que
______________ y ______________ .
3. Un elemento x es un inverso de un elemento y, ssi,

__________ y ________.
4. Un conjunto S es cerrado respecto a una operación, cuando

para cada par x, y de elementos de S se cumple que
__________________
5. Cuando el orden de los operandos no altera el resultado

(producto) de una operación, la operación es
________________.
6. Cuando la notación es aditiva, el neutro usualmente se

simboliza por __.
7. Cuando la notación es aditiva, llamamos _____________

______________ al inverso.
2. ¿Cuáles de las siguientes especificaciones determinan una

operación en el conjunto de los naturales positivos, ? En
caso afirmativo, determinar las propiedades de las
operaciones y la existencia de neutro y de inversos.
31 de 61 21/3/20 20:47
1. .
2. máximo común divisor de a y b.
3. mínimo común divisor de a y b.
4. .
3. Construir la tabla de (enteros módulo 2) y respecto a

la suma.
4. Construir la tabla de (enteros módulo 5) respecto a la

multiplicación. Mirando la tabla determinar el neutro y los
elementos que tienen recíproco.
5. Cada una de las siguientes tablas es una tabla de un

operación asociativa. Examinando la tabla determinar si hay
elementos neutros y cuáles elementos tienen inversos.
6. Escribir en forma precisa el procedimiento para determinar

en una tabla de una operación
1. ¿cuál es el elemento neutro?
2. ¿cuáles elementos tienen inversos?
7. ¿Cuáles de los conjuntos siguientes son cerrados respecto

a la adición en los Enteros?
1. El subconjunto formado solamente por el 0, .
2. Los múltiplos de 9.
32 de 61 21/3/20 20:47
4. Generalizar los ejercicios anteriores.
5. .
6. Los Enteros positivos.
7. Los Primos.

a la multiplicación en los Enteros?
1. Los números pares.
2. Los números impares.
4. Los Enteros positivos.
5. Los Enteros negativos.

a la adición en los Racionales?
1. Los Racionales positivos.
2. Los Racionales negativos.
3. Los números de la forma , donde m es un entero

cualquiera y n es un número natural.
4. Los números de la forma donde m es un entero

positivo y n es natural.
10. Probar que el conjunto , donde , es

cerrado respecto a la multiplicación en los Complejos.
Construya la tabla correspondiente a esa operación,
11. Sea A una parte cerrada respecto a una operación. Explicar

por qué cuando operación es asociativa (resp.conmutativa),
su restricción a A también lo será.
33 de 61 21/3/20 20:47
12. Sea el conjunto formado por todos los números

reales de la forma donde y son racionales.
Probar que es cerrado respecto a la multiplicación en
los Reales.
13. Sea X un conjunto y sea el conjunto formado por

todos los subconjuntos de X. Investigar si la unión e
intersección de subconjuntos son operaciones y sus
propiedades.
14. Sea E un magma. Decimos que dos elementos a y b

permutan o conmutan entre si, ssi, ab = ba. probar que si la
operación es asociativa y a conmuta con b y c, entonces, a
conmuta con b * c.
15. ¿Cuántas operaciones diferentes se pueden definir en un

conjunto con dos elementos?, ¿cuántas son conmutativas?
Comentarios[editar]
Operaciones Generalizadas. Supongamos que tenemos

un magma <E,*> y una sucesión de
elementos de E.
Supongamos que queremos hallar el producto de todos

ellos. En el texto, hemos aprovechado la experiencia
manipulativa de los lectores para no preocuparnos
demasiado de ese asunto. La situación es que, por
definición, nuestra operación es binaria por lo que no hay
como hallar, sin un convenio previo, el producto de una
sucesión con más de dos elementos.
Si tuviéramos tres elementos, digamos a, b y c, podríamos
34 de 61 21/3/20 20:47
formar producto con los tres de una de las siguientes

maneras
Notemos que los paréntesis se usan para agrupar dos a la

vez. Cuando la operación es asociativa, ambas expresiones
representan al mismo elemento. Pero, si la operación no
fuera asociativa, ¿cuál de las dos sería el producto de esos
tres elementos?
Cuando hay cuatro elementos, hay muchas más

posibilidades de agrupamientos, dos a la vez. La siguiente
definición selecciona una de las posibles alternativas. .
Es fácil ver, por inducción, de que efectivamente se ha

definido un elemento de E.
En notación aditiva, la definición anterior es la usual

definición de sumatoria
Asociatividad. Cuando la operación es asociativa, se

puede probar que independiente de la manera que
agrupemos los elementos de la sucesión--siempre y
cuando, mantengamos el orden de aparición---el producto
siempre es el mismo.
La demostración consiste en considerar particiones de

[1,..,n] que preserven el orden y mostrar que el
35 de 61 21/3/20 20:47
producto de es igual al
producto de los productos parciales.
Por ejemplo, en el caso si tenemos 1,2|3,4,5|6,7.

Entonces
deberíamos probar que , donde

Es decir
que
La demostración formal procede por inducción sobre n.

Los lectores
experimentados con este tipo de demostraciones puede

intentarlo por su cuenta. La demostración formal se puede
hallar en las referencias bibliográficas [2], [3] o [4].
También en la página Semigrupos, Monoides,... de

WikiLibros, donde puede hallarse demostraciones tanto de
la asociatividad como de la conmutatividad generalizadas.
Notas[editar]
Introducción[editar]
Cuando a un conjunto lo proveemos de una o más
36 de 61 21/3/20 20:47
operaciones, obtenemos una estructura algebraica. En este

capítulo, veremos algunas de las estructuras clásicas con
una o dos operaciones.
Las estructuras se clasifican por la cantidad de operaciones

que aparecen en la estructura, las propiedades de esas
operaciones, la existencia de elementos o subconjuntos
destacados y las relaciones (de orden u otras) entre los
elementos del conjunto base.
Presentaremos diversos tipos de estructuras con ejemplos

de cada uno de esos tipos. Resultará importante
familiarizarse con esos ejemplos, ya que nos referiremos a
la mayoría de ellos en capítulos posteriores.
Estructuras Algebraicas[editar]
Una Estructura Algebraica o Sistema Algebraico es un

lista de la forma <E, p1, p2 , ...> donde E es un conjunto
(llamado el conjunto base o portador de la estructura) y p1,
p2 , ... son los parámetros de la estructura. Dichos
parámetros son usualmente operaciones en E, incluyendo
operaciones externas (operaciones tales como la
multiplicación por constante de una función, o escalar por
matriz). También puede haber relaciones entre los
elementos de E.
Las operaciones pueden ser de varios tipos. Además de las

operaciones vistas en el capítulo anterior, que son
operaciones binarias porque tienen dos operandos, hay
operaciones unarias, ternarias, etc.
37 de 61 21/3/20 20:47
El Álgebra Abstracta es el estudio de las diferentes

estructuras---definiciones, propiedades, relaciones entre
ellas, etc--- independiente de la naturaleza de los elementos
del conjunto base. Como veremos en el texto, varios
conjuntos diferentes sirven de conjunto base de una misma
estructura. A medida que avancemos en el texto,
discutiremos más detalles acerca de las estructuras. Una
discusión más detallada puede hallarse en el apéndice
sobre la Teoría de Estructuras Algebraicas.
Estructuras con una Operación[editar]
Nuestro estudio empezará con estructuras muy simples ya

que la lista de parámetros incluye solamente a una
operación. Veremos las estructuras de magma, semigrupos,
monoides y grupos. [1]
Definición de Magma[editar]
La estructura algebraica más simple que consideraremos,

magma, fue introducida en el capítulo anterior.
Recordaremos a continuación su definición.
Definición. (Magma) Llamamos magma a un par <E,*>

donde E es un conjunto no vacío y es una operación en el
conjunto.
38 de 61 21/3/20 20:47
Ejemplos.
1. Los Enteros con la suma, , o con la multiplicación,

.
2. Los Racionales, los Reales, los Complejos con respecto a

la suma y también a la multiplicación.
3. Los Enteros con la resta.
Sea <E,*> un magma. Cuando no haya ambigüedad acerca

de la operación de un magma, podremos hablar
simplemente del magma E. Otras veces, podremos hablar
del magma E con la operación *.
Definiciones de Semigrupo, Monoide y Grupo[editar]
Definición. (Semigrupo, Monoide, Grupos)
Un semigrupo es un magma con operación asociativa.
Un monoide es un semigrupo con elemento neutro.
Un grupo es un monoide cuyos elementos son todos

invertibles respecto a la operación.
Un magma (resp. semigrupo, monoide, grupo) es

conmutativo (o abeliano) cuando la operación es
conmutativa.
Un magma (resp. semigrupo, monoide, grupo) es finito,

cuando el conjunto base lo es.
Decimos que un magma (resp. semigrupo, monoide, grupo)

es aditivo (resp. multiplicativo) cuando la operación se
denote como una suma (resp. multiplicación). Usualmente,
39 de 61 21/3/20 20:47
cuando la operación es conmutativa se denota

aditivamente.
Ejemplos.
1. Los Enteros con la resta forman un magma que no es un

semigrupo, ya que la resta no es asociativa.
2. Los Naturales positivos con la suma forman un semigrupo

(la suma es asociativa) que no es un monoide, ya que el
neutro 0 no está en el conjunto.
3. Los Naturales con la suma forman un monoide que no es

grupo, ya que los opuestos aditivos de los naturales
positivos no están en el conjunto.
4. Los Enteros con la suma forman un grupo abeliano.
5. Los Racionales, Los Reales y los Complejos, con la suma

determinan grupos abelianos.
6. Los Racionales, los Reales y los Complejos no nulos, con la

multiplicación usual, determinan grupos abelianos.
Observaciones acerca de las estructuras y de la

terminología asociada.
En rigor, debiéramos decir, por ejemplo, que

"tiene o posee una estructura de grupo", o que es una
"instancia de la estructura de grupo", pero simplemente
decimos es un grupo o hablamos del grupo
(aditivo) de los Enteros.
En rigor, deberíamos especificar a un monoide como (que

tiene) una estructura para indicar la existencia
del neutro e. Igualmente, un grupo debiera especificarse
40 de 61 21/3/20 20:47
como para indicar que hay, además,

inversos para cada elemento. Sin embargo, cuando no haya
riesgo de confusión mencionamos solamente el conjunto, la
operación y el tipo de estructura.
(Descendientes, Subyacentes) Observemos que hemos

definido a las estructuras magma, semigrupos, monoides y
grupos, como que cada una es un caso especial de la
anterior. Decimos que una estructura es descendiente de
una segunda estructura, cuando sea un caso especial de la
otra. En tal situación, decimos que la segunda estructura es
un antecesora de la primera. Por ejemplo, las estructuras
de semigrupos, monoides y grupos son descendientes de la
estructura de magma. Cuando una estructura es
descendiente de otra, decimos también que la segunda
estructura es subyacente a la primera. Por ejemplo, el
grupo , o sea, tiene una
estructura subyacente de monoide (nos
olvidamos de los opuestos aditivos). También tiene una
estructura subyacente de semigrupo, .
(Herencia) La razón de llamar descendientes a las

estructuras especiales es para señalar que las propiedades
de una estructura son heredadas por sus descendientes.
En Álgebra Abstracta, se prefiere siempre enunciar y probar
los enunciados en la estructura más general posible, para
que sirva para todos sus descendientes.
Sigue de la observaciones anteriores que todas las

propiedades de magmas probadas en el capítulo anterior
son válidas para semigrupos, monoides y grupos.
41 de 61 21/3/20 20:47
Propiedades de Monoides[editar]
Un monoide puede contener elementos invertibles, aunque

no sea un grupo. Por ejemplo, los Enteros no nulos con la
multiplicación forman un monoide que no es grupo, ya que
los enteros diferentes de 1, -1 no tienen recíprocos. Sin
embargo, 1 y -1 tienen inversos que son ellos mismos. Esto
implica que el conjunto U = {1,-1} determina con la
multiplicación un grupo. La situación es bastante general,
como lo muestra la siguiente proposición.
Proposición 1. (Grupo de invertibles de un Monoide)

Sea <M,*> un monoide y sea UM el conjunto formado por
todos los elementos de M que son invertibles. Entonces <
UM, *> es un grupo.
Demostración: Como el producto de invertibles es invertible,

UM es cerrado respecto a la operación, por lo que la
restricción de la operación a UM define allí una operación.
El neutro siempre es invertible, por lo que el neutro es un
elemento de UM. Finalmente, los inversos de elementos
invertibles son invertibles, por lo que cada elemento de UM
tiene inverso en UM. Es decir que < UM, *> es
efectivamente un grupo.
Ejemplos.
Los Reales con la multiplicación forman un monoide cuyo

grupo de invertibles esta determinado por los Reales no
nulos. Igualmente, para los Racionales y los Complejos.
Las matrices cuadradas con la multiplicación forman un
42 de 61 21/3/20 20:47
monoide, cuyo grupo de invertibles, está formado por las

matrices invertibles.
Orden de un Elemento[editar]
Definición. (Orden de un Elemento) Sea un monoide (o

grupo) con neutro y un elemento de , Cuando haya un
número natural positivo tal que , llamaremos orden
de al menor entero positivo con esa propiedad. Cuando el
conjunto de potencias de un elemento consista de
elementos diferentes entre si, diremos que el elemento
tiene orden infinito. Notación: .
Ejemplos.
1. El número imaginario es tal que

. Por lo que su orden es 4.
2. En un grupo aditivo, los múltiplos son las potencias. Por lo

que un elemento a tiene orden finito n, cuando na = 0. En
los Enteros, no hay números n positivos tales que , por
lo que el orden de 1 es infinito. En los Enteros módulo m,
todos los elementos tienen orden finito respecto a la
adición.
Proposición 2. Sea a un elemento de un monomio M con

, o sea, tal que hay un entero positivo n tal que
Entonces, a es invertible con inverso
Demostración:
Ejemplos.
43 de 61 21/3/20 20:47
Ejemplos[editar]
El Álgebra Abstracta como su nombre lo indica tiene su

origen en la abstracción de propiedades de ejemplos
existentes. Esta (relativamente larga sección, quiere
mostrar algunos de esos ejemplos). Es importante que los
lectores se familiaricen con ellos. Deben procurar, además,
identificar las nociones vistas en el capítulo anterior:
elementos neutros, invertibles, cancelables, partes
cerradas.
Los Sistemas Numéricos[editar]
Nuestros sistemas numéricos son los Naturales, Enteros,

Racionales, Reales y Complejos. A ellos siempre
agregaremos los Enteros módulo cierto número.
Los principales resultados que el lector deberá examinar

cuidadosamente para ver la validez de lo afirmado.
El Grupo Simétrico[editar]
En el capitulo "Las Operaciones" destacamos al ejemplo

formado por todas las funciones de en si
mismo. Vimos que dicho conjunto con la composición de
funciones tiene una estructura de monoide. Por lo tanto, de
acuerdo a la proposición 1, los elementos invertibles de
dicho conjunto determinan con la composición un grupo al
que llamamos el grupo simétrico de y que denotamos
por . Notemos que los elementos invertibles de
son las funciones biyectivas de en si mismo. Se puede
44 de 61 21/3/20 20:47
verifica que cuando el conjunto tiene más de dos

elementos, dicho grupo no es conmutativo.
Cuando es el conjunto formado por

los primeros números naturales positivos, denotamos a
por y le llamamos grupo de las permutaciones de n
símbolos o grupo simétrico de grado n. Una
permutación, en este contexto, es una función biyectiva de
cualquier conjunto finito en si mismo.
Grupo de Permutaciones En forma general, llamamos

grupo de permutaciones a un grupo G, tal que G es un
subconjunto de algún . Históricamente, estos fueron los
primeros grupos estudiados.
Representación matricial de permutaciones. Cuando sea

una función de In en si mismo, escribiremos la tabla de
valores de la función de la siguiente manera
Por ejemplo, todas las biyecciones de en si mismo son:
Las permutaciones están asociadas, usualmente, con

reordenamientos. Mirando a la segunda fila, vemos porque
llamamos permutaciones a esas funciones. La siguiente
tabla muestra los resultados de la composición de esas
45 de 61 21/3/20 20:47
funciones, es decir la tabla del grupo.
La tabla de S3.
Mirando la falta de simetría respecto a la diagonal principal,

vemos que la operación no es conmutativa. Claramente, f0
es la identidad (como función) que es el neutro del grupo.
¿Cómo obtuvimos los resultados? Simplemente por

composición de funciones. Veamos el cómputo de
Luego, el producto es igual a f1
¿Cuántos elementos tiene ?
Razonando como reordenamiento de In, vemos que

debemos ubicar los n elementos de ese conjunto en n
posiciones. Tenemos n posibilidades para la primera
posición, (n-1) para la segunda, (n-2) para la tercera, etc.
Luego,
Las Matrices 2 x 2[editar]
46 de 61 21/3/20 20:47
Denotamos por al conjunto formado por todas las

matrices 2 x 2 con entradas o componentes números
reales. Hay operaciones de suma y producto de matrices
que recordamos a continuación.
Dichas operaciones tienen las propiedades que

indicaremos a continuación. La verificación de la validez de
las mismas queda al cuidado de los lectores.
1. La suma de matrices es asociativa, conmutativa, tiene
neutro y cada matriz A tiene opuesto aditivo -A. Lo

que nos dice que las matrices con la suma determinan un
grupo abeliano.
2. La multiplicación de matrices es asociativa, pero no
conmutativa. Tiene neutro . Por lo que las

matrices con la multiplicación determinan un monoide. Las
matrices con la multiplicación no determinan un grupo,
porque no todas las matrices no nulas tienen inverso. En,
efecto se sabe que únicamente las matrices con
determinante no nulo son invertibles. Se sabe que si la
matriz tiene determinante (ad- bc) no nulo, su

inversa es
47 de 61 21/3/20 20:47
Las matrices invertibles determinan un grupo ya que el

producto de invertibles es invertible con inversa igual al
producto de las inversas de los factores, pero con orden
invertido.
y la inversa de una matriz invertible tiene como inversa a la

matriz original.
Dicho grupo se llama grupo lineal (de dimensión 2) sobre

los Reales y se denota por .
Ejercicios[editar]
1. Verificar la validez de las afirmaciones sobre las

propiedades de las operaciones con matrices.
2. Para cada uno de los siguientes conjuntos de matrices,

investigar si son cerrados respecto a la multiplicación, si la
identidad pertenece al conjunto y si el inverso de cada
elemento en el conjunto pertenece al conjunto
48 de 61 21/3/20 20:47
3. Sea el subconjunto formado por todas las matrices

invertibles cuyas entradas son todas números racionales.
Probar que dicho conjunto con la multiplicación tiene una
estructura de grupo.
4. Sea el conjunto de matrices de la forma
Probar que las matrices no nulas de forman un grupo con

la multiplicación.
Los Enteros módulo m[editar]
En esta sección, construiremos de manera formal el

conjunto de los Enteros módulo , así como sus
operaciones de adición y multiplicación. Esta construcción
servirá de modelo más adelante en la construcción de los
llamados grupos cocientes.
Definición. (Congruencia módulo m en los Enteros) Sea m

un entero positivo. Decimos que dos enteros x, y son
congruentes módulo m, ssi, x - y es un múltiplo de'm
Notación: o
Claramente, esa relación es reflexiva y simétrica.

Probaremos la transitividad.
Luego , lo
que prueba la transitividad. Nos referiremos a esta relación
como la congruencia módulo m.
Supongamos que tenemos una relación de equivalencia en
49 de 61 21/3/20 20:47
un conjunto $X$. Llamando clase de equivalencia de un

elemento $x$ al subconjunto formado por todos los
elementos relacionados con $x$ y que denotamos por $x$,
se sabe que dichas clases forman una \text it{partición} del
conjunto $X$. Es decir que son disjuntas dos a dos y que su
(re)unión es todo $X$. Ver los detalles en el apéndice
\ref{chRelaciones}.
Las clases de equivalencia con respecto a la relación de

congruencia se llaman también clases de congruencia. La
clase de congruencia módulo de un número está
formado por todos aquellos números tales que es
un múltiplo de , o sea tales que , para algún
.
Simbolizaremos por al conjunto formado por todas las

clases de equivalencia módulo y diremos que sus
elementos son los \textit{enteros módulo }. Cada
elemento de una clase es un \textit{representante} de la
clase. Simbolizaremos por el conjunto formado por
todas las clases de equivalencia módulo m y diremos que
sus elementos son los Enteros módulo m. Cada elemento
de una clase es un representante de la clase.
Ejemplo (Enteros módulo 2).
En este caso dos elementos son equivalentes, o lo que es

lo mismo definen la misma clase de equivalencia cuando su
diferencia es un múltiplo de 2 (o sea un número par). Por lo
que la clase del 0, [0] está formado por todos los x tales que
x - 0=x es un número par, por lo que la clase del 0 está
formada por todos los números enteros pares.
50 de 61 21/3/20 20:47
Por su parte, la clase del 1, está formada por enteros cuya

diferencia con 1 sea par, o sea los impares.
Luego, ,
Ejemplo (Enteros módulo 5).
En este caso, dos números son equivalentes cuando su

diferencia es un múltiplo de 5. Construyamos las clases de
equivalencia. La clase del 0 está formado por todos
aquellos números cuya diferencia con 0 es un múltiplo de 5,
o sea todos los múltiplos de 5.
Busquemos ahora la clase de equivalencia del 1. Como

, ssi, , ssi, . La clase del [1]
estará formada por todos los enteros que son 1 más que un
múltiplo de 5.
Análogamente, obtenemos que
Notemos que , etc. Es decir que hay

solamente cinco clases diferentes.
51 de 61 21/3/20 20:47
Operaciones en .
Queremos definir operaciones de suma y multiplicación en

por
Es decir que la suma de la clase de x con la clase de y sea

la clase de x+y y análogamente para la multiplicación. Hay,
sin embargo, un problema con tal definición. La suma (y, lo
mismo, el producto) se obtienen sumado (resp.
multiplicando) dos representantes, uno de cada clase;
por lo que resulta natural preguntar, ¿qué pasaría si
escogiéramos otras representantes? La siguiente
proposición no asegurará que no importa los representantes
que escojamos, siempre obtendremos el mismo resultado.
Proposición 3. (Compatibilidad con las operaciones)

Sean a, b, c, d números enteros tales que y
Entonces,}}
1. .
2.
Corolario. Suponer que y que Entonces,
El grupo aditivo de los Enteros módulo m[editar]
Veremos que con suma forman un grupo abeliano.
Necesitamos verificar que la suma es asociativa,

conmutativa, con neutro y que cada elemento tiene un
52 de 61 21/3/20 20:47
opuesto aditivo.
Sean números enteros.
Lo que prueba la asociatividad.
, lo prueba
conmutatividad.
Claramente, , lo que muestra que la clase del

0 es el elemento neutro.
Finalmente, para cada , tenemos que

, lo que prueba que
Es decir cada elemento tiene un opuesto.
Esto concluye la prueba.
El monoide multiplicativo de los Enteros módulo

m[editar]
Veremos que los Enteros módulo m con la multiplicación

forman un monoide. La asociatividad y la conmutatividad se
prueban de manera análoga al caso de la suma. Además,
, por lo que [1] es un neutro.
Se puede verificar que cuando m es un número primo, ,

los elementos no nulos de , forman un grupo abeliano
respecto a la multiplicación. Cuando m es compuesto
aparecen unas cosas raras en la multiplicación. Por
ejemplo, en , la clase del 2 y la clase del 3 son distintas
de la clase del 0, ya que ninguno de ellos es un múltiplo de
53 de 61 21/3/20 20:47
6, pero . Dos elementos no nulos al

multiplicarse producen el elemento nulo.
Ejercicios[editar]
1. Construir las tablas de operaciones (adición y

multiplicación) de Usar la tabla para evaluar las
expresiones siguientes.
a. [7]+ [2] b. [8]*[5] c. -([3]*[6])
d. 1/[3] e. 1/[5] f. 1/[7]
2. Hallar los cuadrados y los cubos de todos los elementos de

.
3. Hallar los recíprocos de todos los elementos no nulos de

.
4. Resolver la ecuación en .
5. Resolver en , el sistema de ecuaciones
Estructuras algebraicas con dos

operaciones[editar]
Las estructuras con dos operaciones, que veremos a

continuación, puede que tengan un sabor más familiar. Por
ahora, sin embargo, su aparición se debe a que nos
proveen de ejemplos de las estructuras con una operación.
Las estructuras con dos operaciones se verán
54 de 61 21/3/20 20:47
detalladamente en capítulos posteriores.
Definición (Anillos, Cuerpos) Un anillo es un trío

tales que
1. es un grupo abeliano (grupo multiplicativo del

anillo).
2. es un semigrupo (semigrupo multiplicativo del

anillo.
3. La multiplicación es distributiva respecto a la adición.
Un anillo conmutativo con identidad es un anillo con la

multiplicación conmutativo y con un neutro 1 (llamado
identidad del anillo)
Un cuerpo es un anillo conmutativo con identidad donde

cada elemento no nulo tiene recíproco.
Los Enteros son un ejemplo de anillo conmutativo con

identidad. Los Racionales, Reales y Complejos serán, por
ahora, nuestros ejemplos de cuerpos.
Proposición 4. Cuando p es un número primo, los Enteros

módulo p son un cuerpo.
Matrices con entradas en un anillo[editar]
Queremos aumentar nuestro caudal de ejemplos,

definiendo matrices con entradas en un anillo con identidad
o cuerpo cualquiera. Notemos que las definiciones de suma
y multiplicación de matrices con entradas reales lo único
que requieren de los Reales es que se pueden sumar y
multiplicar. Como esto pasa en cualquier anillo, podemos
55 de 61 21/3/20 20:47
considerar matrices cuyas entradas pertenecen a un anillo

cualquiera.
Sea A un anillo con identidad o un cuerpo. Simbolizaremos

por el conjunto de todas las matrices 2 x 2 cuyas
entradas son elementos de A. Es un ejercicio largo, pero
fácil, probar que <math<M_2(A)</math> con esas
propiedades determina un anillo con identidad. El anillo no
es conmutativo.
Se define el determinante de como es usual,

esto es . Se verifica que
Sea K un cuerpo, por simbolizamos al grupo de

matrices invertibles con entradas en K. Cuando K sea los
enteros módulo p, p primo, es un grupo finito, que
se prueba que tiene elementos.
Ejercicios[editar]
1. Probar que es un anillo conmutativo con identidad.
2. Probar que cuando m no es un número primo, en hay

elementos no nulos tales que
3. Probar que las matrices 2 x 2 con coeficientes en un anillo

conmutativo con identidad determinan un anillo con
identidad, pero que no es conmutativo.
4. Sea . Probar o verificar las siguientes
56 de 61 21/3/20 20:47
afirmaciones.
1. Si una de las filas o una de las columnas de la matriz es 0 0
, entonces el determinante es cero.
2. Si hay un número p tal que c = pa y d = cb entonces el

determinante de la matriz es cero.
3. Si el determinante de A es cero, probar que hay un número

p tal que c=pa y d = pb.
5. Usar el ejercicio anterior para hallar la formula para la

cantidad de elementos de , p primo. (Sugerencia.
Cualquier par de elementos que no sean ambos nulos
sirven para la primera fila. ¿Cuántos pares de elementos
hay que no sean ambos nulos? La segunda fila no puede
ser un múltiplo de la primera, por lo que hay que tomar un
par de elementos que no sea un múltiplo de la primera fila
¿cuántos de esos pares hay?)
Estructuras con una operación externa[editar]
Presentaremos, como ilustración, algunas estructuras

donde aparece una operación externa.
Definición (Módulo, Espacio vectorial, Álgebra)
Los principales ejemplos que posiblemente el lector debe

conocer:
El álgebra de polinomios, la multiplicación por constantes es

la operación externa.
El álgebra de matrices, la operación externa es la

multiplicación por escalar (por constante).
57 de 61 21/3/20 20:47
El plano cartesiano es un espacio vectorial sobre > los

elementos del plano son pares ordenados de números
reales, la suma se hace coordenada a coordenada y la
multiplicación por escalar, es multiplicar cada coordenada
por el escalar.
Claramente, las definiciones anteriores se pueden extender

a (Espacio vectorial d dimensión n).
El álgebra de polinomios tiene un capítulo en este texto.

Espacios vectoriales, Algebras son materias de un curso de
Álgebra Lineal. Módulos generales se estudian en cursos
avanzados de Álgebra Lineal o de Álgebra Conmutativa.
Una introducción a esos temas se puede hallar en

Wikipedia:Vector o Espacio Vectorial
Ejercicios del Capítulo[editar]
1. (Potencias en un Semigrupo.) Probar que para todo a,

elementos de se cumple que
1.
2.
3. Si entonces
2. (Potencias en un Monoide.) Si tiene un neutro entonces

definimos Probar que con estas definiciones, se
continúan cumpliendo las propiedades del ejercicio 1.
58 de 61 21/3/20 20:47
3. (Potencias Negativas.) Sea <M,*> un monoide y sea a un

elemento invertible de cualquiera de S. Como S es un
monoide, an está definido, según los ejercicios anteriores,
para todo Cuando a es invertible, podemos además
definir potencias con exponentes negativos. Supongamos
que a' es el inverso de a y n un número entero positivo.
Entonces,
1. Probar que a elevado a -1 es igual al inverso de a; lo que

prueba que la notación a-1 no es ambigua.
2. Probar que para todo m, n enteros se cumplen las

relaciones del ejercicio 1.
4. Sea S un semigrupo con neutro Sea a un elemento de

tal que y 12. es el menor entero positivo con esa
propiedad. Probar las siguientes afirmaciones.
1. Hay elementos y tales que
2. Si es un múltiplo de 12, entonces
3. Si el residuo de la división de un entero positivo m por 12 es

r, entonces
4. Expresar como potencias positivas de a.
5. (Subgrupos del grupo ).
Sea una rotación por 120
grados, y sea , la reflexión entorno al eje X.

Probar las afirmaciones siguientes.
59 de 61 21/3/20 20:47
1. , y .
2. Sea . H es un conjunto cerrado respecto a la

multiplicación de matrices (construir la tabla de
operaciones), y que cada elemento de es invertible. Es
decir que H es un grupo respecto a la multiplicación de
matrices.
3. Sea . G es un conjunto cerrado

respecto a la multiplicación y cada elemento de G tiene
inverso en G. Luego G es un grupo respecto a la
multiplicación de matrices.
Comentarios[editar]
La evolución del Álgebra desde el estudio de ecuaciones

polinómicas al estudio de las estructuras fue lenta.
Primeramente, se estudiaron instancias de forma separada,
para posteriormente darse cuenta que eran ejemplos de
algo más abstracto.
La observación de que el Álgebra trata más de las

propiedades de las operaciones que de los números en que
se opera fue explícitamente observado por la llamada
Escuela de Algebristas ingleses, alrededor del 1840.
Finalmente, en la década de los 40 del siglo XX, Bourbaki

(seudónimo de un grupo ilustre de matemáticos) trajo a
primer plano del Álgebra la noción que el Álgebra se trataba
del estudio de las estructuras.
Notas[editar]
60 de 61 21/3/20 20:47
1. ↑ Además, han surgido recientemente otras estructuras con

una operación tales como grupoides, lazos, etc.
2. ↑ Ver apéndice sobre Sistemas Numéricos
61 de 61 21/3/20 20:47

Algebra Abstracta Wikilibros

Cargado por

Información del documento

Descripción original:

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Algebra Abstracta Wikilibros

Cargado por

Copyright:

Formatos disponibles

Álgebra Abstracta/Texto Completo - Wikilibros about:reader?url=https://es.wikibooks.org/wiki...

Álgebra Abstracta/Texto Completo

De Wikilibros, la colección de libros de texto de contenido

Plantilla:Versión para Imprimir

" Faire d'Algèbre, c'est esentiellement calculier ... "

¿Qué es el Álgebra Abstracta?[editar]

El Álgebra Abstracta, como indica su nombre, surge como

de los números naturales, así como aquella de los Enteros,

Hay tres fuentes clásicas para el Álgebra Abstracta: la

Los trabajos de abstracción contribuyeron a identificar la

Como libro texto para un primer curso, suponemos que los

en el campo. Por lo anterior, hemos enfatizado en ejemplos

¿Por qué darle énfasis a las estructuras? Una primera

algunas subestructuras, permiten organizar los estudios por

Por ejemplo, la estructura de cuerpo presupone un conjunto

Organización del libro[editar]

El libro está organizado en cuatro partes. La primera parte,

La segunda parte esta dedicada a la estructura de grupo

La tercera parte está dedicada a las estructuras de anillo y

Los ejemplos básicos de anillos son los Enteros (usuales y

Finalmente, la cuarta parte son apéndices que contienen

Los lectores atentos podrán darse cuenta que, a veces, hay

En el texto, en varias ocasiones, mencionamos a las

«MacTutor History of Mathematics archive» (en inglés).

Aunque, a veces, no lo pueda parecer, éste es un texto

Sugerencias para el estudio[editar]

Cada disciplina o area de estudio tiene una manera

Las definiciones son importantes. Es necesario

Los enunciados validos pueden clasificarse como axiomas,

definiciones. Por ejemplo, cuando estudiamos grupos,

En cada proposición (o corolario o teorema) es importante

Los ejemplos se presentan para ilustrar propiedades y

(o ejemplos) será seguido de una definición. Tratar de dar

Las demostraciones constituyen, de cierta manera, el

Usamos los convenios siguientes de notación y

El conjunto de los números naturales.

El conjunto de los naturales positivos.

El conjunto de los enteros.

El conjunto de los racionales.

El conjunto de los reales.

El conjunto de los enteros módulo

En el texto, nos referiremos al conjunto de los números

Las notaciones y nomenclatura acerca de funciones se

En este capítulo, iniciaremos nuestros estudios del Álgebra

Cuando estudiamos a los números enteros, nos

Presentaremos nociones que son abstracciones de esas

La noción general de operación que veremos es una simple

La noción general de operación que veremos es una simple

mientras que resta asocia el 2 y la multiplicación el 15. Esa

Definición. (Operación) Una operación en un conjunto es

Es decir, una operación en un conjunto es la asignación a

Simbolizamos a las operaciones por símbolos tales como

En el conjunto de los Enteros, , tenemos tres operaciones:

Sigue de la definición dada de operación que la resta NO es

Como no hay división por cero en los Reales, la división

tampoco es, de acuerdo a la definición dada una operación

Algunas veces resulta conveniente definir operaciones en

Usando esa definición, tendremos, por ejemplo, que

Sea un conjunto no vacío y consideremos el conjunto

Este ejemplo aparece en cursos elementales con la

Sea un conjunto no vacío y sea el conjunto

Sea un conjunto no vacío y sea , el conjunto