Una Acción De Grupo es un homomorfismo de un grupo G al grupo de permutaciones Sym(X) de un conjunto X, equivalente a una aplicación G × X → X que satisface e·x = x para la identidad e y (gh)·x = g·(h·x) para todos g,h ∈ G y x ∈ X; describe cómo los elementos del grupo permutan o transforman los elementos de X.

Principio

Representar la simetría de un conjunto mediante un homomorfismo que preserve la estructura: la identidad actúa trivialmente y la composición de elementos del grupo corresponde a la composición de sus acciones sobre el conjunto.

Demostración

S3 actuando sobre {1,2,3} permutando las coordenadas; Z actuando sobre Z por traslaciones n·k = n+k; la acción produce órbitas como {1,2,3} bajo S3 y estabilizadores como Stab(1) = { permutaciones que fijan 1 }.

Aplicación incorrecta

Tratar cualquier función G × X → X como acción sin comprobar los axiomas de identidad y compatibilidad, o confundir una acción de grupo con una representación lineal (que requiere espacio vectorial y linealidad), conduce a conclusiones erróneas sobre órbitas y estabilizadores.

Consecuencia

Las acciones bien definidas generan órbitas, estabilizadores, descomposición de X en clases de órbita, la relación órbita-estabilizador que vincula el tamaño de la órbita con el índice de un subgrupo, y una representación por permutaciones de G; la fidelidad de la acción equivale a la inyectividad del homomorfismo en Sym(X).

Inversión

Invertir el concepto produce colecciones de permutaciones de X que no están cerradas bajo composición o carecen de inversos; tales colecciones no definen una acción de grupo. A su vez, una acción con núcleo no trivial es una inmersión no fiel de G en Sym(X).

Límite

Se aplica a acciones sobre conjuntos arbitrarios; si X tiene estructura extra (topología, estructura diferenciable, espacio vectorial) la acción debe respetar esa estructura para ser continua/suave/lineal. Quedan excluidas las aplicaciones que no satisfacen los axiomas de homomorfismo y las acciones en otras categorías sin compatibilidad explícita.

Tensión semántica

Hay tensión entre 'acción de grupo' como acción por permutaciones sobre un conjunto y 'representación de grupo' como acción lineal sobre un espacio vectorial; ambas son homomorfismos hacia grupos de automorfismos pero difieren en la categoría objetivo (Sym(X) vs GL(V)).

Síntesis

Una Acción De Grupo traduce la simetría abstracta de G en permutaciones concretas de X mediante un homomorfismo G → Sym(X), generando órbitas y estabilizadores que conectan la estructura algebraica de G con la estructura combinatoria o geométrica de X.