En matemáticas , los grupos profinitos son grupos topológicos que en cierto sentido se ensamblan a partir de grupos finitos . Comparten muchas propiedades con sus cocientes finitos: por ejemplo, tanto el teorema de Lagrange como los teoremas de Sylow se generalizan bien a los grupos profinitos. [1]
Una generalización no compacta de un grupo lucrativo es un grupo lucrativo local .
Definición
Los grupos lucrativos se pueden definir de dos formas equivalentes.
Primera definicion
Un grupo profinito es un grupo topológico que es isomorfo al límite inverso de un sistema inverso de grupos finitos discretos . [2] En este contexto, un sistema inverso consiste en un conjunto dirigido , una colección de grupos finitos , cada uno con la topología discreta y una colección de homomorfismos tal que es la identidad en y la colección satisface la propiedad de composición . El límite inverso es el conjunto:
equipado con la topología de producto relativa . En términos categóricos , este es un caso especial de una construcción de límite cofiltrada . También se puede definir el límite inverso en términos de una propiedad universal .
Segunda definición
Un grupo profinito es un grupo topológico de Hausdorff , compacto y totalmente desconectado : [3] es decir, un grupo topológico que también es un espacio de Stone . Dada esta definición, es posible recuperar la primera definición utilizando el límite inverso dónde va a través de los subgrupos normales abiertos de ordenados por inclusión (inversa).
Ejemplos de
- Los grupos finitos son profinitos, si se les da la topología discreta .
- El grupo de enteros p -ádicos debajo de la adición es profinita (de hecho, procíclico ). Es el límite inverso de los grupos finitos.donde n abarca todos los números naturales y los mapas naturales por se utilizan para el proceso de límite. La topología en este grupo profinito es la misma que la topología que surge de la valoración p-ádica en.
- El grupo de enteros profinitos es el límite inverso de los grupos finitos dónde y usamos los mapas por en el proceso de límite. Este grupo es el producto de todos los grupos., y es el grupo de Galois absoluto de cualquier campo finito.
- La teoría de Galois de extensiones de campo de grado infinito da lugar naturalmente a grupos de Galois que son profinitos. Específicamente, si L / K es una extensión de Galois , consideramos el grupo G = Gal ( L / K ) que consiste en todos los automorfismos de campo de L que mantienen todos los elementos de K fijos. Este grupo es el límite inverso de los grupos finitos Gal ( F / K ), donde F varía en todos los campos intermedios de manera que F / K es una extensión finita de Galois. Para el proceso de límite, usamos los homomorfismos de restricción Gal ( F 1 / K ) → Gal ( F 2 / K ), donde F 2 ⊆ F 1 . La topología que obtenemos en Gal ( L / K ) se conoce como topología de Krull después de Wolfgang Krull . Waterhouse (1974) mostró que cada grupo lucrativo es isomorfo a uno que surge de la teoría de Galois de algún campo K , pero no se puede (todavía) controlar qué campo K será en este caso. De hecho, para muchos campos K uno no sabe en general con precisión qué grupos finitos se producen como grupos de Galois sobre K . Este es el problema de Galois inversa para un campo K . (Para algunos campos K, el problema de Galois inverso está resuelto, como el campo de funciones racionales en una variable sobre los números complejos). No todos los grupos profinitos se presentan como un grupo de Galois absoluto de un campo. [4]
- Los grupos fundamentales considerados en geometría algebraica también son grupos profinitos, hablando en términos generales porque el álgebra sólo puede "ver" cubiertas finitas de una variedad algebraica . Los grupos fundamentales de la topología algebraica , sin embargo, en general no son profinitos: para cualquier grupo prescrito, hay un complejo CW bidimensional cuyo grupo fundamental es igual a él (fije una presentación del grupo; el complejo CW tiene una celda 0, un bucle para cada generador, y una celda de 2 para cada relación, cuyo mapa adjunto corresponde a la relación de la manera "obvia": por ejemplo, para la relación abc = 1 , el mapa adjunto traza un generador de los grupos fundamentales de los bucles para un , b , y c en orden. El cálculo sigue por el teorema de Van Kampen .)
- El grupo de automorfismo de un árbol de raíces localmente finitas es profinito.
Propiedades y hechos
- Cada producto de (arbitrariamente muchos) grupos lucrativos es lucrativo; la topología que surge de la profinidad concuerda con la topología del producto . El límite inverso de un sistema inverso de grupos lucrativos con mapas de transición continuos es lucrativo y el functor límite inverso es exacto en la categoría de grupos lucrativos. Además, ser lucrativo es una propiedad de extensión.
- Cada subgrupo cerrado de un grupo lucrativo es, en sí mismo, lucrativo; la topología que surge de la profinidad concuerda con la topología del subespacio . Si N es un subgrupo normal cerrado de un grupo lucrativo G , entonces el grupo de factores G / N es lucrativo; la topología que surge de la profinidad concuerda con la topología del cociente .
- Debido a que cada grupo profinito G es compacto Hausdorff, tenemos una medida de Haar en G , lo que nos permite medir el "tamaño" de subconjuntos de G , calculamos ciertas probabilidades, e integrar las funciones de G .
- Un subgrupo de un grupo lucrativo está abierto si y solo si está cerrado y tiene un índice finito .
- Según un teorema de Nikolay Nikolov y Dan Segal , en cualquier grupo profinito generado topológicamente de forma finita (es decir, un grupo profinito que tiene un subgrupo denso generado de forma finita) los subgrupos de índice finito están abiertos. Esto generaliza un resultado análogo anterior de Jean-Pierre Serre para grupos pro-p generados topológicamente de forma finita . La demostración utiliza la clasificación de grupos simples finitos .
- Como corolario fácil del resultado de Nikolov-Segal anterior, cualquier homomorfismo de grupo discreto sobreyectivo φ: G → H entre los grupos profinitos G y H es continuo siempre que G se genere topológicamente de forma finita. De hecho, cualquier subgrupo abierto de H es de índice finito, por lo que su preimagen en G también es de índice finito, por lo que debe estar abierto.
- Suponga que G y H son grupos profinitos topológicamente generados de forma finita que son isomorfos como grupos discretos por un isomorfismo ι. Entonces ι es biyectiva y continua por el resultado anterior. Además, ι −1 también es continuo, por lo que ι es un homeomorfismo. Por lo tanto, la topología de un grupo de profinitas generado topológicamente de forma finita está determinada únicamente por su estructura algebraica .
Finalización lucrativa
Dado un grupo arbitrario , hay un grupo afincado relacionado , la realización profinita de. [3] Se define como el límite inverso de los grupos., dónde recorre los subgrupos normales ende índice finito (estos subgrupos normales están parcialmente ordenados por inclusión, lo que se traduce en un sistema inverso de homomorfismos naturales entre los cocientes). Hay un homomorfismo natural., y la imagen de bajo este homomorfismo es denso en. El homomorfismo es inyectable si y solo si el grupo es residualmente finito (es decir,, donde la intersección atraviesa todos los subgrupos normales de índice finito). El homomorfismose caracteriza por la siguiente propiedad universal : dado cualquier grupo lucrativo y cualquier homomorfismo de grupo , existe un homomorfismo grupal continuo único con .
Grupos ind-finitos
Existe una noción de grupo ind-finito , que es el dual conceptual de los grupos profinitos; es decir, un grupo G es ind-finito si es el límite directo de un sistema inductivo de grupos finitos. (En particular, es un grupo ind .) La terminología habitual es diferente: un grupo G se llama localmente finito si cada subgrupo generado finitamente es finito. Esto es equivalente, de hecho, a ser 'ind-finito'.
Al aplicar la dualidad de Pontryagin , se puede ver que los grupos abelianos profinitos están en dualidad con grupos abelianos discretos localmente finitos. Estos últimos son solo los grupos de torsión abelianos .
Grupos profinitos proyectivos
Un grupo lucrativo es proyectivo si tiene la propiedad de elevación para cada extensión. Esto es equivalente a decir que G es proyectivo si para cada morfismo sobreyectiva de un profinito H → G hay una sección G → H . [5] [6]
La proyectividad para un grupo profinito G es equivalente a cualquiera de las dos propiedades: [5]
- la dimensión cohomológica cd ( G ) ≤ 1;
- para cada primo p los Sylow p -subgroups de G son gratuitas pro p -grupos.
Cada grupo profinito proyectivo puede realizarse como un grupo de Galois absoluto de un campo pseudoalgebraicamente cerrado . Este resultado se debe a Alexander Lubotzky y Lou van den Dries . [7]
Grupo procíclico
Un grupo lucrativo es procíclico si es generado topológicamente por un solo elemento es decir, del subgrupo . [8]
Un grupo topológico es procíclico iff dónde rangos sobre todos los primos racionales y es isomorfo a cualquiera o . [9]
Ver también
- Grupo cíclico local
- Grupo pro-p
- Entero profinito
- Propiedad residual (matemáticas)
- Grupo residual finito
- Finalización de Hausdorff
Referencias
- ^ 1944-, Wilson, John S. (John Stuart) (1998). Grupos lucrativos . Oxford: Clarendon Press. ISBN 9780198500827. OCLC 40658188 .CS1 maint: nombres numéricos: lista de autores ( enlace )
- ^ Lenstra, Hendrik. "Grupos profesionales" (PDF) . Universidad de Leiden .
- ^ a b Osserman, Brian. "Límites inversos y grupos lucrativos" (PDF) . Universidad de California, Davis . Archivado desde el original (PDF) el 26 de diciembre de 2018.
- ^ Fried y Jarden (2008) p. 497
- ↑ a b Serre (1997) p. 58
- ^ Fried y Jarden (2008) p. 207
- ^ Fried y Jarden (2008) págs. 208,545
- ^ Neukirch, Jürgen (1999). Teoría algebraica de números . Grundlehren der mathischen Wissenschaften. 322 . Berlín, Heidelberg: Springer Berlin Heidelberg. doi : 10.1007 / 978-3-662-03983-0 . ISBN 978-3-642-08473-7.
- ^ "MO. decomposition of procyclic groups". MathOverflow.
- Fried, Michael D.; Jarden, Moshe (2008). Field arithmetic. Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. 11 (3rd revised ed.). Springer-Verlag. ISBN 978-3-540-77269-9. Zbl 1145.12001.
- Nikolov, Nikolay; Segal, Dan (2006). "On finitely generated profinite groups. I. strong completeness and uniform bounds". arXiv:math.GR/0604399..
- Nikolov, Nikolay; Segal, Dan (2006). "On finitely generated profinite groups. II. products in quasisimple groups". arXiv:math.GR/0604400..
- Lenstra, Hendrik (2003), Profinite Groups (PDF), talk given at Oberwolfach.
- Lubotzky, Alexander (2001), "Book Review", Bulletin of the American Mathematical Society, 38 (4): 475–479, doi:10.1090/S0273-0979-01-00914-4. Review of several books about profinite groups.
- Serre, Jean-Pierre (1994), Cohomologie galoisienne, Lecture Notes in Mathematics (in French), 5 (5 ed.), Springer-Verlag, ISBN 978-3-540-58002-7, MR 1324577, Zbl 0812.12002. Serre, Jean-Pierre (1997), Galois cohomology, Translated by Patrick Ion, Springer-Verlag, ISBN 3-540-61990-9, Zbl 0902.12004
- Waterhouse, William C. (1974), "Profinite groups are Galois groups", Proceedings of the American Mathematical Society, American Mathematical Society, 42 (2): 639–640, doi:10.2307/2039560, JSTOR 2039560, Zbl 0281.20031.