Un procedimiento constructivo que, dado un grupo G con presentación finita y un transversal elegido de cosets para un subgrupo H ≤ G, produce una presentación de H reescribiendo generadores y relaciones de G en relación con el transversal.

Principio

Reescribir los reladores del grupo a lo largo de un transversal de cosets para expresar los elementos del subgrupo como palabras en un nuevo conjunto de generadores; reemplazar sistemáticamente ocurrencias de los generadores originales por sus conjugados indexados por representantes de cosets para obtener las relaciones del subgrupo.

Demostración

Comenzar con G = ⟨S | R⟩ y un subgrupo de índice 2 H dado por el núcleo de un homomorfismo a C2; elegir representantes de cosets {1, t}, formar generadores de Schreier {t s t^{-1} o s} para s ∈ S y reescribir cada r ∈ R en palabras en esos generadores para obtener una presentación de H.

Aplicación incorrecta

Aplicar el procedimiento sin fijar un transversal o cuando G no está finitamente presentado puede generar conjuntos de generadores ingobernables o infinitos y llevar a afirmaciones equivocadas de presentabilidad finita.

Consecuencia

Cuando se aplica a un subgrupo de índice finito en un grupo finitamente presentado, el método produce explícitamente un conjunto finito de generadores y reladores para el subgrupo, demostrando su presentabilidad finita y proporcionando acceso algorítmico a su estructura.

Inversión

En lugar de derivar una presentación del subgrupo a partir de la presentación del supergrupo, puede intentarse reconstruir la presentación del supergrupo a partir de la presentación de un subgrupo y los datos de la acción sobre cosets; esto invierte la dirección de la reescritura y requiere datos de extensión más que de restricción.

Límite

El método presupone una presentación del grupo ambiente y la elección de un transversal de cosets; no garantiza resultados finitos para subgrupos arbitrarios (los subgrupos de índice infinito pueden producir infinitos generadores de Schreier) y no sustituye a los resultados de existencia cuando no hay transversal o presentación finita disponible.

Tensión semántica

La tensión semántica aparece entre este enfoque combinatorio y explícito de reescritura y los teoremas abstractos de existencia que afirman propiedades estructurales sin construir generadores y reladores.

Síntesis

El Método de Reidemeister–Schreier es un algoritmo de reescritura concreto que transforma una presentación de un grupo finitamente presentado, con un transversal de cosets, en una presentación para un subgrupo, sustituyendo reladores globales por generadores y reladores indexados que codifican la estructura del subgrupo.