Ha pasado un tiempo desde que hice cosas con grupos. Tengo un cierto grupo que tiene la siguiente propiedad:
para cada en el grupo
Estoy tratando de probar su abelian. Pero me enredé un poco aquí.
Digamos que multiplico ambos lados desde la derecha por
Entonces obtengo:
así que sé que
Pero no estoy seguro de adónde me lleva esto.
Otra opción que probé es mirar , pero no me llevó a ninguna parte.
Siento que voy en círculos y que no es algo complicado, solo que me falta algo.
si siempre tienes , entonces, en particular, , Lo que significa que . Entonces, , para cada . Así que si ,
Dejar . Entonces por la propiedad, de modo que . Ahora para cualquier , tenemos
entonces si multiplicamos a la izquierda por y a la derecha por , obtenemos
Por eso es abeliano.
Dietrich Burde