Acción (matemática)

En matemáticas, y en particular en álgebra abstracta, una acción de un grupo $(G,*)$ sobre un conjunto $X$ es una aplicación $\phi :G\times X\to X$ que cumple las dos condiciones siguientes:​

1. $\forall x\in X:\ \phi (e,x)=x$, donde $e$ es el elemento neutro del grupo.
2. $\forall x\in X:\,g,h\in G,\ \phi (g*h,x)=\phi (g,\phi (h,x))$.

En tal caso se dice que el grupo $G$ actúa sobre $X$, y que el conjunto $X$ es un $G$-conjunto.​

Las dos condiciones anteriores equivalen a que, para cada elemento $g$ de $G$, la aplicación $\phi _{g}=\phi (g,\cdot ):X\to X$ es una función biyectiva definida sobre $X$. En consecuencia, una definición alternativa es que una acción es un homomorfismo entre el grupo $G$ y el grupo $S_{X}$

$\theta :G\to S_{X}\ :g\mapsto \phi _{g}$.

donde $S_{X}$ denota el grupo formado por todas las funciones biyectivas de $X$ en sí mismo, bajo la operación de composición de funciones, denominado grupo simétrico de $X$. Se dice que el homomorfismo $\theta$ es una representación del grupo $G$ por permutación.​

Notación alternativa

Otra notación utilizada para las acciones es $(g,x)\mapsto g\cdot x$. Así los axiomas de acción se reescriben:

• $e\cdot x=x$.
• $(gh)\cdot x=g\cdot (h\cdot x)$.

Es frecuente denominar puntos a los elementos del conjunto $X$, para no causar confusión con los elementos del grupo $G$.

Ejemplos

El ejemplo más sencillo es la acción trivial: para cualquier $g\in G$ y $x\in X$, $\phi (g,x)=x$. Cuando la acción es trivial, cada biyección $\phi _{g}$ es la aplicación identidad del conjunto $X$, que lleva cada elemento en sí mismo.

El grupo de tres elementos $\mathbb {Z} /3\mathbb {Z} =\{0,1,2\}$ actúa sobre el plano complejo $\mathbb {C}$ de la siguiente manera:

• $\phi (0,z)=z$.
• $\phi (1,z)=wz$.
• $\phi (2,z)=w^{2}z$.

donde $w$ es una raíz cúbica de la unidad distinta de 1 (si tomáramos la raíz $w=1$ la acción sería trivial). Geométricamente, esta acción representa rotaciones del plano complejo respecto del origen, con ángulos de 0, 120 y 240 grados.

Un tipo importante de acción es aquella en la que $X$ es un espacio vectorial. Este tipo de acciones son el punto de partida de la teoría de la representación.

El núcleo de la acción y los puntos fijos

Se define el núcleo de una acción $\phi :G\times X\to X$ como el conjunto de todos los elementos del grupo $G$ que actúan trivialmente sobre todo punto de $X$:​

$ker\ \phi =\{g\in G\ |\ g\cdot x=x,\ \forall x\in X\}$.

Para cada elemento $g$ del núcleo, la biyección asociada $\phi _{g}$ es la identidad de $X$. Es por tanto el núcleo del homomorfismo $\theta :G\to S(X)$, y como tal es un subgrupo normal del $G$.

En contraste, se denominan puntos fijos de la acción a los elementos de $X$ sobre los que todos los elemento de $G$ actúan trivialmente, es decir:

$x\in X$ es un punto fijo si $g\cdot x=x$ para todo $g\in G$.

Estabilizador y órbita de un punto

Para cada elemento $x$ de un conjunto $X$ sobre el que actúa un grupo $G$, podemos definir dos subconjuntos de interés.​

Subgrupos estabilizadores

El estabilizador de un punto $x\in X$ se compone de todos los elementos de $G$ que actúan trivialmente sobre $x$

$G_{x}=\{g\in G\ |\ g\cdot x=x\}\subset G$.

Otra forma de expresarlo es que contiene a los elementos del grupo que dejan fijo $x$. En consecuencia, cuando $x$ es un punto fijo su estabilizador es todo el grupo: $G_{x}=G$. El núcleo de la acción es precisamente la intersección de los estabilizadores de todos los puntos de $X$:

$ker\ \phi =\cap _{x\in X}\ G_{x}$.

$G_{x}$ es un subgrupo de $G$, no necesariamente normal. También es llamado subgrupo de isotropía de $x$.​

Órbitas de la acción

La órbita de $x$ se compone de todos los elementos de $X$ que son imagen de $x$ por la acción de algún elemento de $G$:​

$O_{x}=\{y\in X\ |\ \exists g\in G:\ g\cdot x=y\}\subset X$.

