Accin (matemtica)

De Wikipedia, la enciclopedia libre

Una accin de un grupo sobre un conjunto es una aplicacin que cumple:

1. {\displaystyle donde es el elemento neutro del grupo.

2. \forall x\in X,\ \phi
{\displaystyle \forall x\in X,\,g,h\in G,\ \phi .
(g*h,x)=\phi (g,\phi (h,x))}
Estas dos condiciones implican que, para cada elemento de , la aplicacin {\displaystyle es una funcin
biyectiva. Otra posible definicin, que se deriva de esto, es que una accin es un homomorfismo
\phi (g,\cdot de grupos.

{\displaystyle \phi :G\to \.

{{\text{funciones biyectivas }}X\to X\}}

ndice
1 Notacin alternativa
2 Ejemplos
3 Tipos de accin
4 rbita
5 rbitas y estabilizadores
6 Ecuacin de clase
7 Referencias
8 Enlaces externos

Notacin alternativa
Otra notacin utilizada para las acciones es . As los axiomas de accin se reescriben:
{\displaystyle
(g,x)\mapsto
{\displaystyle
{\displaystyle
(gh)\cdot x=g\cdot
Ejemplos
Ejemplo: El ejemplo ms sencillo es la representacin trivial: para cualquier y x\in ,
{\displaystyle .
{\displaystyle
\phi
Ejemplo: El grupo de tres elementos {\displaystyleacta sobre el plano complejo de la siguiente manera:
\mathbb
{\displaystyle
\phi
{\displaystyle
\phi
{\displaystyle
\phi
donde es una raz cbica de la unidad (si tomamos la raz la representacin es trivial).
{\displaystyle
Un tipo importante de accin es aquella en la que es un espacio vectorial. Este tipo de acciones son el punto
de partida de la teora de la representacin.

Tipos de accin
Una accin de un grupo se llama transitiva, o se dice que el grupo acta transitivamente sobre un
conjunto , si dados dos elementos e cualesquiera del conjunto , existe un elemento del grupo
 que aplica el en , es decir: {\displaystyle
\exists g\in G:\phi
rbita
En teora de grupos la rbita de un elemento de un grupo , es la clase de equivalencia {\displaystyle
que contiene
todos los elementos del grupo que se relacionan con bajo una relacin de equivalencia especfica.
\

Un ejemplo es la relacin en grupo dada por si y slo si es conjugado a ; esto es, si existe un
{\displaystyle
elemento del grupo tal que {\displaystyle
.
\
La rbita de son todos los elementos de que pueden ser alcanzados mediante una conjugacin desde .

En este caso la rbita tambin se llama clase de conjugacin del elemento.

Obsrvese que dos rbitas de dos elementos (diferentes tal vez) son iguales ssi los elementos son equivalentes .
O bien dos rbitas son iguales o disjuntas.

rbitas y estabilizadores
Con una accin de un grupo en un conjunto uno tiene los siguientes conceptos: para cada {\displays
tenemos el estabilizador de

{\displaystyle St(\xi )=\{g\in

G\ :\ g*\xi =\xi \}}
y que son los elementos del grupo que actan trivialmente sobre el elemento . Es un subgrupo de y
tambin es llamado subgrupo de isotropa que no necesariamente es un subgrupo normal.

Y para el mismo , la rbita:

{\displaystyle Orb(\xi )=\{x\in X\ :\

\exists g\in G,g*\xi =x,\}}
que son los elementos del conjunto que se alcanzan desde por la accin de .

Con estos dos conceptos tenemos:

Hay una biyeccin {\displaystyle .

Orb(\xi una particin
Las diferentes rbitas forman )\to de .
entonces {\displaystyle
Si {\displaystyle , donde .
{\displaystyle
\eta \in St(\eta )=gSt(\xi \ g*\xi
Ecuacin de clase
Bajo estas circunstancias tenemos la descomposicin orbital

{\displaystyle
X=\bigsqcup
_{j}Orb(\xi
que es una unin disjunta. Por lo que

{\displaystyle
\#X=\sum
_{j}\#Orb(\xi
Adems de que los nmeros {\displaystyle \#Orb(\xi _{j})=\#(G/St(\xi , siendo estos ltimos los ndices de
los subgrupos {\displaystyle
. Por lo que_{j}))=[G:St(\xi
uno obtiene la proto-ecuacin
_{j})]} de clase (ecuacin de clase):
St(\xi
 {\displaystyle
\#X=\sum _{j}
[G:St(\xi _{j})]}
Un caso especial de esta frmula es cuando el grupo G acta sobre s mismo por conjugacin: {\displaystyle
g\bullet
y con esta uno obtiene la maquinaria efectiva para demostrar algunos resultados para los grupos finitos: el
teorema de Cauchy y los teoremas de Sylow.

Referencias
N.I.Herstein
Serge Lang
Marshall Hall
Burnside
A.G.Kurosch
Gallian
Dorronsoro

Enlaces externos
Weisstein, Eric W. Accin de grupos. En Weisstein, Eric W. MathWorld (en ingls). Wolfram
Research.

Obtenido de https://es.wikipedia.org/w/index.php?title=Accin_(matemtica)&oldid=93815121

Categoras: Teora de grupos lgebra

Se edit esta pgina por ltima vez el 21 sep 2016 a las 18:02.
El texto est disponible bajo la Licencia Creative Commons Atribucin Compartir Igual 3.0; pueden
aplicarse clusulas adicionales. Al usar este sitio, usted acepta nuestros trminos de uso y nuestra poltica
de privacidad.
Wikipedia es una marca registrada de la Fundacin Wikimedia, Inc., una organizacin sin nimo de
lucro.