stringtranslate.com

Acción grupal

El grupo cíclico C 3 constituido por las rotaciones de 0°, 120° y 240° actúa sobre el conjunto de los tres vértices.

En matemáticas , muchos conjuntos de transformaciones forman un grupo bajo la composición de funciones ; por ejemplo, las rotaciones alrededor de un punto en el plano. A menudo es útil considerar el grupo como un grupo abstracto , y decir que se tiene una acción grupal del grupo abstracto que consiste en realizar las transformaciones del grupo de transformaciones. La razón para distinguir el grupo de las transformaciones es que, generalmente, un grupo de transformaciones de una estructura actúa también sobre varias estructuras relacionadas; por ejemplo, el grupo de rotaciones anterior actúa también sobre triángulos al transformar triángulos en triángulos.

Formalmente, una acción de grupo de un grupo G sobre un conjunto S es un homomorfismo de grupo de G a algún grupo (bajo composición de funciones ) de funciones de S a sí mismo.

Si un grupo actúa sobre una estructura, normalmente actuará también sobre los objetos construidos a partir de esa estructura. Por ejemplo, el grupo de isometrías euclidianas actúa sobre el espacio euclidiano y también sobre las figuras dibujadas en él; en particular, actúa sobre el conjunto de todos los triángulos . De manera similar, el grupo de simetrías de un poliedro actúa sobre los vértices , las aristas y las caras del poliedro.

Una acción de grupo sobre un espacio vectorial se denomina representación del grupo. En el caso de un espacio vectorial de dimensión finita, permite identificar muchos grupos con subgrupos del grupo lineal general GL( n , K ) , el grupo de las matrices invertibles de dimensión n sobre un cuerpo K.

El grupo simétrico S n actúa sobre cualquier conjunto con n elementos permutando los elementos del conjunto. Aunque el grupo de todas las permutaciones de un conjunto depende formalmente del conjunto, el concepto de acción de grupo permite considerar un único grupo para estudiar las permutaciones de todos los conjuntos con la misma cardinalidad .

Definición

Acción del grupo de izquierda

Si G es un grupo con elemento identidad e , y X es un conjunto, entonces una acción de grupo ( izquierda ) α de G sobre X es una función

que satisface los dos axiomas siguientes : [1]

para todos los g y h en G y todos los x en X .

Se dice entonces que el grupo G actúa sobre X ( desde la izquierda). Un conjunto X junto con una acción de G se denomina conjunto G ( izquierdo ) .

Puede ser conveniente desde el punto de vista de la notación currificar la acción α , de modo que, en su lugar, se tenga una colección de transformaciones α g  : XX , con una transformación α g para cada elemento del grupo gG . Las relaciones de identidad y compatibilidad se leen entonces

y

donde es la composición de funciones . El segundo axioma establece que la composición de funciones es compatible con la multiplicación de grupos; forman un diagrama conmutativo . Este axioma se puede acortar aún más y escribir como α gα h = α gh .

Con lo anterior entendido, es muy común evitar escribir α por completo y reemplazarlo con un punto o sin nada. Por lo tanto, α ( g , x ) se puede abreviar a gx o gx , especialmente cuando la acción es clara a partir del contexto. Los axiomas son entonces

De estos dos axiomas se sigue que para cualquier g fijo en G , la función de X a sí misma que aplica x a gx es una biyección , siendo la biyección inversa la función correspondiente para g −1 . Por lo tanto, se puede definir de manera equivalente una acción de grupo de G sobre X como un homomorfismo de grupo de G en el grupo simétrico Sym( X ) de todas las biyecciones de X a sí misma. [2]

Acción grupal correcta

De la misma manera, una acción de grupo derecha de G sobre X es una función

que satisface los axiomas análogos: [3]

(con α ( x , g ) a menudo abreviado como xg o xg cuando la acción que se considera queda clara en el contexto)

para todos los g y h en G y todos los x en X .

La diferencia entre acciones izquierdas y derechas está en el orden en el que un producto gh actúa sobre x . Para una acción izquierda, h actúa primero, seguida de g en segundo lugar. Para una acción derecha, g actúa primero, seguida de h en segundo lugar. Debido a la fórmula ( gh ) −1 = h −1 g −1 , una acción izquierda puede construirse a partir de una acción derecha componiendo con la operación inversa del grupo. Además, una acción derecha de un grupo G sobre X puede considerarse como una acción izquierda de su grupo opuesto G op sobre X.

