Argumento de Eckmann-Hilton

En matemática, el argumento ( o principio o teorema) de Eckmann-Hilton es un argumento acerca de pares de estructuras de monoide sobre un conjunto donde uno es un homomorfismo para el otro. Dado esto, se puede mostrar que las estructuras coinciden, y el monoide resultante es, demostrablemente, conmutativo. Esto puede usarse para probar la conmutatividad de los grupos de homotopía superiores.

Presentación

Como será evidente después, es muy inconveniente postular la existencia de identidades en el tratamiento básico del argumento. Por tanto comenzamos con magmas, con el objetivo de apuntar a estructuras monoidales conmutativas.

Other Languages