La órbita de $x$ contiene a los elementos del conjunto $X$ que se alcanzan desde $x$ por la acción de $G$. Cuando $x$ es un punto fijo de la acción, su órbita se reduce al propio $x$, esto es: $O_{x}=\{x\}$, y viceversa.

La relación «y pertenece a la órbita de x» es reflexiva, simétrica y transitiva, y por lo tanto es una relación de equivalencia. Por consiguiente, las órbitas bajo la acción de $G$ forman una partición del conjunto $X$, lo que significa que las órbitas de dos elementos distintos o bien coinciden, o bien son disjuntas.

Relación entre órbitas y estabilizadores

Dado un punto arbitrario $x\in X$, existe una biyección entre su órbita y las clases laterales derechas (o izquierdas) en $G$ de su estabilizador $G_{x}$, es decir

$O_{x}\leftrightarrow G/G_{x}$.​

En particular, si $G_{x}$ es un subgrupo de índice finito en $G$, la órbita de $x$ es un conjunto finito y su cardinalidad es

$|O_{x}|=[G:G_{x}]$.​

Dos puntos de una misma órbita tienen estabilizadores conjugados por el elemento que lleva un punto en el otro:

Si $y\in O_{x}$ entonces $G_{y}=gG_{x}g^{-1}\,$, donde $\ g\cdot x=y$.

Lo anterior se deriva de que si $h$ es un elemento que deja fijo el punto $x$, entonces

$ghg^{-1}\cdot y=gh\cdot x=g\cdot x=y$.

Tipos de acciones

• Una acción se llama transitiva, o se dice que el grupo actúa transitivamente sobre un conjunto $X$, si dados dos elementos $x$ e $y$ cualesquiera de $X$, existe un elemento $g$ del grupo que aplica $x$ en $y$, es decir:

$\forall x,y\in X\ \implies \ \exists g\in G:\phi (g,x)=y$.​

Cuando la acción de un grupo $G$ es transitiva sobre un espacio topológico $X$ se dice que éste es un espacio homogéneo para el grupo $G$.​

• Una acción se llama n-transitiva si dadas dos $n$-tuplas de elementos del conjunto $X$, $\langle x_{1},...,x_{n}\rangle$ e $\langle y_{1},...,y_{n}\rangle$ diferentes dos a dos (esto es, $x_{i}\neq x_{j}$ e $y_{i}\neq y_{j}$ para todo $i\neq j$), existe un elemento $g$ del grupo que aplica $x_{i}$ en $y_{i}$ para cada $i=1,...,n$. Las acciones 2-transitivas se denominan también acciones doblemente transitivas, las 3-transitivas triplemente transitivas, etc.

• Una acción doblemente transitiva satisface la siguiente definición equivalente: una acción es doblemente transitiva si dado cualquier punto $x\in X$, el estabilizador $G_{x}$ actúa transitivamente sobre los puntos restantes (es decir, es transitiva sobre $X\setminus \{x\}$).​

• Una acción es fiel o efectiva si el núcleo de la acción es trivial, es decir, el elemento identidad de $G$ es el único que actúa trivialmente sobre todo punto de $X$. Esta condición es equivalente a que el homomorfismo $\theta :G\to S_{X}$ sea inyectivo, y por tanto cada biyección $\phi _{g}$ sea distinta.​

• Una acción es libre, o se dice que el grupo actúa libremente, si el único elemento de $G$ con puntos fijos es la identidad, es decir

$\exists x\in X:g\cdot x=x\implies g=1_{G}$ (donde $1_{G}$ denota la identidad de $G$).

Acción de un grupo sobre sí mismo

Cuando el conjunto sobre el que actúa un grupo $G$ es el propio grupo, es decir $X=G$, entonces se dice que el grupo actúa sobre sí mismo. Las dos maneras más interesantes en las cuales un grupo puede actuar sobre sí mismo son por multiplicación y por conjugación.

Acción por multiplicación

Todo grupo $G$ actúa sobre sí mismo por multiplicación​ por la izquierda (respectivamente, por la derecha) mediante la acción definida por​

$\varphi :G\times G\to G\ :\ (g,h)\mapsto gh$ (respectivamente $(g,h)\mapsto hg$).

Esta acción es fiel (de hecho, el estabilizador de todo punto es trivial), transitiva, y existe una única órbita que abarca todo $G$. Las acciones de multiplicación por la izquierda y multiplicación por la derecha coinciden precisamente cuando el grupo $G$ es abeliano.

El hecho de que para todo grupo la acción por multiplicación sea fiel, significa que el homomorfismo

$\theta :G\to S_{G}$

es inyectivo. Por el primer teorema de isomorfía, esto significa que el grupo $G$ es isomorfo a un subgrupo de su propio grupo simétrico. En particular, si $G$ es finito de orden $n$, entonces es isomorfo a un subgrupo del grupo de permutaciones de n elementos, $S_{n}$. Este resultado se conoce con el nombre de teorema de Cayley.​

