Un curso de álgebra

Gabriel Navarro Ortega

• Éditeur: Publicacions de la Universitat de València
• Année: 2017
• ISBN:
  9788491340294
• Édition: 1
• Sujet: Matemáticas
• Sous-sujet: Álgebra

Segunda edición corregida y aumentada de esta obra, que ofrece una clara y concisa introducción al álgebra. Su objetivo, el gran teorema de Galois sobre resolubilidad de ecuaciones polinómicas por radicales, es uno de los teoremas más fascinantes de las matemáticas de todos los tiempos. La primera parte del libro se centra en la teoría de grupos y concluye con una nueva demostración del teorema fundamental de los grupos abelianos finitos. La segunda parte comienza con la teoría de los anillos, necesaria para desarrollar posteriormente la teoría de Galois. Al final de cada capítulo se proponen una serie de problemas, algunas de cuyas soluciones las podrá encontrar el lector en el apéndice.

1. Conjuntos, aplicaciones, números

1

En este libro, un conjunto A es una colección de objetos a los que llamamos elementos de A. Dado un objeto x y un conjunto A, decimos que x pertenece a A si x es un elemento de A. En este caso escribimos x ∈ A. En caso contrario, decimos que x no pertenece a A, y escribimos x ∉ A.

Denotamos los conjuntos con letras mayúsculas, y los definimos especificando o describiendo con exactitud los elementos que pertenecen a ellos. Por ejemplo, A = {1, 2, 3, 4} es el conjunto cuyos elementos son 1, 2, 3 y 4. Así, escribimos 3 ∈ A y 5 ∉ A. El conjunto B = {1, {1, 2}, {1, 2, 3}} tiene tres elementos: 1, el conjunto {1, 2}, y el conjunto {1, 2, 3}. Por tanto, escribimos {1, 2, 3} ∈ B. El conjunto vacío ∅ es el conjunto que no tiene elementos. Un conjunto A es finito si tiene un número finito de elementos. En este caso escribimos |A| para denotar el número de elementos del conjunto A. Por ejemplo, |{1, 2, 3, 4}| = 4, |{1, {1, 2}, {1, 2, 3}}| = 3 y |∅| = 0.

No siempre es posible o conveniente listar todos y cada uno de los elementos de un conjunto: nos basta con que describamos con precisión los que pertenecen a él. Por ejemplo, el conjunto

C = {x ∈ ℕ | x = 2n + 1 para algún n ∈ ℕ}

es el conjunto de los números naturales impares. En este libro, los números naturales son los elementos del conjunto ℕ = {0, 1, 2, 3, …}. Algunos autores no consideran 0 como número natural, pero esta es una polémica inútil. La línea vertical “|” en la definición del conjunto C se lee “tal que”; así, decimos que C es el conjunto de los números naturales x tales que pueden escribirse de la forma x = 2n + 1 para algún n ∈ ℕ. Algunos autores utilizan “:” en lugar de la línea vertical. Los lectores deben ser conscientes de que diferentes autores pueden utilizar notaciones distintas y de que esto no es necesariamente negativo. Volviendo a C, podríamos haber escrito

C = {2n + 1 | n ∈ ℕ}

que es una notación más ágil.

Considaremos ahora el conjunto D = {n ∈ ℕ | 0 < n > 5} y lo comparamos con el conjunto A = {1, 2, 3, 4} definido en el segundo párrafo. Desde luego, observamos que D y A son iguales, pero necesitamos formular esto de forma precisa. Si A y B son conjuntos, decimos que A está contenido en B si para todo a ∈ A se tiene que a ∈ B. En este caso, escribimos A ⊆ B, y decimos que A es un subconjunto de B. En caso contrario, decimos que A no está contenido en B, y lo escribimos A ⊈ B. Los conjuntos A y B son iguales si A ⊆ B y B ⊆ A, y lo escribimos A = B. En caso contrario, escribimos A ≠ B. Observamos que ∅ ⊆ A para todo conjunto A.

En este punto, debemos sincerarnos con el lector para advertirle que esta aproximación náıf a la teoría de conjuntos tiene algunas consecuencias no deseadas, como la famosa paradoja de Russell. Es evidente que el conjunto de los números naturales no es un número natural, por lo que la expresión ℕ ∉ ℕ, aunque chocante, es cierta. Uno podría construir el conjunto X = {A | A es conjunto y A ∉ A}, y preguntarse si el propio X ∈ X o si X ∉ X. Por ejemplo, ℕ ∈ X pues ℕ ∉ ℕ. Sin embargo, si X ∈ X, esto significaría por definición que X ∉ X, y al contrario. Hemos llegado a una contradicción, pues no puede pasar algo y lo opuesto al mismo tiempo. En definitiva, parece claro que tenemos un problem...