Grupo matemático formado a partir de los automorfismos de un objeto.
En matemáticas , el grupo de automorfismos de un objeto X es el grupo que consta de automorfismos de X bajo composición de morfismos . Por ejemplo, si X es un espacio vectorial de dimensión finita , entonces el grupo de automorfismos de X es el grupo de transformaciones lineales invertibles de X a sí mismo (el grupo lineal general de X ). Si, en cambio , X es un grupo, entonces su grupo de automorfismos es el grupo que consta de todos los automorfismos de grupo de X.![{\displaystyle \operatorname {Aut} (X)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Especialmente en contextos geométricos, un grupo de automorfismo también se denomina grupo de simetría . Un subgrupo de un grupo de automorfismo a veces se denomina grupo de transformación .
Los grupos de automorfismos se estudian de forma general en el campo de la teoría de categorías .
Ejemplos
Si X es un conjunto sin estructura adicional, entonces cualquier biyección de X hacia sí mismo es un automorfismo y, por tanto, el grupo de automorfismos de X en este caso es precisamente el grupo simétrico de X. Si el conjunto X tiene una estructura adicional, entonces puede darse el caso de que no todas las biyecciones en el conjunto conserven esta estructura, en cuyo caso el grupo de automorfismos será un subgrupo del grupo simétrico en X. Algunos ejemplos de esto incluyen los siguientes:
- El grupo de automorfismos de una extensión de campo es el grupo que consta de automorfismos de campo de L que fijan K . Si la extensión del campo es Galois , el grupo de automorfismo se llama grupo Galois de la extensión del campo.
- El grupo de automorfismo del espacio n proyectivo sobre un campo k es el grupo lineal proyectivo [1]
![{\displaystyle \operatorname {PGL} _ {n}(k).}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- El grupo de automorfismo de un grupo cíclico finito de orden n es isomorfo al grupo multiplicativo de números enteros módulo n , con el isomorfismo dado por . [2] En particular, es un grupo abeliano .
![{\displaystyle (\mathbb {Z} /n\mathbb {Z} )^{\times }}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\overline {a}}\mapsto \sigma _{a}\in G,\,\sigma _{a}(x)=x^{a}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle G}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- El grupo de automorfismo de un álgebra de Lie real de dimensión finita tiene la estructura de un grupo de Lie (real) (de hecho, es incluso un grupo algebraico lineal : ver más abajo). Si G es un grupo de Lie con álgebra de Lie , entonces el grupo de automorfismo de G tiene una estructura de un grupo de Lie inducida a partir del grupo de automorfismo de . [3] [un]
![{\displaystyle {\mathfrak {g}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathfrak {g}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathfrak {g}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Si G es un grupo que actúa sobre un conjunto X , la acción equivale a un homomorfismo de grupo de G al grupo de automorfismo de X y viceversa. De hecho, cada acción G izquierda en un conjunto X determina y, a la inversa, cada homomorfismo define una acción por . Esto se extiende al caso en que el conjunto X tiene más estructura que solo un conjunto. Por ejemplo, si X es un espacio vectorial, entonces una acción grupal de G sobre X es una representación grupal del grupo G , representando a G como un grupo de transformaciones lineales (automorfismos) de X ; estas representaciones son el principal objeto de estudio en el campo de la teoría de la representación .![{\displaystyle G\to \operatorname {Aut} (X),\,g\mapsto \sigma _{g},\,\sigma _{g}(x)=g\cdot x}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \varphi :G\to \operatorname {Aut} (X)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle g\cdot x=\varphi (g)x}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Aquí hay algunos otros datos sobre los grupos de automorfismos:
- Sean dos conjuntos finitos de la misma cardinalidad y el conjunto de todas las biyecciones . Entonces , que es un grupo simétrico (ver arriba), actúa desde la izquierda libre y transitivamente ; es decir, es un torsor de (cf. #En teoría de categorías).
![{\displaystyle A,B}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle A\mathrel {\overset {\sim }{\to }} B}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \operatorname {Aut} (B)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \operatorname {Iso} (A,B)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \operatorname {Iso} (A,B)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \operatorname {Aut} (B)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Sea P un módulo proyectivo generado finitamente sobre un anillo R. Luego hay una incrustación , única hasta los automorfismos internos . [5]
![{\displaystyle \operatorname {Aut} (P)\hookrightarrow \operatorname {GL} _{n}(R)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
En la teoría de categorías
Los grupos de automorfismo aparecen de forma muy natural en la teoría de categorías .
Si X es un objeto en una categoría, entonces el grupo de automorfismos de X es el grupo que consta de todos los morfismos invertibles de X hacia sí mismo. Es el grupo unitario del endomorfismo monoide de X. (Para ver algunos ejemplos, consulte PROP ).
Si hay objetos en alguna categoría, entonces el conjunto de todos es un torsor izquierdo . En términos prácticos, esto dice que una elección diferente de un punto base de difiere inequívocamente por un elemento de , o que cada elección de un punto base es precisamente una elección de una trivialización del torsor.![{\displaystyle A,B}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \operatorname {Iso} (A,B)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle A\mathrel {\overset {\sim }{\to }} B}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \operatorname {Aut} (B)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \operatorname {Iso} (A,B)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \operatorname {Aut} (B)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Si y son objetos en categorías y , y si es un funtor que se asigna a , entonces induce un homomorfismo de grupo , ya que asigna morfismos invertibles a morfismos invertibles.![{\displaystyle X_{1}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X_{2}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\ Displaystyle C_ {1}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\ Displaystyle C_ {2}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\ Displaystyle F: C_ {1} \ a C_ {2}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X_{1}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X_{2}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle F}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \operatorname {Aut} (X_{1})\to \operatorname {Aut} (X_{2})}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
En particular, si G es un grupo visto como una categoría con un solo objeto * o, más generalmente, si G es un grupoide, entonces cada funtor , C una categoría, se denomina acción o representación de G sobre el objeto , o los objetos . Entonces se dice que esos objetos son -objetos (ya que son actuados por ); cf. -objeto . Si es una categoría de módulo como la categoría de espacios vectoriales de dimensión finita, entonces los objetos también se denominan módulos.![{\displaystyle F:G\a C}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle F(*)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle F(\operatorname {Obj} (G))}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle G}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle G}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbb {S}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle C}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle G}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle G}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Functor de grupo de automorfismo
Sea un espacio vectorial de dimensión finita sobre un campo k que esté equipado con alguna estructura algebraica (es decir, M es un álgebra de dimensión finita sobre k ). Puede ser, por ejemplo, un álgebra asociativa o un álgebra de Lie .![{\displaystyle M}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Ahora, considere k - mapas lineales que preservan la estructura algebraica: forman un subespacio vectorial de . El grupo unitario de es el grupo de automorfismos . Cuando se elige una base en M , es el espacio de matrices cuadradas y es el conjunto cero de algunas ecuaciones polinómicas , y la invertibilidad se describe nuevamente mediante polinomios. Por tanto, es un grupo algebraico lineal sobre k .
![{\displaystyle \operatorname {Fin} _ {\text{alg}}(M)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \operatorname {Fin} (M)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \operatorname {Fin} _ {\text{alg}}(M)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \operatorname {Aut} (M)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \operatorname {Fin} (M)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \operatorname {Fin} _ {\text{alg}}(M)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \operatorname {Aut} (M)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Ahora las extensiones de bases aplicadas a la discusión anterior determinan un funtor: [6] es decir, para cada anillo conmutativo R sobre k , considere los R -maps lineales que preservan la estructura algebraica: denotéelo por . Entonces el grupo unitario del anillo de matriz sobre R es el grupo de automorfismo y es un funtor de grupo : un funtor de la categoría de anillos conmutativos sobre k a la categoría de grupos . Aún mejor, está representado por un esquema (ya que los grupos de automorfismos están definidos por polinomios): este esquema se llama esquema de grupo de automorfismos y se denota por .![{\displaystyle M\otimes R\a M\otimes R}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \operatorname {Fin} _{\text{alg}}(M\otimes R)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \operatorname {Fin} _{\text{alg}}(M\otimes R)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \operatorname {Aut} (M\otimes R)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle R\mapsto \operatorname {Aut} (M\otimes R)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \operatorname {Aut} (M)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Sin embargo, en general, es posible que un functor de grupo de automorfismo no esté representado por un esquema.
Ver también
Notas
- ^ Primero, si G es simplemente conexo, el grupo de automorfismo de G es el de . En segundo lugar, cada grupo de Lie conectado tiene la forma donde hay un grupo de Lie simplemente conectado y C es un subgrupo central y el grupo de automorfismo de G es el grupo de automorfismo de que conserva C . En tercer lugar, por convención, un grupo de Lie es el segundo contable y tiene, como mucho, muchos componentes conectados; así, el caso general se reduce al caso conexo.
![{\displaystyle {\mathfrak {g}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\widetilde {G}}/C}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\widetilde {G}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle G}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Citas
- ^ Hartshorne 1977, cap. II, Ejemplo 7.1.1.
- ^ Dummit y Foote 2004, § 2.3. Ejercicio 26.
- ^ Hochschild, G. (1952). "El grupo de automorfismo de un grupo de mentiras". Transacciones de la Sociedad Matemática Estadounidense . 72 (2): 209–216. JSTOR 1990752.
- ^ Milnor 1971, Lema 3.2.
- ^ Waterhouse 2012, § 7.6.
Referencias
- Fulton, William ; Harris, Joe (1991). Teoría de la representación. Un primer curso . Textos de Posgrado en Matemáticas , Lecturas en Matemáticas. vol. 129. Nueva York: Springer-Verlag. doi :10.1007/978-1-4612-0979-9. ISBN 978-0-387-97495-8. SEÑOR 1153249. OCLC 246650103.
- Hartshorne, Robin (1977), Geometría algebraica , Textos de posgrado en matemáticas , vol. 52, Nueva York: Springer-Verlag, ISBN 978-0-387-90244-9, SEÑOR 0463157
- Milnor, John Willard (1971). Introducción a la teoría K algebraica. Anales de estudios de matemáticas. vol. 72. Princeton, Nueva Jersey: Princeton University Press . ISBN 9780691081014. SEÑOR 0349811. Zbl 0237.18005.
- Waterhouse, William C. (2012) [1979]. Introducción a los esquemas de grupos afines. Textos de Posgrado en Matemáticas. vol. 66. Springer Verlag. ISBN 9781461262176.
enlaces externos
- https://mathoverflow.net/questions/55042/automorphism-group-of-a-scheme