En la teoría de grupos , una rama de las matemáticas , el proceso de recolección del conmutador es un método para escribir un elemento de un grupo como producto de los generadores y sus conmutadores superiores dispuestos en un cierto orden. El proceso de recolección del conmutador fue introducido por Philip Hall en 1934 [1] y articulado por Wilhelm Magnus en 1937. [2] El proceso a veces se denomina "proceso de recolección".
El proceso se puede generalizar para definir un subconjunto totalmente ordenado de un álgebra libre no asociativa, es decir, un magma libre ; este subconjunto se denomina conjunto Hall . Los miembros del conjunto Hall son árboles binarios ; estos se pueden colocar en correspondencia uno a uno con palabras, llamándose palabras de pasillo ; las palabras de Lyndon son un caso especial. Los conjuntos de Hall se utilizan para construir una base para un álgebra de Lie libre , de forma totalmente análoga al proceso de recopilación de conmutadores. Las palabras Hall también proporcionan una factorización única de monoides .
El proceso de recolección del conmutador generalmente se establece para grupos libres , ya que un teorema similar se aplica a cualquier grupo escribiéndolo como un cociente de un grupo libre.
Suponga que F 1 es un grupo libre en los generadores a 1 , ..., a m . Defina la serie central descendente poniendo
Los conmutadores se ordenan de modo que x > y si x tiene un peso mayor que el de y , y para conmutadores de cualquier peso fijo se elige algún orden total.
Entonces F n / F n +1 es un grupo abeliano libre finitamente generado con una base que consta de conmutadores básicos de peso n .