Grupo (matemática)

En álgebra abstracta, un grupo es una estructura algebraica que consta de un conjunto con una operación que combina cualquier pareja de sus elementos para formar un tercer elemento. Para que se pueda calificar como un grupo, el conjunto y la operación deben satisfacer algunas condiciones llamadas axiomas de grupo, estas condiciones son: tener la propiedad asociativa, tener elemento identidad y elemento inverso. Mientras que estas características son familiares a muchas estructuras matemáticas, como los diferentes sistemas de números (por ejemplo los enteros dotados de la operación de adición forman una estructura de grupo), la formulación de los axiomas se separa de la naturaleza concreta del grupo y su funcionamiento. Esto permite, en álgebra abstracta y otros campos, manejar entidades de orígenes matemáticos muy diferentes de una manera flexible, mientras se conservan aspectos estructurales esenciales de muchos objetos. La ubicuidad de los grupos en numerosas áreas (tanto dentro como fuera de las matemáticas) los convierte en un principio central en torno al cual se organizan las matemáticas contemporáneas.Los grupos comparten un parentesco fundamental con la noción de simetría. Un grupo de simetría codifica las características de simetría de un objeto geométrico: consiste en el conjunto de transformaciones que dejan inalterado el objeto, y la operación de combinar dos de estas transformaciones realizando una tras la otra. Tales grupos de simetría, especialmente los grupos de Lie continuos, tienen un papel importante en muchas disciplinas académicas. Los grupos de matrices, por ejemplo, se pueden utilizar para entender las leyes físicas fundamentales en que se basan la relatividad y los fenómenos de simetría en la química molecular.El concepto de un grupo surgió del estudio de ecuaciones polinómicas, comenzando con Évariste Galois durante los años 1830. Después de contribuciones desde otros campos como la teoría de números y la geometría, la noción de grupo se generalizó y se estableció firmemente en torno a 1870. La moderna teoría de grupos (una disciplina matemática muy activa) estudia los grupos en sí. Con el fin de explorar los grupos, los matemáticos han ideado diversas nociones con tal de dividir grupos en trozos más pequeños, más comprensibles, como subgrupos, grupos cociente y grupos simples. Además de sus propiedades abstractas, los teóricos de los grupos también estudian las maneras en que un grupo se puede expresar en forma concreta (sus representaciones de grupo), tanto desde un punto de vista teórico como de un punto de vista computacional. Una teoría especialmente rica ha desarrollado para grupos finitos, que culminó con la clasificación de los grupos simples finitos completada en 1983. Asimismo, desde mediados de 1980, la teoría de grupos geométricos, que estudia los grupos de generación finita como objetos geométricos, se ha convertido en un área particularmente activa en la teoría de grupos.