# 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 $\leq$ es un orden invariante a la izquierda en un grupo $G$ con elemento neutro $e$. Todo lo dicho se aplica a órdenes invariantes por la derecha con las modificaciones obvias. Téngase en cuenta que el hecho de que $\leq$ sea invariante a la izquierda es equivalente al orden $\leq '$ definido por $g\leq 'h$ si y solo si $h^{-1}\leq g^{-1}$ 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 $g\not =e$ de un grupo ordenado positivo si $e\leq g$. El conjunto de elementos positivos en un grupo ordenado se denomina cono positivo y a menudo se denota como $G_{+}$; se utiliza la notación ligeramente diferente $G^{+}$ para el cono positivo junto con el elemento de identidad.
El cono positivo $G_{+}$ caracteriza el orden $\leq$. De hecho, por la invariancia hacia la izquierda se observa que $g\leq h$ si y solo si $g^{-1}h\in G_{+}$. De hecho, un grupo ordenado por la izquierda se puede definir como un grupo $G$ junto con un subconjunto $P$ que satisface las dos condiciones siguientes:
* Para $g,h\in P$ también se tiene que $gh\in P$
* Sea $P^{-1}=\{g^{-1},g\in P\}$, entonces $G$ es la unión disjunta de $P,P^{-1}$ y $\{e\}$.
El orden $\leq _{P}$ asociado con $P$ está definido por $g\leq _{P}h\Leftrightarrow g^{-1}h\in P$; 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 $\leq _{P}$ es $P$.
El orden invariante por la izquierda $\leq$ es bi-invariante si y solo si es invariante de conjugación, es decir, si $g\leq h$ entonces para cualquier $x\in G$ también se tiene que $xgx^{-1}\leq xhx^{-1}$. Esto equivale a que el cono positivo sea estable bajo automorfismos internos.
Si $a\in G$, entonces el valor absoluto de $a$, denotado por $|a|$, se define como:
    $|a|:={\begin{cases}a,&{\text{ si }}a\geq 0,\\-a,&{\text{ en caso contrario}}.\end{cases}}$
Si además el grupo $G$ es abeliano, entonces para cualquier $a,b\in G$ se satisface la desigualdad triangular: $|a+b|\leq |a|+|b|$.

## 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.
* $\mathbb {Z} ^{n}$ es ordenable. Esto puede mostrarse fácilmente de dos maneras. Una forma es utilizar un homomorfismo inyectivo de $\mathbb {Z} ^{n}$ en $\mathbb {R}$ 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.
* El grupo de los homeomorfismos de $\mathbb {R}$ que preservan la orientación ($Homeo_{+}(\mathbb {R} )$) es un grupo ordenable. Dada una sucesión $(a_{n})$ densa en $\mathbb {R}$, se define el orden $\preceq$ sobre $Homeo_{+}(\mathbb {R} )$ de la siguiente manera: si $f\neq g$ se dice que $f\prec g$ cuando el mínimo n tal que $f(a_{n})\neq g(a_{n})$ verifica que $f(a_{n})<g(a_{n})$.
* 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. Esto sigue siendo cierto para grupos nilpotentes, 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, ${\widehat {G}}$ del cierre de un grupo linealmente ordenado bajo las raíces $n$-ésimas. Dotamos a este espacio con el topology habitual de orden lineal, y luego se puede demostrar que para cada $g\in {\widehat {G}}$ los mapas exponenciales $g^{\cdot }:(\mathbb {R} ,+)\to ({\widehat {G}},\cdot ):\lim _{i}q_{i}\in \mathbb {Q} \mapsto \lim _{i}g^{q_{i}}$ 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. Los grupos de trenzas también se pueden ordenar por la izquierda.
El grupo dado por la presentación $\langle a,b|a^{2}ba^{2}b^{-1},b^{2}ab^{2}a^{-1}\rangle$ está libre de torsión pero no se puede ordenar por la izquierda. 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. Existe un grupo de 3 variedades que se puede ordenar por la izquierda, pero que no es biordenable. 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. 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 $\mathrm {SL} _{n}(\mathbb {Z} )$ no se pueden ordenar por la izquierda. Se ha realizado una amplia generalización de este hecho.

## 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 $\preceq$ es un orden total invariante por la izquierda para G y $g\in G$, entonces $g\preceq id$ o $id\preceq g$. En el primer caso es sencillo mostrar que se tendrá $g^{n}\preceq g^{n-1}$ para todo $n\in \mathbb {Z} ^{+}$, por lo que $g^{n}\neq id$ para todo n si $g\neq id$.
* Dada una sucesión exacta corta $\{1\}\longrightarrow A\longrightarrow B\longrightarrow C\longrightarrow \{1\}$, 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.
* Con el resultado anterior, y ya sabiendo que $\mathbb {Z} ^{n}$ 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.
* Si G es ordenable y numerable, entonces G es isomorfo a un subgrupo de $Homeo_{+}(\mathbb {R} )$.
* En un grupo biordenable se cumple la propiedad de raíz única: si $g^{n}=h^{n}$, entonces $g=h$.

## 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 $P\cap P^{-1}=\varnothing$ y $G=P\cup P^{-1}\cup \{id\}$. 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 $gPg^{-1}=P$ para todo $g\in G$.

## 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 (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.
En LO(G) generalmente se define una topología, con sub base $\{U_{f}:\ f\in G\}$, siendo $U_{f}=\{\preceq :\ f\preceq id\}$. Con esta topología LO(G) resulta un espacio compacto totalmente disconexo.