Order (ring theory)

"Maximal order" redirects here. For the maximal order of an arithmetic function, see Extremal orders of an arithmetic function.

In mathematics, the set of integers in the rational numbers is called an order, and the notion of order generalizes this to certain fields other than the rational numbers. Of special importance is the maximal order, which defines the ring of integers in an algebraic number field, as well as the valuation ring of a local field.

Definitions

The definition of an order is somewhat context-dependent. The simplest definition is in an algebraic number field ${\displaystyle F}$ , where an order ${\displaystyle R}$  is a subring of ${\displaystyle F}$  that is a finitely-generated ${\displaystyle \mathbb {Z} }$ -module, which contains a rational basis of ${\displaystyle F}$ , i.e., such that ${\displaystyle \mathbb {Q} R=F.}$ 

On the other hand, if ${\displaystyle F}$  is a non-archimedean local field, an order is a compact-open subring ${\displaystyle R}$  of ${\displaystyle F}$ . The maximal order in this case is the valuation ring of the field.

More generally, which includes both of these special cases, if ${\displaystyle R}$  an integral ___domain with fraction field ${\displaystyle K}$ , an ${\displaystyle R}$ -order in a finite-dimensional ${\displaystyle K}$ -algebra ${\displaystyle A}$  is a subring ${\displaystyle {\mathcal {O}}}$  of ${\displaystyle A}$  which is a full ${\displaystyle R}$ -lattice; i.e. is a finite ${\displaystyle R}$ -module with the property that ${\displaystyle {\mathcal {O}}\otimes _{R}K=A}$ .^[1]

When ${\displaystyle A}$  is not a commutative ring, the idea of order is still important, but the phenomena are different. For example, the Hurwitz quaternions form a maximal order in the quaternions with rational co-ordinates; they are not the quaternions with integer coordinates in the most obvious sense. Maximal orders exist in general, but need not be unique: there is in general no largest order, but a number of maximal orders. An important class of examples is that of integral group rings.

Examples

Some examples of orders are:^[2]

• If ${\displaystyle A}$  is the matrix ring ${\displaystyle M_{n}(K)}$  over ${\displaystyle K}$ , then the matrix ring ${\displaystyle M_{n}(R)}$  over ${\displaystyle R}$  is an ${\displaystyle R}$ -order in ${\displaystyle A}$ 
• If ${\displaystyle R}$  is an integral ___domain and ${\displaystyle L}$  a finite separable extension of ${\displaystyle K}$ , then the integral closure ${\displaystyle S}$  of ${\displaystyle R}$  in ${\displaystyle L}$  is an ${\displaystyle R}$ -order in ${\displaystyle L}$ .
• If ${\displaystyle a}$  in ${\displaystyle A}$  is an integral element over ${\displaystyle R}$ , then the polynomial ring ${\displaystyle R[a]}$  is an ${\displaystyle R}$ -order in the algebra ${\displaystyle K[a]}$ 
• If ${\displaystyle A}$  is the group ring ${\displaystyle K[G]}$  of a finite group ${\displaystyle G}$ , then ${\displaystyle R[G]}$  is an ${\displaystyle R}$ -order on ${\displaystyle K[G]}$ 

A fundamental property of ${\displaystyle R}$ -orders is that every element of an ${\displaystyle R}$ -order is integral over ${\displaystyle R}$ .^[3]

If the integral closure ${\displaystyle S}$  of ${\displaystyle R}$  in ${\displaystyle A}$  is an ${\displaystyle R}$ -order then the integrality of every element of every ${\displaystyle R}$ -order shows that ${\displaystyle S}$  must be the unique maximal ${\displaystyle R}$ -order in ${\displaystyle A}$ . However ${\displaystyle S}$  need not always be an ${\displaystyle R}$ -order: indeed ${\displaystyle S}$  need not even be a ring, and even if ${\displaystyle S}$  is a ring (for example, when ${\displaystyle A}$  is commutative) then ${\displaystyle S}$  need not be an ${\displaystyle R}$ -lattice.^[3]

Algebraic number theory

The leading example is the case where ${\displaystyle A}$  is a number field ${\displaystyle K}$  and ${\displaystyle {\mathcal {O}}}$  is its ring of integers. In algebraic number theory there are examples for any ${\displaystyle K}$  other than the rational field of proper subrings of the ring of integers that are also orders. For example, in the field extension ${\displaystyle A=\mathbb {Q} (i)}$  of Gaussian rationals over ${\displaystyle \mathbb {Q} }$ , the integral closure of ${\displaystyle \mathbb {Z} }$  is the ring of Gaussian integers ${\displaystyle \mathbb {Z} [i]}$  and so this is the unique maximal ${\displaystyle \mathbb {Z} }$ -order: all other orders in ${\displaystyle A}$  are contained in it. For example, we can take the subring of complex numbers of the form ${\displaystyle a+2bi}$ , with ${\displaystyle a}$  and ${\displaystyle b}$  integers.^[4]

The maximal order question can be examined at a local field level. This technique is applied in algebraic number theory and modular representation theory.

See also

• Hurwitz quaternion order – An example of ring order

Notes

1. Reiner (2003) p. 108
2. Reiner (2003) pp. 108–109
3. Reiner (2003) p. 110
4. Pohst and Zassenhaus (1989) p. 22

References

• Pohst, M.; Zassenhaus, H. (1989). Algorithmic Algebraic Number Theory. Encyclopedia of Mathematics and its Applications. Vol. 30. Cambridge University Press. ISBN 0-521-33060-2. Zbl 0685.12001.
• Reiner, I. (2003). Maximal Orders. London Mathematical Society Monographs. New Series. Vol. 28. Oxford University Press. ISBN 0-19-852673-3. Zbl 1024.16008.