Orden (teoría de anillos)
# Orden (teoría de anillos)

En matemáticas, más precisamente en el campo de la teoría de los anillos, el orden es un subanillo ${\mathcal {O}}$ de un anillo $A$, de manera que

* $A$ es un anillo el cual es un álgebra de dimensión finita sobre el campo de los números racionales $\mathbb {Q}$
* ${\mathcal {O}}$ engendra $A$ sobre $\mathbb {Q}$, para que $\mathbb {Q} {\mathcal {O}}=A$, y
* ${\mathcal {O}}$ es un retículo $Z$ en $A$ (es decir, un ℤ-submódulo de tipo finito sin torsión).

Las últimas dos condiciones pueden explicarse en términos más informales: aditivamente, ${\mathcal {O}}$ es un grupo abeliano libre generado por una base para $A$ sobre $\mathbb {Q}$.

Más generalmente, para $R$, un dominio integral contenido en un campo $K$, definimos ${\mathcal {O}}$ para ser de $R$-orden en una $K$-álgebra $A$ si esta es un subanillo de $A$, la cual es una $R$-red completa.

Cuando $A$ no es un anillo conmutativo, la idea del orden sigue siendo importante, pero los fenómenos son diferentes. Por ejemplo, los cuaterniones de Hurwitz forman un orden máximo en los cuaterniones con coordenadas racionales; no son cuaterniones con coordenadas enteros. Los órdenes máximos existen, en general, pero se necesita que no sean únicos: en general no hay un orden más grande, sino un número de órdenes máximos. Una clase importante de ejemplos son los grupos de anillos integrales.

Algunos ejemplos son:

* Si $A$ es la matriz del anillo $M_{n}(K)$ sobre $K$, entonces la matriz del anillo $M_{n}(R)$ sobre $R$ es de $R$-orden en $A$.
* Si $R$ es un dominio integral y $L$ una extensión separable finita de $K$, entonces el cierra integral $S$ de $R$ en $L$ es de $R$-orden en $L$.
* Si $a$ en $A$ es un elemento integral sobre $R$, entonces el anillo de polinomios $R[a]$ es de $R$-orden en el álgebra $K[a]$.
* Si $A$ es el grupo del anillo $K[G]$ de un grupo finito $G$, entonces $R[G]$ es de $R$-orden en $K[G]$.

Una propiedad fundamental de los $R$-órdenes es que cada elemento de un $R$-orden es integral sobre $R$.

Si el cierre integral $S$ de $R$ en $A$ es un $R$-orden, entonces este resultado muestra que $S$ es el $R$-orden máximo en $A$. Sin embargo, este no es siempre el caso: en realidad, $S$ ni siquiera necesita ser un anillo, e incluso si lo es (por ejemplo, cuando $A$ es conmutativo), entonces $S$ no necesita ser una $R$-red.

## Teoría de números algebraicos

El ejemplo principal es el caso donde $A$ es un cuerpo de números algebraicos $K$ y ${\mathcal {O}}$ es su anillo de enteros. En la teoría de números algebraicos hay ejemplos para cualquier $K$ esté o no en el campo racional de los subanillos del anillo de enteros apropiado que también son órdenes. Por ejemplo, en la extensión de campo $A=Q(i)$ de racionales gaussianos sobre $Q$, el cierre integral de $Z$ es el anillo de enteros gaussianos $Z[i]$, y así, es el $Z$-orden máximo único: todos los demás órdenes en $A$ están contenidos en él, por ejemplo, podemos tomar el subanillo de

    $a+bi,$

para donde $b$ es un número par.

La teoría del orden máximo también puede ser examinada a campo local. Esta técnica es aplicada en la teoría de números algebraicos y la teoría de representación modular.

