Grupo ordenado cíclicamente
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.[1] Son una generalización de los grupos cíclicos: el grupo cíclico Z y el grupo cíclico Z/n. 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 Q o los números reales R. Algunos de los grupos ordenados cíclicamente más importantes no entran en ninguna de las categorías anteriores: el grupo circular T y sus subgrupos, como el subgrupo de puntos racionales.
Cocientes de grupos lineales
[editar]Es natural representar grupos ordenados cíclicamente como cocientes, dado que se tiene que Zn= Z/nZ y T= R/Z. Incluso un grupo considerado lineal, como Z, cuando se convierte en un círculo, puede considerarse como Z2 / Z. Rieger (1946,[2] 1947[3] y 1948[4]) demostró que esta imagen es un fenómeno genérico. Para cualquier grupo ordenado L y cualquier elemento central z que genere un subgrupo cofinal Z de L, el grupo cociente L / Z es un grupo ordenado cíclicamente. Además, todo grupo ordenado cíclicamente puede expresarse como un grupo cociente.[5]
El grupo circular
[editar]Świerczkowski (1959a) aprovechó los resultados de Rieger en otra dirección. Dado un grupo ordenado cíclicamente K y un grupo ordenado L, el producto K × L es un grupo ordenado cíclicamente. En particular, si T es el grupo circular y L es un grupo ordenado, entonces cualquier subgrupo de T × L es un grupo ordenado cíclicamente. Además, cada grupo ordenado cíclicamente se puede expresar como un subgrupo de dicho producto con T.[6]
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 x, y tales que [e, xn, y] para cada número entero n positivo.[6] Dado que solo se consideran los n positivos, esta es una condición más fuerte que su contraparte lineal. Por ejemplo, Z ya no se ajusta a la definición, ya que se tiene que [0, n, −1] para cada n.
Como corolario de la demostración de Świerczkowski, cada grupo ordenado cíclicamente de Arquímedes es un subgrupo del propio T.[6] 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 R.[7]
Topología
[editar]Cada grupo compacto ordenado cíclicamente es un subgrupo de T.
Estructuras relacionadas
[editar]Gluschankof (1993) 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".[8]
Referencias
[editar]- ↑ Pecinová-Kozáková, 2005, p. 194.
- ↑ (Rieger, 1946)
- ↑ (Rieger, 1947)
- ↑ (Rieger, 1948)
- ↑ Świerczkowski, 1959a, p. 162.
- ↑ a b c Świerczkowski, 1959a, pp. 161–162.
- ↑ Hölder, 1901, citado desde Hofmann y Lawson, 1996, pp. 19, 21, 37
- ↑ Gluschankof, 1993, p. 261.
Bibliografía
[editar]- Gluschankof, Daniel (1993), «Cyclic ordered groups and MV-algebras», Czechoslovak Mathematical Journal 43 (2): 249-263, doi:10.21136/CMJ.1993.128391, consultado el 30 de abril de 2011.
- Hofmann, Karl H.; Lawson, Jimmie D. (1996), «A survey on totally ordered semigroups», en Hofmann, Karl H.; Mislove, Michael W., eds., Semigroup theory and its applications: proceedings of the 1994 conference commemorating the work of Alfred H. Clifford, London Mathematical Society Lecture Note Series 231, Cambridge University Press, pp. 15-39, ISBN 978-0-521-57669-7.
- Pecinová-Kozáková, Eliška (2005), «Ladislav Svante Rieger and His Algebraic Work», en Safrankova, Jana, ed., WDS 2005 - Proceedings of Contributed Papers, Part I, Prague: Matfyzpress, pp. 190-197, ISBN 978-80-86732-59-6, «citeseerx: 10.1.1.90.2398».
- Świerczkowski, S. (1959a), «On cyclically ordered groups», Fundamenta Mathematicae 47 (2): 161-166, doi:10.4064/fm-47-2-161-166, consultado el 2 de mayo de 2011.
Lecturas adicionales
[editar]- Černák, Štefan (1989a), «Completion and Cantor extension of cyclically ordered groups», en Hałkowska, Katarzyna; Stawski, Boguslaw, eds., Universal and Applied Algebra (Turawa, 1988), World Scientific, pp. 13-22, ISBN 978-9971-5-0837-1, MR 1084391.
- Černák, Štefan (1989b), «Cantor extension of an Abelian cyclically ordered group», Mathematica Slovaca 39 (1): 31-41, hdl:10338.dmlcz/128948, consultado el 21 de mayo de 2011.
- Černák, Štefan (1991), «On the completion of cyclically ordered groups», Mathematica Slovaca 41 (1): 41-49, hdl:10338.dmlcz/131783, consultado el 22 de mayo de 2011.
- Černák, Štefan (1995), «Lexicographic products of cyclically ordered groups», Mathematica Slovaca 45 (1): 29-38, hdl:10338.dmlcz/130473, consultado el 21 de mayo de 2011.
- Černák, Štefan (2001), «Cantor extension of a half linearly cyclically ordered group», Discussiones Mathematicae - General Algebra and Applications 21 (1): 31-46, doi:10.7151/dmgaa.1025, consultado el 22 de mayo de 2011. (Enlace roto: agosto de 2017)
- Černák, Štefan (2002), «Completion of a half linearly cyclically ordered group», Discussiones Mathematicae - General Algebra and Applications 22 (1): 5-23, doi:10.7151/dmgaa.1043, consultado el 22 de mayo de 2011. (Enlace roto: agosto de 2017)
- Černák, Štefan; Jakubík, Ján (1987), «Completion of a cyclically ordered group», Czechoslovak Mathematical Journal 37 (1): 157-174, MR 875137, Zbl 0624.06021, doi:10.21136/CMJ.1987.102144, hdl:10338.dmlcz/102144.
- Fuchs, László (1963), «IV.6. Cyclically ordered groups», Partially ordered algebraic systems, International series of monographs in pure and applied mathematics 28, Pergamon Press, pp. 61-65, LCC QA171 .F82 1963.
- Giraudet, M.; Kuhlmann, F.-V.; Leloup, G. (February 2005), «Formal power series with cyclically ordered exponents», Archiv der Mathematik 84 (2): 118-130, S2CID 16156556, doi:10.1007/s00013-004-1145-5, consultado el 30 de abril de 2011, «citeseerx: 10.1.1.6.5601».
- Harminc, Matúš (1988), «Sequential convergences on cyclically ordered groups», Mathematica Slovaca 38 (3): 249-253, hdl:10338.dmlcz/128594, consultado el 21 de mayo de 2011.
- Hölder, O. (1901), «Die Axiome der Quantität und die Lehre vom Mass», Berichte über die Verhandlungen der Königlich Sachsischen Gesellschaft der Wissenschaften zu Leipzig, Mathematische-Physicke Klasse 53: 1-64.
- Jakubík, Ján (1989), «Retracts of abelian cyclically ordered groups», Archivum Mathematicum 25 (1): 13-18, hdl:10338.dmlcz/107334, consultado el 21 de mayo de 2011.
- Jakubík, Ján (1990), «Cyclically ordered groups with unique addition», Czechoslovak Mathematical Journal 40 (3): 534-538, doi:10.21136/CMJ.1990.102406, hdl:10338.dmlcz/102406.
- Jakubík, Ján (1991), «Completions and closures of cyclically ordered groups», Czechoslovak Mathematical Journal 41 (1): 160-169, MR 1087637, doi:10.21136/CMJ.1991.102447, hdl:10338.dmlcz/102447, consultado el 21 de mayo de 2011.
- Jakubík, Ján (1998), «Lexicographic product decompositions of cyclically ordered groups», Czechoslovak Mathematical Journal 48 (2): 229-241, S2CID 55134686, doi:10.1023/A:1022881202595, hdl:10338.dmlcz/127413, consultado el 21 de mayo de 2011.
- Jakubík, Ján (2002), «On half cyclically ordered groups», Czechoslovak Mathematical Journal 52 (2): 275-294, S2CID 117967332, doi:10.1023/A:1021718426347, hdl:10338.dmlcz/127716, consultado el 22 de mayo de 2011.
- Jakubík, Ján (2008), «Sequential convergences on cyclically ordered groups without Urysohn's axiom», Mathematica Slovaca 58 (6): 739-754, doi:10.2478/s12175-008-0105-0.
- Jakubík, Ján; Pringerová, Gabriela (1988), «Representations of cyclically ordered groups», Časopis Pro Pěstování Matematiky 113 (2): 184-196, doi:10.21136/CPM.1988.118342, hdl:10338.dmlcz/118342, consultado el 30 de abril de 2011.
- Jakubík, Ján; Pringerová, Gabriela (1988), «Radical classes of cyclically ordered groups», Mathematica Slovaca 38 (3): 255-268, hdl:10338.dmlcz/129356, consultado el 30 de abril de 2011.
- Jakubík, Ján; Pringerová, Gabriela (1994), «Direct limits of cyclically ordered groups», Czechoslovak Mathematical Journal 44 (2): 231-250, doi:10.21136/CMJ.1994.128465, hdl:10338.dmlcz/128465, consultado el 21 de mayo de 2011.
- Leloup, Gérard (2007), «Cyclically valued rings and formal power series», Annales Mathématiques Blaise Pascal 14 (1): 37-60, doi:10.5802/ambp.226, consultado el 30 de abril de 2011.
- Lenz, Hanfried (1967), «Zur Begründung der Winkelmessung», Mathematische Nachrichten 33 (5–6): 363-375, doi:10.1002/mana.19670330510.
- Luce, R. Duncan (1971), «Periodic extensive measurement», Compositio Mathematica 23 (2): 189-198, consultado el 22 de mayo de 2011.
- Oltikar, B. C. (March 1980). «Right cyclically ordered groups». Canadian Mathematical Bulletin 23 (1): 67-70. MR 0573560. doi:10.4153/CMB-1980-009-3.
- Pecinová, Eliška (2008), Ladislav Svante Rieger (1916–1963), Dějiny matematiky (en czech) 36, Prague: Matfyzpress, ISBN 978-80-7378-047-0, hdl:10338.dmlcz/400757, consultado el 9 de mayo de 2011.
- Rieger, L. S. (1946), «О uspořádaných a cyklicky uspořádaných grupách I (On ordered and cyclically ordered groups I)», Věstník Královské české Spolecnosti Nauk, Třída Mathematicko-přírodovědná (Journal of the Royal Czech Society of Sciences, Mathematics and Natural History) (en czech) (6): 1-31.
- Rieger, L. S. (1947), «О uspořádaných a cyklicky uspořádaných grupách II (On ordered and cyclically ordered groups II)», Věstník Královské české Spolecnosti Nauk, Třída Mathematicko-přírodovědná (Journal of the Royal Czech Society of Sciences, Mathematics and Natural History) (en czech) (1): 1-33.
- Rieger, L. S. (1948), «О uspořádaných a cyklicky uspořádaných grupách III (On ordered and cyclically ordered groups III)», Věstník Královské české Spolecnosti Nauk, Třída Mathematicko-přírodovědná (Journal of the Royal Czech Society of Sciences, Mathematics and Natural History) (en czech) (1): 1-22.
- Roll, J. Blair (1976), On manipold groups: a generalization of the concept of cyclically ordered groups, Bowling Green State University, OCLC 3193754.
- Roll, J. Blair (1993), «Locally partially ordered groups», Czechoslovak Mathematical Journal 43 (3): 467-481, doi:10.21136/CMJ.1993.128411, hdl:10338.dmlcz/128411, consultado el 30 de abril de 2011.
- Vinogradov, A. A. (1970), «Ordered algebraic systems», en Filippov, N. D., ed., Ten Papers on algebra and functional analysis, American Mathematical Society Translations, Series 2 96, AMS Bookstore, pp. 69-118, ISBN 978-0-8218-1796-4.
- Walker, Harold Allen (1972), Cyclically ordered semigroups (Thesis), University of Tennessee, OCLC 54363006.
- Zabarina, Anna Ivanovna (1982), «Theory of cyclically ordered groups (К теории циклически упорядоченных групп)», Mathematical Notes 31 (1): 3-8, S2CID 121833530, doi:10.1007/BF01146259.. Traducción de Zabarina (1982), «Math-Net.Ru», Matematicheskie Zametki (en russian) 31 (1): 3-12, consultado el 22 de mayo de 2011.
- Zabarina, Anna Ivanovna (1985), «Linear and cyclic orders in a group», Sibirskii Matematicheskii Zhurnal (en russian) 26 (2): 204-207, 225, MR 0788349.
- Zabarina, Anna Ivanovna; Pestov, German Gavrilovich (1984), «Sverchkovskii's theorem», Siberian Mathematical Journal 24 (4): 545-551, S2CID 121613711, doi:10.1007/BF00968891.. Traducción de Sibirskii Matematicheskii Zhurnal, 46–53
- Zabarina, Anna Ivanovna; Pestov, German Gavrilovich (1986), «On a criterion for cyclic orderability of a group», Uporyadochennye Mnozhestva I Reshetki (en russian) 9: 19-24, Zbl 0713.20034.
- Zassenhaus, Hans (June–July 1954), «What is an Angle?», The American Mathematical Monthly 61 (6): 369-378, JSTOR 2307896, doi:10.2307/2307896.
- Želeva, S. D. (1976), «On cyclically ordered groups», Sibirskii Matematicheskii Zhurnal (en russian) 17: 1046-1051, MR 0422106, Zbl 0362.06022.
- Želeva, S. D. (1981), «Half-homogeneously cyclically ordered groups», Godishnik Vyssh. Uchebn. Zaved. Prilozhna Mat. (en russian) 17 (4): 123-126, MR 0705070, Zbl 0511.06013.
- Želeva, S. D. (1981), «Cyclically and T-like ordered groups», Godishnik Vyssh. Uchebn. Zaved. Prilozhna Mat. (en russian) 17 (4): 137-149, MR 0705071, Zbl 0511.06014.
- Želeva, S. D. (1985), «A group of automorphisms of a cyclically ordered set», Nauchni Tr., Plovdivski Univ., Mat. (en bulgarian) 23 (2): 25-31, Zbl 0636.06009.
- Želeva, S. D. (1985), «A partial right ordering of the group of automorphisms of a cyclically ordered set», Nauchni Tr., Plovdivski Univ., Mat. (en bulgarian) 23 (2): 47-56, Zbl 0636.06011.
- Želeva, S. D. (1997), «Representation of right cyclically ordered groups as groups of automorphisms of a cyclically ordered set», Mathematica Balkanica, New Series 11 (3–4): 291-294, Zbl 1036.06501.
- Želeva, S. D. (1998), «Lattice cyclically ordered groups», Mathematica Balkanica, New Series 12 (1–2): 47-58, Zbl 1036.06502.