En matemáticas, un grupo ordenado cíclicamente es un conjunto con estructura de grupo y orden cíclico, de modo que la multiplicación por la izquierda y por la derecha conservan el orden cíclico.
Los grupos ordenados cíclicamente fueron estudiados en profundidad por primera vez por Ladislav Rieger en 1947. Son una generalización de los grupos cíclicos: el grupo cíclico y el grupo cíclico . Dado que un orden total induce un orden cíclico, los grupos ordenados cíclicamente también son una generalización de los grupos ordenados linealmente, como los números racionales o los números reales . Algunos de los grupos ordenados cíclicamente más importantes no entran en ninguna de las categorías anteriores: el grupo circular y sus subgrupos, como el subgrupo de puntos racionales.
Cocientes de grupos lineales Es natural representar grupos ordenados cíclicamente como cocientes, dado que se tiene que y . Incluso un grupo considerado lineal, como , cuando se convierte en un círculo, puede considerarse como . Rieger (1946, 1947 y 1948) demostró que esta imagen es un fenómeno genérico. Para cualquier grupo ordenado y cualquier elemento central que genere un subgrupo cofinal de , el grupo cociente es un grupo ordenado cíclicamente. Además, todo grupo ordenado cíclicamente puede expresarse como un grupo cociente.
El grupo circular aprovechó los resultados de Rieger en otra dirección. Dado un grupo ordenado cíclicamente y un grupo ordenado , el producto es un grupo ordenado cíclicamente. En particular, si es el grupo circular y es un grupo ordenado, entonces cualquier subgrupo de es un grupo ordenado cíclicamente. Además, cada grupo ordenado cíclicamente se puede expresar como un subgrupo de dicho producto con .
Por analogía con un grupo arquimediano ordenado linealmente, se puede definir un grupo de Arquímedes ordenado cíclicamente como un grupo que no contiene ningún par de elementos tales que para cada número entero positivo. Dado que solo se consideran los positivos, esta es una condición más fuerte que su contraparte lineal. Por ejemplo, ya no se ajusta a la definición, ya que se tiene que para cada .
Como corolario de la demostración de Świerczkowski, cada grupo ordenado cíclicamente de Arquímedes es un subgrupo del propio . Este resultado es análogo al teorema de 1901 de Otto Hölder de que todo grupo de Arquímedes ordenado linealmente es un subgrupo de ., citado desde
Topología Cada grupo compacto ordenado cíclicamente es un subgrupo de .
Estructuras relacionadas demostró que una cierta subcategoría de grupos ordenados cíclicamente, los "grupos Ic proyectables con unidad débil", es equivalente para una determinada subcategoría de MV álgebra, las "álgebras MV proyectables".
Referencias
Bibliografía
Lecturas adicionales
(Enlace roto: agosto de 2017) (Enlace roto: agosto de 2017)
. Traducción de
. Traducción de Sibirskii Matematicheskii Zhurnal, 46–53
Categoría:Grupos ordenados Categoría:Círculos