Así pues, para establecer propiedades generales de las acciones de grupo, basta considerar sólo las acciones de izquierda. Sin embargo, hay casos en los que esto no es posible. Por ejemplo, la multiplicación de un grupo induce tanto una acción de izquierda como una acción de derecha sobre el propio grupo: multiplicación por la izquierda y por la derecha, respectivamente.

Propiedades notables de las acciones

Sea G un grupo que actúa sobre un conjunto X. La acción se llamafiel oeficaz si g x = x para todo x X implica que g = e G . Equivalentemente, elhomomorfismode G al grupo de biyecciones de X correspondiente a la acción esinyectivo.

La acción se llamalibre (osemirregularolibre de punto fijo) si la afirmación de que g x = x para algún x X ya implica que g = e G . En otras palabras, ningún elemento no trivial de G fija un punto de X . Esta es una propiedad mucho más fuerte que la fidelidad.

Por ejemplo, la acción de cualquier grupo sobre sí mismo por multiplicación izquierda es libre. Esta observación implica el teorema de Cayley de que cualquier grupo puede estar incluido en un grupo simétrico (que es infinito cuando el grupo es). Un grupo finito puede actuar fielmente sobre un conjunto de tamaño mucho menor que su cardinalidad (sin embargo, dicha acción no puede ser libre). Por ejemplo, el 2-grupo abeliano ( Z / 2 Z ) n (de cardinalidad 2 n ) actúa fielmente sobre un conjunto de tamaño 2 n . Este no es siempre el caso, por ejemplo, el grupo cíclico Z / 2 n Z no puede actuar fielmente sobre un conjunto de tamaño menor que 2 n .

En general, el conjunto más pequeño en el que se puede definir una acción fiel puede variar mucho para grupos del mismo tamaño. Por ejemplo, tres grupos de tamaño 120 son el grupo simétrico S 5 , el grupo icosaédrico A 5 × Z / 2 Z y el grupo cíclico Z / 120 Z . Los conjuntos más pequeños en los que se pueden definir acciones fieles para estos grupos son de tamaño 5, 7 y 16 respectivamente.

Propiedades de transitividad

La acción de G sobre X se llamatransitiva si para dos puntos cualesquiera x , y X existe un g G tal que g x = y .

La acción essimplemente transitivo (omarcadamente transitivo, oregular ) si es transitivo y libre. Esto significa que, dado x , y X, el elemento g en la definición de transitividad es único. Si un grupo G actúa sobre X simplemente de manera transitiva , entonces se denominaespacio homogéneo principalpara G o un G -torsor.

Para un entero n ≥ 1 , la acción esn -transitivo siXtiene al menosnelementos, y para cualquier par den-tuplas(x1, ...,x n ), (y1, ...,y n ) ∈X n con entradas distintas por pares (es decirx ix j ,y iy j cuandoij) existe ungGtal quegx i =y i parai= 1, ...,n. En otras palabras, la acción sobre el subconjunto deX n de tuplas sin entradas repetidas es transitiva. Paran= 2, 3esto a menudo se llama transitividad doble, respectivamente triple. La clase degrupos 2-transitivos(es decir, subgrupos de un grupo simétrico finito cuya acción es 2-transitiva) y, más generalmente,grupos transitivos múltiplesse estudian bien en la teoría de grupos finitos.

Una acción esbruscamente n -transitivo cuando la acción sobre tuplas sin entradas repetidas en X n es bruscamente transitiva.

Ejemplos

La acción del grupo simétrico de X es transitiva, de hecho n -transitiva para cualquier n hasta la cardinalidad de X. Si X tiene cardinalidad n , la acción del grupo alterno es ( n − 2) -transitiva pero no ( n − 1) -transitiva.

La acción del grupo lineal general de un espacio vectorial V sobre el conjunto V ∖ {0} de vectores no nulos es transitiva, pero no 2-transitiva (de manera similar para la acción del grupo lineal especial si la dimensión de v es al menos 2). La acción del grupo ortogonal de un espacio euclidiano no es transitiva sobre vectores no nulos pero sí sobre la esfera unitaria .

