En la teoría de grupos , una rama de las matemáticas, el teorema de Nielsen-Schreier establece que cada subgrupo de un grupo libre es en sí mismo libre. [1] [2] [3] Su nombre se debe a Jakob Nielsen y Otto Schreier .
Un grupo libre puede definirse a partir de una presentación de grupo que consiste en un conjunto de generadores sin relaciones. Es decir, cada elemento es un producto de alguna secuencia de generadores y sus inversos, pero estos elementos no obedecen a ninguna ecuación excepto las que se siguen trivialmente de gg −1 = 1. Los elementos de un grupo libre pueden describirse como todas las posibles palabras reducidas , aquellas cadenas de generadores y sus inversos en las que ningún generador es adyacente a su propio inverso. Dos palabras reducidas pueden multiplicarse concatenándolas y luego eliminando cualquier par generador-inverso que resulte de la concatenación.
El teorema de Nielsen-Schreier establece que si H es un subgrupo de un grupo libre G , entonces H es en sí mismo isomorfo a un grupo libre. Es decir, existe un conjunto S de elementos que generan H , sin que existan relaciones no triviales entre los elementos de S .
La fórmula de Nielsen-Schreier , o fórmula del índice de Schreier , cuantifica el resultado en el caso en que el subgrupo tiene índice finito: si G es un grupo libre de rango n (libre en n generadores), y H es un subgrupo de índice finito [ G : H ] = e , entonces H es libre de rango . [4]
Sea G el grupo libre con dos generadores , y sea H el subgrupo que consiste en todas las palabras reducidas de longitud par (productos de un número par de letras ). Entonces H es generado por sus seis elementos Una factorización de cualquier palabra reducida en H en estos generadores y sus inversos puede construirse simplemente tomando pares consecutivos de letras en la palabra reducida. Sin embargo, esta no es una presentación libre de H porque los últimos tres generadores pueden escribirse en términos de los primeros tres como . Más bien, H es generado como un grupo libre por los tres elementos que no tienen relaciones entre ellos; o en cambio por varios otros triples de los seis generadores. [5] Además, G es libre en n = 2 generadores, H tiene índice e = [ G : H ] = 2 en G , y H es libre en 1 + e ( n –1) = 3 generadores. El teorema de Nielsen-Schreier establece que, al igual que H , cada subgrupo de un grupo libre puede generarse como un grupo libre, y si el índice de H es finito, su rango está dado por la fórmula del índice.
Una prueba corta del teorema de Nielsen-Schreier utiliza la topología algebraica de grupos fundamentales y espacios de recubrimiento . [1] Un grupo libre G en un conjunto de generadores es el grupo fundamental de un ramo de círculos , un grafo topológico X con un solo vértice y con una arista de bucle para cada generador. [6] Cualquier subgrupo H del grupo fundamental es en sí mismo el grupo fundamental de un espacio de recubrimiento conexo Y → X. El espacio Y es un grafo topológico (posiblemente infinito), el grafo de clases laterales de Schreier tiene un vértice para cada clase lateral en G/H . [7] En cualquier grafo topológico conexo, es posible encoger las aristas de un árbol de expansión del grafo, produciendo un ramo de círculos que tiene el mismo grupo fundamental H. Dado que H es el grupo fundamental de un ramo de círculos, es en sí mismo libre. [6]
El rango de H se puede calcular utilizando dos propiedades de la característica de Euler que se desprenden inmediatamente de su definición. La primera propiedad es que la característica de Euler de un racimo de s círculos es 1 - s . La segunda propiedad es la multiplicidad en espacios de recubrimiento : si Y es un recubrimiento de grado d de X , entonces
.
Supongamos ahora que H es un subgrupo del grupo libre G , con índice [G:H] = e . La parte anterior de la prueba muestra que H es un grupo libre; sea r el rango de H . Aplicando las dos propiedades de la característica de Euler para el grafo de recubrimiento Y correspondiente a H se obtiene lo siguiente:
y
Combinando estas ecuaciones, obtenemos
Esta prueba aparece en el Curso Conciso de May . [8] Una prueba equivalente que utiliza homología y el primer número de Betti de Y se debe a Reinhold Baer y Friedrich Levi (1936). La prueba original de Schreier forma el grafo de Schreier de una manera diferente como un cociente del grafo de Cayley de G módulo la acción de H. [ 9]
Según el lema del subgrupo de Schreier , se puede construir un conjunto de generadores para una presentación libre de H a partir de ciclos en el gráfico de cobertura formado concatenando una ruta de árbol de expansión desde un punto base (la clase lateral de la identidad) a una de las clases laterales, un único borde que no es de árbol y una ruta de árbol de expansión inversa desde el otro punto final del borde hasta el punto base. [10] [9]
Aunque se conocen varias demostraciones diferentes del teorema de Nielsen-Schreier, todas ellas dependen del axioma de elección . En la demostración basada en grupos fundamentales de ramos, por ejemplo, el axioma de elección aparece bajo la apariencia de la afirmación de que todo grafo conexo tiene un árbol generador. El uso de este axioma es necesario, ya que existen modelos de la teoría de conjuntos de Zermelo-Fraenkel en los que tanto el axioma de elección como el teorema de Nielsen-Schreier son falsos. El teorema de Nielsen-Schreier, a su vez, implica una versión más débil del axioma de elección, para conjuntos finitos. [11] [12]
El teorema de Nielsen-Schreier es un análogo no abeliano de un resultado más antiguo de Richard Dedekind , según el cual cada subgrupo de un grupo abeliano libre es abeliano libre . [3]
Jakob Nielsen (1921) demostró originalmente una forma restringida del teorema, afirmando que cualquier subgrupo finitamente generado de un grupo libre es libre. Su demostración implica realizar una secuencia de transformaciones de Nielsen en el conjunto generador del subgrupo que reducen su longitud (como palabras reducidas en el grupo libre del que se extraen). [1] [13] Otto Schreier demostró el teorema de Nielsen-Schreier en su generalidad completa en su tesis de habilitación de 1926 , Die Untergruppen der freien Gruppe , también publicada en 1927 en Abh. math. Sem. Hamburg. Univ. [14] [15]
La prueba topológica basada en grupos fundamentales de ramos de círculos se debe a Reinhold Baer y Friedrich Levi (1936). Otra prueba topológica, basada en la teoría de Bass-Serre de acciones de grupo sobre árboles , fue publicada por Jean-Pierre Serre (1970). [16]
{{citation}}
: Mantenimiento de CS1: falta la ubicación del editor ( enlace ).