Historia del concepto de grupo. El estudio del desarrollo del concepto de grupo tiene ciertas peculiaridades.

Es errneo pensar que puesto que los racionales, distintos de cero Q*=Q-{0}, forman grupo respecto de la multiplicacin. Entonces, stos son el origen del concepto y que por tanto debe ser tan antiguo como ellos mismos, remontndose al inicio de las matemticas. Sin embargo, no fue as, el concepto de grupo es un ejemplo de como la abstraccin de algunas ideas, comunes a muchas reas de la matemtica, que se iban desarrollando paralelamente, han necesitado de la distancia y del tiempo para poder asentarse, y dar lugar a una definicin que satisficiera formalmente y diera cabida a todos los ejemplos. Esto no sucedi plenamente hasta el siglo XX. Pudindose decir que la teora de grupos, aunque tuvo resultados importantes anteriores, es una teora moderna en la historia de la matemtica. Aunque ya en pleno siglo XXI, se puede decir que est plenamente consolidada como disciplina matemtica y convertida en un clsico en el currculo acadmico. Las tres reas en las que surgi, de forma natural e implcitamente, el concepto de grupo son: en la geometra al comienzo del siglo XIX, en la teora de nmeros al final del siglo XVIII y en la teora de ecuaciones algebraicas al final tambin del dieciocho y que condujo al estudio de las permutaciones. La geometra haba sido estudiada desde el tiempo de los griegos, siendo la primera teora en formularse formalmente y el paradigma de todas las teoras matemticas. Que pas al principio del diecinueve? Haba empezado a perder su carcter mtrico, con la geometra proyectiva y las geometras no euclidianas. El estudio de la geometra en n dimensiones condujo a una abstraccin en la geometra misma. La diferenciacin entre la geometra mtrica y la geometra incidental empez a gestarse con el trabajo de Monge, su alumno Carnot y ms an con Poncelet. Las geometras no euclidianas fueron estudiadas por Lambert, Gauss, Lobachevsky y Jnos Bolyai entre otros. Mbius en 1827, aunque sin percatarse del concepto de grupo, empez a clasificar geometras segn propiedades que permanecen invariantes bajo un determinado grupo de transformaciones. Steiner en 1832, estudi nociones de geometra sinttica que pueden formar parte del estudio de ciertos grupos de transformaciones. En 1761, Euler estudi la aritmtica modular. En particular, analiz los restos mdulo n, de potencias de un nmero. Aunque el trabajo de Euler no lo estableci en trminos de teora de grupos, l dio un ejemplo de descomposicin de un grupo sabeliano finito en clases adjuntas, segn un subgrupo y prob un caso especial del resultado (hoy conocido como teorema de Lagrange): el orden de un subgrupo divide al orden del grupo. Gauss, en 1801, llev el teorema de Euler mucho ms all y prob resultados de aritmtica modular que son especializaciones de teoremas generales de grupos abelianos. Estudi el orden de los elementos y prob que (aunque no con esta notacin) que existe un subgrupo para cada divisor del orden de un grupo cclico. Gauss tambin examin otros grupos abelianos. Analiz las formas cuadrticas binarias, con coeficientes enteros, y las estudi bajo transformaciones y sustituciones. Las clasific en clases de equivalencia y defini un producto de clases. Gauss prob que el orden del producto (de 3 formas) es inmaterial; en nuestro lenguaje actual prob la propiedad asociativa del producto de clases. De hecho, Gauss obtuvo un grupo abeliano finito. Ms tarde, en 1869, Schering que edit el trabajo de Gauss, encontr un sistema de generadores para este grupo abeliano. El primero que estudi las permutaciones fue Lagrange en 1770, en su trabajo sobre teora de ecuaciones algebraicas. El objetivo de Lagrange era encontrar los motivos por los que las ecuaciones de tercer y cuarto grado son resolubles por radicales. Al estudiar la cbica general, encontr que ciertas combinaciones de sus races (hoy llamadas resolventes de Lagrange) tomaban solo tres valores bajo las seis permutaciones de sus tres races. Este trabajo se considera el origen de los grupos de permutaciones. Aunque, en honor de la verdad Lagrange nunca consider el producto de dos permutaciones; o sea, su estructura de grupo.