Acciones primitivas

La acción de G sobre X se llama primitiva si no hay partición de X preservada por todos los elementos de G aparte de las particiones triviales (la partición en una sola pieza y su dual , la partición en singletons ).

Propiedades topológicas

Supongamos que X es un espacio topológico y la acción de G es por homeomorfismos .

La acción es errante si cada xX tiene un vecindario U tal que sólo hay un número finito de gG con gUU ≠ ∅ . [4]

De manera más general, un punto xX se denomina punto de discontinuidad para la acción de G si existe un subconjunto abierto Ux tal que solo hay un número finito de gG con gUU ≠ ∅ . El dominio de discontinuidad de la acción es el conjunto de todos los puntos de discontinuidad. De manera equivalente, es el subconjunto abierto G -estable más grande Ω ⊂ X tal que la acción de G sobre Ω es errante. [5] En un contexto dinámico, esto también se denomina conjunto errante .

La acción es propiamente discontinua si para cada subconjunto compacto KX hay sólo un número finito de gG tales que gKK ≠ ∅ . Esto es estrictamente más fuerte que la acción errante; por ejemplo, la acción de Z sobre R 2 ∖ {(0, 0)} dada por n ⋅( x , y ) = (2 n x , 2 n y ) es errante y libre pero no propiamente discontinua. [6]

La acción por transformaciones de cubierta del grupo fundamental de un espacio localmente simplemente conexo sobre un espacio envolvente es errante y libre. Tales acciones pueden caracterizarse por la siguiente propiedad: cada xX tiene un entorno U tal que gUU = ∅ para cada gG ∖ { e G } . [7] Las acciones con esta propiedad a veces se denominan libremente discontinuas , y el subconjunto más grande en el que la acción es libremente discontinua se denomina entonces conjunto regular libre . [8]

Una acción de un grupo G sobre un espacio localmente compacto X se llama cocompacta si existe un subconjunto compacto AX tal que X = GA . Para una acción propiamente discontinua, la cocompactitud es equivalente a la compacidad del espacio cociente G \ X .

Acciones de grupos topológicos

Supongamos ahora que G es un grupo topológico y X un espacio topológico sobre el que actúa mediante homeomorfismos. Se dice que la acción es continua si la función G × XX es continua para la topología del producto .

Se dice que la acción eses propia si la función G × X X × X definida por( g , x ) ↦ ( x , g x )espropia.[9]Esto significa que dados los conjuntos compactos K , Kel conjunto de g G tal que g K K ′ ≠ ∅es compacto. En particular, esto es equivalente a la discontinuidad propia G es ungrupo discreto.

Se dice que es localmente libre si existe un entorno U de e G tal que gxx para todo xX y gU ∖ { e G } .

Se dice que la acción es fuertemente continua si el mapa orbital ggx es continuo para cada xX . Contrariamente a lo que sugiere el nombre, esta es una propiedad más débil que la continuidad de la acción. [ cita requerida ]

Si G es un grupo de Lie y X una variedad diferenciable , entonces el subespacio de puntos suaves para la acción es el conjunto de puntos xX tales que la función ggx es suave . Existe una teoría bien desarrollada de acciones de grupo de Lie , es decir, acciones que son suaves en todo el espacio.

Acciones lineales

Si g actúa mediante transformaciones lineales sobre un módulo sobre un anillo conmutativo , se dice que la acción es irreducible si no hay submódulos propios no nulos que sean g -invariantes. Se dice que es semisimple si se descompone como una suma directa de acciones irreducibles.

Órbitas y estabilizadores

En el compuesto de cinco tetraedros , el grupo de simetría es el grupo icosaédrico (rotacional) I de orden 60, mientras que el estabilizador de un solo tetraedro elegido es el grupo tetraédrico (rotacional) T de orden 12, y el espacio de órbitas I / T (de orden 60/12 = 5) se identifica naturalmente con los 5 tetraedros – la clase lateral gT corresponde al tetraedro al que g envía el tetraedro elegido.

Consideremos un grupo G que actúa sobre un conjunto X.La órbita de un elemento x en X es el conjunto de elementos en X al que x puede ser movido por los elementos de G . La órbita de x se denota por G x :

