Академический Документы
Профессиональный Документы
Культура Документы
En matemática, un grupo pro-finito G es un grupo que, en cierto modo, está muy "próximo" a ser finito.
Índice
Definición
Ejemplos
Propiedades
Grupos Ind-finitos
Véase también
Enlaces externos
Definición
Formalmente, un grupo pro-finito es límite inverso de grupos finitos. En concreto, es pro-finito si existe un conjunto dirigido
, una colección de grupos finitos , y homomorfismos para cada par de elementos con ,
que satisfacen
para todo
para todos los con
con la propiedades:
a componente.
Es posible verlos por tanto como grupos topológicos de manera natural: cada uno de los grupos finitos está dotado de la topología
discreta, y como G es un subconjunto del producto de aquellos espacios discretos, hereda cierta topología que lo convierte en un
grupo topológico.
Ejemplos
Cada grupo finito es trivialmente pro-finito. Los ejemplos más importantes de grupos pro-finitos son los enteros p-ádicos. La
Teoría de Galois de las extensiones de cuerpos de grado infinito hace surgir de forma natural los grupos de Galois que resultan ser
pro-finitos. Los grupos fundamentales que son tratados por la Geometría algebraica son también pro-finitos, debido a que,
hablando rápidamente, el álgebra sólo puede 'ver' recubrimientos finitos de una variedad algebraica.
Propiedades
Cada grupo pro-finito es un Espacio de Hausdorff compacto: ya que todos los espacios finitos discretos son de Hausdorff, su
producto será un espacio compacto de Hausdorff por el Teorema de Tychonoff. G es un conjunto cerrado de este producto y por
tanto es también compacto y de Hausdorff.
Todo grupo pro-finito es totalmente disconexo y más aún: un grupo topológico es pro-finito si y solamente si es Hausdorff,
compacto y totalmente disconexo.
Grupos Ind-finitos
Existe la noción de grupo ind-finito, que es la dual de grupo pro-finito. Será por tanto un grupo G que es el límite directo de
grupos finitos. La terminología usual es sin embargo diferente: un grupo G es llamado localmente finito si cada subgrupo
finitamente generado es finito. De hecho esto es equivalente a ser ind-finito.
Aplicando la dualidad de Pontryagin, uno puede ver que los grupos abelianos pro-finitos son los duales de los grupos abelianos
discretos localmente finitos. Estos últimos son precisamente los grupos de torsión abelianos.
Véase también
Grupo localmente cíclico
Enlaces externos
Profinite group (http://planetmath.org/3134) en PlanetMath.
Obtenido de «https://es.wikipedia.org/w/index.php?title=Grupo_profinito&oldid=99390010»
Esta página se editó por última vez el 25 may 2017 a las 17:44.
El texto está disponible bajo la Licencia Creative Commons Atribución Compartir Igual 3.0; pueden aplicarse
cláusulas adicionales. Al usar este sitio, usted acepta nuestros términos de uso y nuestra política de privacidad.
Wikipedia® es una marca registrada de la Fundación Wikimedia, Inc., una organización sin ánimo de lucro.