Acción por conjugación

Por otro lado, todo grupo $G$ actúa sobre sí mismo por conjugación mediante la acción definida por​

$\varphi :G\times G\to G\ :\ (g,h)\mapsto ghg^{-1}$.

El estabilizador de cada punto $g$ está formado por los elementos de $G$ que conmutan con $g$, es decir, el centralizador de $g$:

$G_{x}=C_{G}(x)$

Cuando el grupo es abeliano la acción del grupo en sí mismo por conjugación es trivial. Nótese que entonces

$\forall g,\ h\in G:\ ghg^{-1}=gg^{-1}h=h$.

Las órbitas bajo esta acción se denominan clases de conjugación. Los elementos del centro del grupo (formado por aquellos elementos que conmutan con cualquier otro, denotado por $Z(G)$) forman cada uno de ellos una clase unipuntual (i.e. son puntos fijos). El recíproco también es cierto, es decir, si la clase de conjugación de un elemento $g$ solo contiene a ese elemento entonces $g$ pertenece al centro de $G$, esto es:

$x\in Z(G)\iff O_{x}=\{x\}$.

Ecuación de clases

La acción por conjugación de un grupo en sí mismo permite obtener la descomposición orbital de grupos finitos:

$G=\bigcup _{i\in I}{\mathcal {K}}_{i}$

que es la unión disjunta de todas las clases de conjugación ${\mathcal {K}}_{i}$. En consecuencia

$|G|=\sum _{i\in I}|{\mathcal {K}}_{i}|$

Por un lado distinguimos los elementos del centro, cada uno en su propia clase unitaria, y por otro el resto de clases:

• De las primeras hay una clase por cada elemento del centro, y cada una tiene cardinalidad 1.
• Para el resto de clases de conjugación, si $g_{i}$ es un representante de la clase ${\mathcal {K}}_{i}$ se tiene que

${\mathcal {K}}_{i}=O_{g_{i}}\implies |{\mathcal {K}}_{i}|=[G:G_{g_{i}}]=[G:C_{G}(g_{i})]$.

Uniendo ambos resultados se obtiene la ecuación de clases para el orden de $G$:​

$|G|=|Z(G)|+\sum _{i=1}^{r}[G:C_{G}(g_{i})]$

donde $g_{1},...,g_{r}$ es un conjunto de representantes de cada una de las clases de conjugación no contenidas en el centro de $G$. La ecuación de clases permite derivar algunos resultados para los grupos finitos como el teorema de Cauchy y los teoremas de Sylow.

Referencias

Bibliografía referenciada

• tom Dieck, Tammo (1987). Transformation groups. de Gruyter Studies in Mathematics 8. Berlin: Walter de Gruyter & Co. ISBN 978-3-11-009745-0. MR 889050. 
• Dummit, David S.; Foote, Richard M. (2004). Abstract Algebra (3ª edición). Wiley. ISBN 978-81-265-3228-5. 
• Eie; Chang (2010). A Course on Abstract Algebra. 
• Procesi, Claudio (2007). Lie Groups: An Approach through Invariants and Representations (en inglés). Springer Science & Business Media. ISBN 9780387289298. Consultado el 10 de febrero de 2018. 
• Reid, Miles (2005). Geometry and topology (en inglés). Cambridge, UK New York: Cambridge University Press. ISBN 9780521613255. 
• Rotman, Joseph J. (1999). An Introduction to the Theory of Groups (4ª edición). Springer. 
• Smith (2008). Introduction to abstract algebra. 
• Thurston, William (1980). The geometry and topology of three-manifolds. Princeton lecture notes (en inglés). Archivado desde el original el 27 de julio de 2020. Consultado el 10 de febrero de 2018. 

Bibliografía adicional

• Herstein, I. N. (1975). Topics in Algebra (en inglés) (2ª edición). 
• Lang, Serge (2005). Algebra (3ª edición). 
• Hall, Marshall (1999). The Theory of Groups. AMS. 
• Burnside, W. (1897). Theory of Groups of Finite Order. Cambidge University Press. 
• Kurosch, A. G. (1956). The Theory of Groups (en inglés). Traducido de la 2ª edición en ruso (2ª edición). Chelsea. 
• Gallian, Joseph A. (2012). Contemporary Abstract Algebra (9ª edición). Cengage. p. 656. ISBN 9781305657960. 
• Dorronsoro, José; Hernández, Eugenio (1996). Números, grupos y anillos. Addison-Wesley. ISBN 9788478290093. 

Enlaces externos

• Weisstein, Eric W. «Acción de grupos». En Weisstein, Eric W, ed. MathWorld (en inglés). Wolfram Research. 

• Datos: Q288465
• Multimedia: Group actions / Q288465
• Libros y manuales: Álgebra Abstracta/Acciones de Grupos