Las propiedades definitorias de un grupo garantizan que el conjunto de órbitas de (puntos x en) X bajo la acción de G formen una partición de X . La relación de equivalencia asociada se define diciendo x ~ y si y solo si existe un g en G con gx = y . Las órbitas son entonces las clases de equivalencia bajo esta relación; dos elementos x e y son equivalentes si y solo si sus órbitas son las mismas, es decir, Gx = Gy .

La acción de grupo es transitiva si y solo si tiene exactamente una órbita, es decir, si existe x en X con Gx = X . Este es el caso si y solo si Gx = X para todo x en X (dado que X no está vacío).

El conjunto de todas las órbitas de X bajo la acción de G se escribe como X / G (o, con menos frecuencia, como G \ X ), y se denominacociente de la acción. En situaciones geométricas puede llamarse cocienteespacio de órbita , mientras que en situaciones algebraicas puede llamarse espacio decoinvariantes , que se escriben X G , en contraste con los invariantes (puntos fijos), que se denotan X G : los coinvariantes son uncocientemientras que los invariantes son unsubconjunto. La terminología y notación de coinvariantes se utilizan particularmente encohomología de gruposyhomología de grupos, que utilizan la misma convención de superíndice/subíndice.

Subconjuntos invariantes

Si Y es un subconjunto de X , entonces GY denota el conjunto { gy  : gG e yY } . Se dice que el subconjunto Y es invariante bajo G si GY = Y (que es equivalente a G ⋅ Y ⊆ Y ). En ese caso, G también opera sobre Y restringiendo la acción a Y . El subconjunto Y se dice fijo bajo G si g y = y para todo g en G y todo y en Y . Todo subconjunto que es fijo bajo G también es invariante bajo G , pero no a la inversa.

Toda órbita es un subconjunto invariante de X sobre el que G actúa transitivamente . A la inversa, cualquier subconjunto invariante de X es una unión de órbitas. La acción de G sobre X es transitiva si y solo si todos los elementos son equivalentes, es decir, que existe una sola órbita.

Un elemento G -invariante de X es xX tal que gx = x para todo gG . El conjunto de todos esos x se denota X G y se llama G -invariantes de X . Cuando X es un G -módulo , X G es el grupo de cohomología cero de G con coeficientes en X , y los grupos de cohomología superiores son los funtores derivados del funtor de G -invariantes.

Puntos fijos y subgrupos estabilizadores

Dado g en G y x en X con gx = x , se dice que " x es un punto fijo de g " o que " g fija x ". Para cada x en X , lasubgrupo estabilizador de G con respecto a x (también llamadogrupo de isotropíaogrupo pequeño[10]) es el conjunto de todos los elementos en G que fijan x : Este es unsubgrupode G , aunque típicamente no es uno normal. La acción de G sobre X eslibresi y solo si todos los estabilizadores son triviales. El núcleo N del homomorfismo con el grupo simétrico, G → Sym( X ), está dado por laintersecciónde los estabilizadores G x para todo x en X . Si N es trivial, se dice que la acción es fiel (o efectiva).

Sean x e y dos elementos de X , y sea g un elemento de grupo tal que y = gx . Entonces los dos grupos estabilizadores G x y G y están relacionados por G y = gG x g −1 . Demostración: por definición, hG y si y solo si h ⋅( gx ) = gx . Aplicando g −1 a ambos lados de esta igualdad se obtiene ( g −1 hg )⋅ x = x ; es decir, g −1 hgG x . Una inclusión opuesta se sigue de manera similar tomando hG x y x = g −1y .

Lo anterior dice que los estabilizadores de elementos en la misma órbita son conjugados entre sí. Por lo tanto, a cada órbita, podemos asociar una clase de conjugación de un subgrupo de G (es decir, el conjunto de todos los conjugados del subgrupo). Sea ( H ) la clase de conjugación de H . Entonces la órbita O tiene tipo ( H ) si el estabilizador G x de algún/cualquier x en O pertenece a ( H ) . Un tipo de órbita máxima a menudo se llama tipo de órbita principal .

Teorema del estabilizador de órbita

