Grupo parcialmente ordenado

"Grupo ordenado" está redirigido aquí. Para grupos con orden total o lineal, consúltese Grupo ordenado linealmente.

En álgebra abstracta, un grupo parcialmente ordenado es un grupo (G, +) equipado con un orden parcial "≤" que es invariante a las traslaciones; en otras palabras, "≤" tiene la propiedad de que, para todo a, b y g en G, si a ≤ b' ' entonces a + g ≤ b + g y g + a ≤ g + b.

Un elemento x de G se llama positivo si 0 ≤ x. El conjunto de elementos 0 ≤ x a menudo se denota como G⁺ y se denomina cono positivo de G.

Por la invarianza a las traslaciones, se tiene que a ≤ b si y solo si 0 ≤ -a + b. Entonces, se puede reducir el orden parcial a una propiedad monádica: Plantilla:Nobreak si y solo si Plantilla:Nobreak

Para el grupo general G, la existencia de un cono positivo especifica un orden en G. Un grupo G es un grupo parcialmente ordenable si y solo si existe un subconjunto H (que es G⁺) de G tal que:

• 0 ∈ H
• Si a ∈ H y b ∈ H entonces a + b ∈ H
• Si a ∈ H entonces -x + a + x ∈ H para cada x de G' '
• Si a ∈ H y -a ∈ H entonces a = 0

Un grupo parcialmente ordenado G con cono positivo G⁺ se dice no perforado si n · g ∈ G⁺ para algunos El entero positivo n implica g ∈ G⁺. Al no estar perforado significa que no hay "espacio" en el cono positivo G⁺.

Si el orden en el grupo es orden total, entonces se dice que es grupo ordenable. Si el orden del grupo es retículo (matemáticas), es decir, dos elementos cualesquiera tienen un límite superior mínimo, entonces es un grupo ordenado en celosía (en breve grupo-l, aunque normalmente está compuesto con a script l: ℓ-grupo).

Un grupo de Riesz es un grupo parcialmente ordenado no perforado con una propiedad ligeramente más débil que ser un grupo ordenado en retículo. Es decir, un grupo de Riesz satisface la propiedad de interpolación de Riesz: si x₁, x₂, y₁, y₂ son elementos de G, y x_i ≤ y_j, entonces existe z ∈ G tal que x_i ≤ z ≤ y_j.

Si G y H son dos grupos parcialmente ordenados, una aplicación de G a H es un morfismo de grupos parcialmente ordenados si es a la vez un homomorfismo de grupos y una función monótona. Los grupos parcialmente ordenados, junto con esta noción de morfismo, forman una categoría.

Los grupos parcialmente ordenados se utilizan en la definición de valoración de cuerpos.

Ejemplos

• Los números enteros con su orden habitual
• Un espacio vectorial ordenado es un grupo parcialmente ordenado
• Un espacio de Riesz es un grupo ordenado en retículo
• Un ejemplo típico de un grupo parcialmente ordenado es Zⁿ, donde la operación del grupo es una suma por componentes, y se escribe (a₁,...,a_n) ≤ (b₁,...,b_n) si y solo si a_i ≤ b_i (en el orden habitual de los números enteros) para todo i = 1 ,..., n.
• De manera más general, si G es un grupo parcialmente ordenado y X es algún conjunto, entonces el conjunto de todas las funciones desde X hasta G es nuevamente un grupo parcialmente ordenado: todas las operaciones se realizan por componentes. Además, cada subgrupo de G es un grupo parcialmente ordenado: hereda el orden de G.
• Si A es una C* álgebra aproximadamente de dimensión finita, o más generalmente, si A es una C* álgebra unitaria estable y finita, entonces K₀(A) es un grupo abeliano parcialmente ordenado. (Elliot, 1976)

Propiedades

De Arquímedes

La propiedad de Arquímedes de los números reales se puede generalizar a grupos parcialmente ordenados.

Propiedad: Un grupo $G$ parcialmente ordenado se llama de Arquímedes cuando para cualquier $a,b\in G$, si $e\le a\le b$ y $a^n\le b$ para todos los $n\ge 1$, entonces $a=e$. De manera equivalente, cuando $a\ne e$, entonces para cualquier $b\in G$, hay algún $n\in \mathbb{Z}$ tal que $b<a^n$.

Integralmente cerrado

Un grupo parcialmente ordenado G se llama integralmente cerrado si para todos los elementos a y b de G, si aⁿ ≤ ' 'b para todos los n naturales, entonces a ≤ 1.

Esta propiedad es algo más fuerte que el hecho de que un grupo parcialmente ordenado sea arquimediano, aunque para un grupo ordenado en retículo ser integralmente cerrado y ser de Arquímedes es equivalente. Existe el teorema de que todo grupo dirigido integralmente cerrado ya es abeliano. Esto tiene que ver con el hecho de que un grupo dirigido es integrable en un grupo ordenado en retículo completo si y solo si está integralmente cerrado.

Véase también

• Grupo ordenado cíclicamente
• Grupo ordenable
• Cuerpo ordenado
• Anillo ordenado
• Espacio vectorial topológico ordenado
• Espacio vectorial ordenado
• Anillo parcialmente ordenado
• Espacio parcialmente ordenado

Bibliografía

• M. Anderson and T. Feil, Lattice Ordered Groups: an Introduction, D. Reidel, 1988.
• Plantilla:Cite journal
• M. R. Darnel, The Theory of Lattice-Ordered Groups, Lecture Notes in Pure and Applied Mathematics 187, Marcel Dekker, 1995.
• L. Fuchs, Partially Ordered Algebraic Systems, Pergamon Press, 1963.
• Plantilla:Cite book
• Plantilla:Cite book
• V. M. Kopytov and A. I. Kokorin (trans. by D. Louvish), Fully Ordered Groups, Halsted Press (John Wiley & Sons), 1974.
• V. M. Kopytov and N. Ya. Medvedev, Right-ordered groups, Siberian School of Algebra and Logic, Consultants Bureau, 1996.
• Plantilla:Cite book
• R. B. Mura and A. Rhemtulla, Orderable groups, Lecture Notes in Pure and Applied Mathematics 27, Marcel Dekker, 1977.
• Plantilla:Cite book, cap. 9.
• Plantilla:Cite journal

Lecturas adicionales

• Plantilla:Cite journal

Enlaces externos

• Plantilla:Springer
• Plantilla:Springer
• Plantilla:PlanetMath attribution