La primera persona que afirm que la quintica poda no ser resoluble por radicales fue Ruffini. En 1799, public dicha insolubilidad algebraica (de las ecuaciones de quinto grado) en un trabajo errneo. En este trabajo, basado en el de Lagrange, Ruffini introduce los grupos de permutaciones. Los llama permutazione y nicamente describe la propiedad de clausura de la composicin, manejando la propiedad asociativa de forma implcita (al ser una composicin de aplicaciones). Ruffini divide sus permutazione en tipos. En notacin moderna, distingue grupos de permutaciones cclicos (permutazione semplice) y no cclicos (permutazione composta). Las permutazione composta las divide en tres, que en nuestra notacin son los grupos intransitivos de permutaciones y los transitivos primitivos y no primitivos. Desgraciadamente, la demostracin de Ruffini tena dos saltos lgicos que no logr salvar en posteriores publicaciones. De todas formas, en 1802, mostr que el grupo de permutaciones asociado a una ecuacin irreducible es un subgrupo transitivo (hoy da sabemos que el recproco es cierto), llevando el estudio de las permutaciones a un estado muy avanzado para su poca. El trabajo de Cauchy fue muy importante en la teora de permutaciones. En 1815, estudia las permutaciones de las races de ecuaciones. Pero, en 1844, Cauchy estudia las permutaciones por s mismas. Introduce la notacin de potencias positivas o negativas (incluida la potencia 0 definindola como la permutacin identidad), define el orden de una permutacin, introduce la notacin de ciclo actual y usa el trmino de sustituciones conjugadas. Cauchy llama a dos permutaciones similares si tienen la misma descomposicin en ciclos disjuntos y demuestra que es equivalente a ser permutaciones conjugadas. Abel, en 1824, dio la primera prueba aceptada de la insolubilidad de la quintica general. En trminos modernos, prob que el grupo alternado (de las permutaciones pares) de cinco smbolos, A5, es un grupo simple y que en consecuencia el grupo de todas las permutaciones de 5 smbolos, S5, es no resoluble. Galois, en 1831, fue el primero en darse cuenta de que la solucin algebraica de una ecuacin estaba relacionada con la estructura de un grupo de permutaciones asociado a la ecuacin (llamado hoy, en su honor, el grupo de Galois de la ecuacin). En 1832, Galois haba descubierto que ciertos subgrupos, hoy llamados subgrupos normales, eran fundamentales en su demostracin. Llam descomposicin propia a la descomposicin en clases adjuntas, si coinciden por la izquierda y por la derecha. Galois tambin mostr que el primer grupo simple no abeliano tena orden 60 (el alternado A5 de Abel). Sin embargo, el trabajo de Galois no se public hasta 1846. Liouville lo hizo publicar, al encontrar conexiones entre la teora de permutaciones de Cauchy y la de Galois. Sin embargo, Liouville no entendi la importancia del concepto de grupo en el trabajo de Galois. Betti, en 1851, relacion la teora de permutaciones y la teora de ecuaciones. De hecho, Betti fue el primero en probar que el grupo de Galois asociado a una ecuacin era de hecho un grupo de permutaciones en el sentido moderno. Serret public un importante trabajo discutiendo el artculo de Galois, publicado por Liouville, todava sin resaltar la significacin del concepto de grupo. Sin embargo, Jordan, primero en 1865 y 1869 de forma parcial y finalmente en 1870 (40 aos despus) entendi claramente la importancia de los grupos de permutaciones. Defini isomorfismo de grupos de permutaciones y prob el teorema (llamado hoy de Jordan-Hlder) de existencia y unicidad, salvo isomorfismo, de series de composicin para estos grupos. Hlder lo generaliz al contexto de grupos abstractos en 1889. En 1872, Klein expuso su objetivo (hoy conocido como programa de Erlangen) de clasificacin de las geometras segn propiedades invariantes va subgrupos de transformaciones. Por fin, los grupos se convierten en centro de atencin para investigacin en matemticas.

Quizs el trabajo ms importante, anterior a Betti, en teora de grupos sea debido a Cayley. En 1849, Cayley public un artculo relacionando sus ideas sobre permutaciones con las de Cauchy. En 1854, Cayley hace un intento de definicin de grupo abstracto, que aunque no es todava formalmente correcta, usa una tabla de multiplicacin para describir la composicin en un grupo finito. Significativamente se da cuenta de que los cuaternios y las matrices forman grupo. Cayley en 1878, escribi 4 artculos sobre el tema, uno de ellos llamado The theory of groups. La poca estaba madura para el estudio de un grupo arbitrario. Cayley demuestra que cualquier grupo finito puede describirse en trminos de grupos de permutaciones. Esto impuls a Hlder, en 1893, a investigar los grupos de orden p3, pq2, pqr y p4. Frobenius y Netto (un estudiante de Kronecker) llevaron la teora de grupos un poco ms all. Sin embargo, la mayor contribucin de finales del XIX la hizo von Dyck. Haba obtenido su doctorado bajo la supervisin de Klein y era su ayudante. En 1882 y 1883, von Dyck dio una construccin de los grupos libres y una definicin de grupo dado por generadores y relaciones.

La teora de grupos tuvo mayora de edad cuando se publicaron los libros, primero los dos tomos de lgebra, Lehrbuch der Algebra en 1895, de Heinrich Weber (un estudiante de Dedekind) y el libro de Burnside, Theory of groups of finite order, publicado en 1897. Estos libros influenciaron a la siguiente generacin de matemticos e impulsaron el importante desarrollo que tuvo la teora de grupos en el siglo XX.