Las órbitas y los estabilizadores están estrechamente relacionados. Para una x fija en X , considere la función f  : GX dada por ggx . Por definición, la imagen f ( G ) de esta función es la órbita Gx . La condición para que dos elementos tengan la misma imagen es En otras palabras, f ( g ) = f ( h ) si y solo si g y h se encuentran en la misma clase lateral para el subgrupo estabilizador G x . Por lo tanto, la fibra f −1 ({ y }) de f sobre cualquier y en Gx está contenida en dicha clase lateral, y cada clase lateral de este tipo también ocurre como una fibra. Por lo tanto, f induce una biyección entre el conjunto G / G x de clases laterales para el subgrupo estabilizador y la órbita Gx , que envía gG xgx . [11] Este resultado se conoce como el teorema de la órbita-estabilizador .

Si G es finito, entonces el teorema del estabilizador de órbita, junto con el teorema de Lagrange , da en otras palabras que la longitud de la órbita de x por el orden de su estabilizador es el orden del grupo . En particular, eso implica que la longitud de la órbita es un divisor del orden del grupo.

Ejemplo: Sea G un grupo de elementos de orden primo p que actúan sobre un conjunto X con k elementos. Como cada órbita tiene 1 o p elementos, hay al menos k órbitas módulo p de longitud 1 que son elementos G -invariantes. Más específicamente, k y el número de elementos G -invariantes son congruentes módulo p . [12]

Este resultado es especialmente útil ya que puede emplearse para contar argumentos (normalmente también en situaciones donde X es finito).

Gráfico cúbico con vértices etiquetados
Ejemplo: Podemos usar el teorema del estabilizador de órbita para contar los automorfismos de un grafo . Consideremos el grafo cúbico como se muestra en la imagen, y sea G su grupo de automorfismos . Entonces G actúa sobre el conjunto de vértices {1, 2, ..., 8} , y esta acción es transitiva como se puede ver al componer rotaciones alrededor del centro del cubo. Por lo tanto, por el teorema del estabilizador de órbita, | G | = | G ⋅ 1 | | G 1 | = 8 | G 1 | . Aplicando ahora el teorema al estabilizador G 1 , podemos obtener | G 1 | = | ( G 1 ) ⋅ 2 | | ( G 1 ) 2 | . Cualquier elemento de G que fija 1 debe enviar 2 a 2, 4 o 5. Como ejemplo de tales automorfismos, considere la rotación alrededor del eje diagonal a través de 1 y 7 por 2 π /3 , que permuta 2, 4, 5 y 3, 6, 8, y fija 1 y 7. Por lo tanto, | ( G 1 ) ⋅ 2 | = 3 . Aplicando el teorema una tercera vez da | ( G 1 ) 2 | = | (( G 1 ) 2 ) ⋅ 3 | | (( G 1 ) 2 ) 3 | . Cualquier elemento de G que fija 1 y 2 debe enviar 3 a 3 o 6. Reflejando el cubo en el plano a través de 1, 2, 7 y 8 es un automorfismo que envía 3 a 6, por lo tanto | (( G 1 ) 2 ) ⋅ 3 | = 2 . También se ve que (( G 1 ) 2 ) 3 consiste sólo en el automorfismo identidad, ya que cualquier elemento de G que fije 1, 2 y 3 también debe fijar todos los demás vértices, ya que están determinados por su adyacencia a 1, 2 y 3. Combinando los cálculos anteriores, ahora podemos obtener | G | = 8 ⋅ 3 ⋅ 2 ⋅ 1 = 48 .

Lema de Burnside

Un resultado estrechamente relacionado con el teorema del estabilizador de órbitas es el lema de Burnside : donde X g es el conjunto de puntos fijados por g . Este resultado es principalmente útil cuando G y X son finitos, cuando se puede interpretar de la siguiente manera: el número de órbitas es igual al número promedio de puntos fijados por elemento del grupo.

Fijando un grupo G , el conjunto de diferencias formales de los conjuntos G finitos forma un anillo llamado anillo de Burnside de G , donde la adición corresponde a la unión disjunta y la multiplicación al producto cartesiano .

Ejemplos

Acciones grupales y grupoides

La noción de acción grupal puede ser codificada por el grupoide de acción G ′ = GX asociado a la acción grupal. Los estabilizadores de la acción son los grupos de vértices del grupoide y las órbitas de la acción son sus componentes.

