A group is a mathematical structure defined by a set and an operation satisfying closure, associativity, identity, and invertibility.En matemáticas, un grupo es como un conjunto de movimientos que se pueden hacer con un objeto y que se pueden combinar. Por ejemplo, los giros del cubo de Rubik: si giras una cara y luego otra, obtienes un movimiento nuevo. Y siempre se puede volver atrás haciendo el movimiento inverso. Lo principal es que estos movimientos son cerrados: la combinación de dos siempre da un movimiento del mismo conjunto.
Las raíces de la teoría de grupos se remontan a la teoría de permutaciones de Lagrange y Ruffini, pero su nacimiento se asocia con Évariste Galois (1830), quien introdujo el término 'grupo' para describir las simetrías de las raíces de los polinomios. Henri Poincaré aplicó los grupos a la topología, sentando las bases de la topología algebraica. En el siglo XX, la clasificación de los grupos simples finitos fue un proyecto monumental, completado hacia 2004. Los grupos de Lie conectaron las simetrías con la geometría diferencial, convirtiéndose en el aparato del Modelo Estándar.
Un grupo actúa sobre un conjunto, moviendo sus elementos preservando la estructura. Esta acción produce órbitas y estabilizadores. Las leyes de composición se expresan mediante tablas de Cayley o grafos. La teoría de representaciones traduce el grupo abstracto al álgebra lineal, lo que resulta clave en la física de partículas elementales. Por ejemplo, SU(3) describe las simetrías de los quarks. Según el teorema de Noether, a cada simetría continua (grupo de Lie) le corresponde una magnitud conservada.
Los grupos ayudan a entender por qué los copos de nieve siempre tienen seis puntas, y por qué algunos suelos se pueden embaldosar sin huecos. Se esconden detrás de cualquier simetría en la naturaleza.
| U | variable | open set (topological space) — topological space |
| r | variable | number of independent Z/2Z factors — rank |
| x | variable | input value |
| f(x) | variable | output value |
| θ* | variable | Fixed point value — fixed point |
| F(θ*) | variable | Function evaluated at fixed point — valor de la función |




