## [Enumeración de Cosets](/es/node/62344) Definición Proceso algorítmico, notablemente el método Todd–Coxeter, para listar o contar cosets distintos (izquierdos o derechos) de un subgrupo H en un grupo ambiente G dado por una presentación; la salida puede ser una tabla de cosets, el índice o una acción por permutaciones sobre los cosets. ## Principio Principio Construir sistemáticamente una tabla de cosets introduciendo símbolos de coset y aplicando generadores, relaciones y la definición del subgrupo para identificar y fusionar cosets hasta cerradura o contradicción; la estrategia Todd–Coxeter propaga las identificaciones hasta que no aparece nueva información o fallan las condiciones de terminación. ## Demostración Demostración Usando una presentación de un grupo finito G y un subgrupo H de índice finito, ejecutar el procedimiento Todd–Coxeter para rellenar una tabla de cosets; por ejemplo, enumerar los cosets de un subgrupo de índice 6 produce una tabla con seis etiquetas de coset y la representación por permutaciones inducida de G sobre esas etiquetas. ## Aplicación incorrecta Aplicación incorrecta Aplicar la enumeración de cosets a ciegas a un subgrupo de índice infinito o a una presentación mal escogida e interpretar la no terminación como fracaso de existencia; la no terminación puede depender de la presentación o del algoritmo y no de la finitud del subgrupo. ## Consecuencia Consecuencia Cuando tiene éxito, la enumeración de cosets proporciona el índice [G:H], representantes explícitos de cosets y a menudo una representación por permutaciones de G sobre los cosets, lo que ayuda en la exploración del retículo de subgrupos y en las acciones computacionales de grupos. ## Inversión Inversión En lugar de enumerar los cosets de H en G, enumerar los cosets de G en un sobregrupo mayor o enumerar cosets dobles H\G/K; la inversión cambia el objetivo desde el índice de un subgrupo hacia las relaciones entre subgrupos o sobregrupos. ## Límite Límite Eficaz cuando H tiene índice finito o cuando la presentación admite terminación; los recursos computacionales y la elección de presentación pueden impedir la finalización; no proporciona por sí sola propiedades estructurales de H más allá del índice y la acción sin cálculos adicionales. ## Tensión semántica Tensión semántica Enumeración de cosets frente a métodos de Reidemeister–Schreier y grafos de Schreier: la enumeración construye tablas explícitas e índices, mientras que las técnicas de Schreier generan presentaciones de subgrupos—ambas se solapan pero responden a preguntas distintas. ## Síntesis Síntesis La enumeración de cosets construye algorítmicamente el conjunto de cosets de un subgrupo ampliando e identificando etiquetas de coset bajo las relaciones de los generadores; cuando termina para índice finito se obtiene una tabla de cosets, el índice y la acción, convirtiendo datos de presentación en información combinatoria explícita sobre la posición del subgrupo.