Publicado el 10 de Agosto, 2013, 18:44
Comienzo esta serie de post sobre un tema que es uno de mis preferidos. No es un tema que me enseñaron en la escuela (ni primaria ni secundaria) sino que llegó con mis estudios universitarios. Y desde ese momento me comenzó a fascinar. Si bien lo que se exigía para los exámenes era poco (luego de teoría de grupos se pasaba rápidamente a anillos, y de nuevo rápido, se pasaba a espacios vectoriales, álgebra lineal que eran los temas más tratados). La teoría de grupos permea gran parte de las matemáticas. Asombra por su simplicidad y por lo profundo de algunos resultados. El grupo ha resultado ser la estructura básica, sobre la cual muchas otras se sostienen. Es resultado de la abstracción, que floreció en el siglo pasado pero comenzó a aparecer un poco antes. Durante centenares de años, las matemáticas se ocuparon de números y figuras. Aún el álgebra podía considerarse como una aritmética con variables. La geometría se funde con el álgebra con la invención del plano cartesiano. El análisis lleva a las matemáticas por nuevos rumbos y profundidades. Pero había algo simple todavía anidando en muchos rincones. El estudio de las permutaciones de las raíces de una ecuación algebraica, por Lagrange, abrió la puerta a este nuevo concepto. Gauss casi le da título oficial al estudiar las congruencias en sus Disquisitiones Arithmeticae. Galois lo vuelve a encontrar en su teoría. Jordan lo rescata del olvido. Lie nos lleva a los grupos continuos. Y así va surgiendo en la historia de las matemáticas la estructura de grupo, una estructura digamos recién llegada pero que tiene sus raíces hundidas en todo el pasado. No es hoy el momento de detenernos en la historia, ver: http://en.wikipedia.org/wiki/History_of_group_theory Vayamos directamente a plantear hoy los axiomas de grupo. Tenemos un conjunto G y una operación binaria * cerrada sobre sus elementos. Es binaria porque es una aplicación que tiene como entrada dos elementos de G, y es cerrada porque tiene como resultado un elemento de G: nunca se sale de G, y está definida como función para todo par a,b de elementos de G. Se tienen que cumplir los axiomas: G1) Existe un elemento neutro a izquierda: G2) Existe inverso a izquierda G3) La operación binaria es asociativa, es decir: Primeros ejemplos fáciles: - Todos los enteros, con operación suma, y 0 como elemento neutro - Enteros módulo m, con operación suma, y 0 como elemento neutro - Enteros módulo p primo, sin el 0, con operación multiplicación, y 1 como elemento neutro. No es trivial pero tampoco difícil encontrar la demostración de existencia de inverso. - Las rotaciones del cuadrado - Las permutaciones de n elementos Vean que en los axiomas no puse que la unidad lo fuera a derechas, y lo mismo para el inverso. Sin embargo, veremos que eso se puede deducir. Próximos pasos: - Dada la existencia de unidad a izquierda e inverso a izquierda, ver que también lo son a derecha Mientras, para que comencemos a tener un panorama del tema, ver los post relacionados: Grupos: definición y ejemplo Resolviendo un problema de grupos de Fraleigh Motivaciones para la Teoría de Grupos Teoría de Galois Teoría de Grupos, enlaces y recursos (4) Hermann Weyl, Teoría de Grupos y Teoría Cuántica Grupos y Física por Dirac Simetrías del cuadrado (3) Nos leemos! Angel “Java” Lopez |