Recuerdo haber visto una vez un conmutativo el diagrama que explica la estructura del grupo. Donde la asociatividad, elemento de identidad, inversa de la multiplicación y todo se muestra en una singular diagrama, es trivial dispositivo de diagramas para cada cosa por separado pero me gusta la pulcritud de tener todo condenced en un singular diagrama.
Yo podría estar recordando mal, pero estoy bastante seguro de que existe. Así que mi pregunta es ¿cómo se podía hacer un diagrama conmutativo que retratan a los axiomas de los grupos? He empezado con los simples y me acabo de quedar atascado como yo trato a atarlos juntos.
