Grupo ordenado linealmente
En matemáticas, específicamente en álgebra abstracta, un grupo ordenado linealmente (también denominado grupo totalmente ordenado) es un grupo G equipado con un orden total "≤", que es invariante a las traslaciones. Esto puede tener diferentes significados. Se dice que (G, ≤) es un:
- Grupo ordenado por la izquierda si ≤ es invariante por la izquierda, es decir, a ≤ b implica que ca ≤ cb para todo a, b y c en G.
- Grupo ordenado por la derecha si ≤ es invariante por la derecha, es decir, a ≤ b implica que ac ≤ bc para todo a, b y c en G.
- Grupo biordenado si ≤ es biinvariante, es decir, es invariante tanto a la izquierda como a la derecha.
Se dice que un grupo G es ordenable por la izquierda (u ordenable por la derecha, o bien biordenable) si existe un grupo por la izquierda (u orden invariante por la derecha o por ambos lados) en G. Una condición necesaria simple para que un grupo pueda ordenarse por la izquierda es no tener elementos de orden finito. Sin embargo, esta no es una condición suficiente. Es equivalente a que un grupo se pueda ordenar por la izquierda o por la derecha; sin embargo, existen grupos ordenables por la izquierda que no son biordenables.
Otras definiciones
En esta sección es un orden invariante a la izquierda en un grupo con elemento neutro . Todo lo dicho se aplica a órdenes invariantes por la derecha con las modificaciones obvias. Téngase en cuenta que el hecho de que sea invariante a la izquierda es equivalente al orden definido por si y solo si es invariante a la derecha. En particular, un grupo que se puede ordenar por la izquierda es lo mismo que por la derecha.
En analogía con los números ordinarios, se denomina a un elemento de un grupo ordenado positivo si . El conjunto de elementos positivos en un grupo ordenado se denomina cono positivo y a menudo se denota como ; se utiliza la notación ligeramente diferente para el cono positivo junto con el elemento de identidad. [1]
El cono positivo caracteriza el orden . De hecho, por la invariancia hacia la izquierda se observa que si y solo si . De hecho, un grupo ordenado por la izquierda se puede definir como un grupo junto con un subconjunto que satisface las dos condiciones siguientes:
- Para también se tiene que
- Sea , entonces es la unión disjunta de y .
El orden asociado con está definido por ; la primera condición equivale a la invariancia por la izquierda y la segunda a que el orden esté bien definido y sea total. El cono positivo de es .
El orden invariante por la izquierda es bi-invariante si y solo si es invariante de conjugación, es decir, si entonces para cualquier también se tiene que . Esto equivale a que el cono positivo sea estable bajo automorfismos internos.
Si , entonces el valor absoluto de , denotado por , se define como:
Si además el grupo es abeliano, entonces para cualquier se satisface la desigualdad triangular: .
Ejemplos
- El conjunto de los números reales dotado con la operación suma es un grupo ordenable, ya que el orden total habitual es invariante a las traslaciones.
- Cualquier subgrupo H de un grupo ordenable G es también ordenable, ya que dado un orden total de G invariante por la izquierda, se obtiene uno para H restringiéndolo.
- es ordenable. Esto puede mostrarse fácilmente de dos maneras. Una forma es utilizar un homomorfismo inyectivo de en y utilizar lo dicho en el ejemplo anterior. Otra forma es utilizar el orden lexicográfico.
- El producto directo entre dos grupos ordenables es ordenable, utilizando el orden lexicográfico.
- El grupo libre con n generadores es ordenable para todo n, proposición demostrada por Wilhelm Magnus.[2]
- El grupo de los homeomorfismos de que preservan la orientación () es un grupo ordenable. Dada una sucesión densa en , se define el orden sobre de la siguiente manera: si se dice que cuando el mínimo n tal que verifica que .[3]
- Cualquier grupo que se pueda ordenar por la izquierda o por la derecha está libre de torsión, es decir, no contiene elementos de orden finito además de la identidad. Por el contrario, Friedrich Wilhelm Levi demostró que un grupo abeliano libre de torsión es biordenable.[4] Esto sigue siendo cierto para grupos nilpotentes,[5] pero existen presentaciones de grupos libres de torsión que no se pueden ordenar por la izquierda.
Grupos con orden de Arquímedes
Otto Hölder demostró que cada grupo arquimediano (un grupo biordenado que satisface el axioma de Arquímedes) es isomorfo respecto a un subgrupo del grupo aditivo de los números reales, (Fuchs y Salce, 2001, p. 61). Para componer un grupo arquimediano linealmente ordenado multiplicativamente, se debe considerar la completación de Dedekind, del cierre de un grupo linealmente ordenado bajo las raíces -ésimas. Dotamos a este espacio con el topology habitual de orden lineal, y luego se puede demostrar que para cada los mapas exponenciales son isomorfismos grupo topológico que preservan/invierten el orden bien definidos. Completar un grupo linealmente ordenado puede resultar difícil en el caso no arquimediano. En estos casos, se puede clasificar un grupo por su rango, que está relacionado con el tipo de orden de la secuencia más grande de subgrupos convexos.
Otros ejemplos
Los grupos libres se pueden ordenar por la izquierda. En términos más generales, este también es el caso de los grupos de Artin en ángulo recto.[6] Los grupos de trenzas también se pueden ordenar por la izquierda.[7]
El grupo dado por la presentación está libre de torsión pero no se puede ordenar por la izquierda.[8] Téngase en cuenta que es un grupo cristalográfico tridimensional (se puede realizar como el grupo generado por dos medias vueltas deslizadas con ejes ortogonales y la misma longitud de traslación), y es el mismo grupo que demostró ser un contraejemplo de la conjetura unitaria. De manera más general, el tema de la ordenabilidad de grupos de 3 variedades es interesante por su relación con distintos invariantes topológicos.[9] Existe un grupo de 3 variedades que se puede ordenar por la izquierda, pero que no es biordenable.[10] De hecho, no satisface la propiedad más débil de ser localmente indicable.
Los grupos ordenables por la izquierda también han suscitado interés desde la perspectiva de los sistemas dinámicos, ya que se sabe que un grupo numerable se puede ordenar por la izquierda si y solo si actúa en la recta real mediante homeomorfismos.[11] Contraejemplos relacionados con este paradigma son los retículos en grupos de Lie de rango superior, y se sabe que (por ejemplo) los subgrupos de índice finito en no se pueden ordenar por la izquierda. Se ha realizado una amplia generalización de este hecho.[12][13]
Algunos resultados
- El primer resultado en la teoría de grupos ordenables es debido a Otto Hölder: todo grupo con un orden total invariante por la izquierda que satisface una propiedad arquimediana es isomorfo a un subgrupo del grupo aditivo de los números reales.
- Si un grupo es ordenable, entonces está libre de torsión. Esto se prueba fácilmente: si es un orden total invariante por la izquierda para G y , entonces o . En el primer caso es sencillo mostrar que se tendrá para todo , por lo que para todo n si .
- Dada una sucesión exacta corta , si A y C son ordenables, entonces B también lo es. De hecho, por cada par de órdenes elegidos en A y C se tendrá un orden distinto en B.
- Un grupo G es ordenable si y solo si todo subgrupo finitamente generado de G es ordenable.[2]
- Con el resultado anterior, y ya sabiendo que es ordenable, se deduce que todo grupo abeliano libre de torsión es ordenable. Esto es consecuencia del teorema de estructura que dice que todo grupo abeliano finitamente generado es una suma directa de grupos cíclicos.[14]
- Si G es ordenable y numerable, entonces G es isomorfo a un subgrupo de .[3]
- En un grupo biordenable se cumple la propiedad de raíz única: si , entonces .
Conos positivo y negativo
Un orden invariante por la izquierda está determinado por su cono positivo, o sea el conjunto de elementos mayores a la identidad del grupo.
Un grupo G es ordenable si y solo si existe un semigrupo P tal que y . Con esta caracterización es fácil demostrar que un grupo admite un orden total invariante por la izquierda si y solo si admite un orden total invariante a derecha; esta es la razón por la que no exista una teoría de grupos ordenables a derecha.
Para que G sea biordenable es además necesario que el semigrupo P sea invariante por conjugaciones, o sea para todo .
El espacio de órdenes
Dado G un grupo ordenable, se tiene el conjunto LO(G) formado por los órdenes totales en G invariantes por la izquierda.
Está demostrado que LO(G) es finito o no numerable[15] (o sea, no existe ningún grupo tal que admita exactamente una cantidad infinita numerable de órdenes totales invariantes por la izquierda). Este resultado no es cierto para los biórdenes.[2]
En LO(G) generalmente se define una topología, con sub base , siendo . Con esta topología LO(G) resulta un espacio compacto totalmente disconexo.[2]
Véase también
Referencias
- ↑ a b c d
- ↑ a b Ettiene Ghys (2001), Groups acting on the circle, L´Eins. Math. 47: 329–407.
- ↑ Levi, 1942.
- ↑ Duchamp, Gérard; Thibon, Jean-Yves (1992). «Simple orderings for free partially commutative groups». International Journal of Algebra and Computation 2 (3): 351-355. Zbl 0772.20017. doi:10.1142/S0218196792000219.
- ↑ Dehornoy, Patrick; Dynnikov, Ivan; Rolfsen, Dale; Wiest, Bert (2002). Why are braids orderable?. Paris: Société Mathématique de France. p. xiii + 190. ISBN 2-85629-135-X.
- ↑ Boyer, Steven; Rolfsen, Dale; Wiest, Bert (2005). «Orderable 3-manifold groups». Annales de l'Institut Fourier 55 (1): 243-288. Zbl 1068.57001. arXiv:math/0211110. doi:10.5802/aif.2098.
- ↑ Bergman, George (1991). «Right orderable groups that are not locally indicable». Pacific Journal of Mathematics 147 (2): 243-248. Zbl 0677.06007. doi:10.2140/pjm.1991.147.243.
- ↑ Witte, Dave (1994). «Arithmetic groups of higher \(\mathbb{Q}\)-rank cannot act on \(1\)-manifolds». Proceedings of the American Mathematical Society 122 (2): 333-340. JSTOR 2161021. Zbl 0818.22006. doi:10.2307/2161021.
- ↑ Deroin, Bertrand; Hurtado, Sebastian (2020). «Non left-orderability of lattices in higher rank semi-simple Lie groups». arXiv:2008.10687 [math.GT].
- ↑ Rotman, Joseph (1995). «Abelian groups». An introduction to the theory of groups (en inglés) (cuarta edición). Springer-Verlag. pp. 319. Consultado el 27 de septiembre de 2014. (requiere registro).
- ↑ Linnell, Peter (2009). The space of left orders of a group is either finite or uncountable (en inglés) (cuarta edición). http://arxiv.org/abs/0909.2497. Consultado el 27 de septiembre de 2014.
Bibliografía
[math.GT].
- Levi, F.W. (1942), «Ordered groups.», Proc. Indian Acad. Sci., A16 (4): 256-263, S2CID 198139979, doi:10.1007/BF03174799 .
- Fuchs, László; Salce, Luigi (2001), Modules over non-Noetherian domains, Mathematical Surveys and Monographs 84, Providence, R.I.: American Mathematical Society, ISBN 978-0-8218-1963-0, MR 1794715 .
- Ghys, É. (2001), «Groups acting on the circle.», L'Enseignement Mathématique 47: 329-407 .
Datos: Q10292020