Morfismos e isomorfismos entreGRAMO-conjuntos

Si X e Y son dos G -conjuntos, un morfismo de X a Y es una función f  : XY tal que f ( gx ) = gf ( x ) para todo g en G y todo x en X . Los morfismos de G -conjuntos también se denominan mapas equivariantes o G - mapas .

La composición de dos morfismos es nuevamente un morfismo. Si un morfismo f es biyectivo, entonces su inverso también es un morfismo. En este caso , f se denomina isomorfismo y los dos conjuntos G X e Y se denominan isomorfos ; para todos los efectos prácticos, los conjuntos G isomorfos son indistinguibles.

Algunos ejemplos de isomorfismos:

Con esta noción de morfismo, la colección de todos los G -conjuntos forma una categoría ; esta categoría es un topos de Grothendieck (de hecho, asumiendo una metalógica clásica , este topos será incluso booleano).

Variantes y generalizaciones

También podemos considerar acciones de monoides sobre conjuntos, utilizando los mismos dos axiomas que antes. Sin embargo, esto no define aplicaciones biyectivas ni relaciones de equivalencia. Véase acción de semigrupo .

En lugar de acciones sobre conjuntos, podemos definir acciones de grupos y monoides sobre objetos de una categoría arbitraria: empezar con un objeto X de alguna categoría y luego definir una acción sobre X como un homomorfismo de monoide en el monoide de endomorfismos de X. Si X tiene un conjunto subyacente, entonces todas las definiciones y hechos establecidos anteriormente pueden trasladarse. Por ejemplo, si tomamos la categoría de espacios vectoriales, obtenemos representaciones de grupos de esta manera.

Podemos ver un grupo G como una categoría con un único objeto en el que cada morfismo es invertible . [15] Una acción de grupo (izquierda) no es entonces nada más que un funtor (covariante) de G a la categoría de conjuntos , y una representación de grupo es un funtor de G a la categoría de espacios vectoriales . [16] Un morfismo entre G -conjuntos es entonces una transformación natural entre los funtores de acción de grupo. [17] En analogía, una acción de un grupoide es un funtor del grupoide a la categoría de conjuntos o a alguna otra categoría.

Además de las acciones continuas de los grupos topológicos sobre espacios topológicos, también se suelen considerar las acciones suaves de los grupos de Lie sobre variedades suaves , las acciones regulares de los grupos algebraicos sobre variedades algebraicas y las acciones de los esquemas de grupo sobre esquemas . Todos estos son ejemplos de objetos de grupo que actúan sobre objetos de su respectiva categoría.

Galería

Véase también

Notas

Citas

  1. ^ Eie y Chang (2010). Un curso de álgebra abstracta. pág. 144.
  2. ^ Así lo hace, por ejemplo, Smith (2008). Introducción al álgebra abstracta. p. 253.
  3. ^ "Definición: Axiomas de acción de grupo correctos". Proof Wiki . Consultado el 19 de diciembre de 2021 .
  4. ^ Thurston 1997, Definición 3.5.1(iv).
  5. ^ Kapovich 2009, pág. 73.
  6. ^ Thurston 1980, pág. 176.
  7. ^ Hatcher 2002, pág. 72.
  8. ^ Maskit 1988, II.A.1, II.A.2.
  9. ^ Tom Dieck 1987.
  10. ^ Procesi, Claudio (2007). Grupos de Lie: una aproximación a través de invariantes y representaciones. Springer Science & Business Media. p. 5. ISBN 9780387289298. Recuperado el 23 de febrero de 2017 .
  11. ^ M. Artin, Álgebra , Proposición 6.8.4 en la pág. 179
  12. ^ Carter, Nathan (2009). Teoría de grupos visuales (1.ª ed.). Asociación Matemática de Estados Unidos. pág. 200. ISBN 978-0883857571.
  13. ^ Eie y Chang (2010). Un curso de álgebra abstracta. pág. 145.
  14. ^ Reid, Miles (2005). Geometría y topología . Cambridge, Reino Unido. Nueva York: Cambridge University Press. pág. 170. ISBN. 9780521613255.
  15. Perrone (2024), págs. 7–9
  16. Perrone (2024), págs. 36–39
  17. Perrone (2024), págs. 69–71

Referencias

Enlaces externos