¿Cuál es un ejemplo sencillo de grupo parcialmente ordenado no abeliano?
@Gejza, muy buen ejemplo. Muchas gracias.
¿Cuál es un ejemplo sencillo de grupo parcialmente ordenado no abeliano?
I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.
0 votos
Pregunta en el título y pregunta en el cuerpo de la pregunta para no coincidir.
2 votos
$S_3$ es no abeliana y si le damos la ordenación trivial (cada elemento es $\leq$ cualquier otro elemento) hemos terminado. Si quieres un ordenamiento no trivial, deja que $x \leq y$ si $x$ y $y$ tienen el mismo signo.
0 votos
@Julien Clancy: Esto no es un orden parcial, porque no es una relación antisimétrica.
0 votos
@GejzaJenca Ver es.wikipedia.org/wiki/Grupo_parcialmente_ordenado
0 votos
@Julien Clancy Me he referido a la segunda parte de tu comentario. "Tener el mismo signo" es claramente una relación de equivalencia no trivial, por lo que es no antisimétrico.
0 votos
@GejzaJenca No veo ningún requisito de antisimetría en la entrada de la Wikipedia.
0 votos
@JulienClancy Hay que profundizar: es.wikipedia.org/wiki/Ordenamiento_parcial#Definición_formal
0 votos
@GejzaJenca Lo vi antes y asumí por alguna razón que era inconveniente tener antisimetría en grupos parcialmente ordenados. Pero me fiaré más de tus conocimientos sobre grupos que de los míos y gracias por la aclaración.
0 votos
Más información sobre Math Overflow en ¿Qué es un grupo totalmente ordenado no abeliano? especialmente en la obra de Rolfsen Grupos ordenados y topología . El ejemplo más sencillo de un grupo no abeliano con un total parece ser el grupo libre sobre dos generadores, pero la prueba no es obvia.