In mathematics, an order in the sense of ring theory is a subring
- A is a ring which is a finite-dimensional algebra over the rational number field
Q -
O spans A overQ , so thatQ O = A , and -
O is a Z-lattice in A.
The last two conditions can be stated in less formal terms: Additively,
More generally for R an integral domain contained in a field K we define
When 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:
A fundamental property of R-orders is that every element of an R-order is integral over R.
If the integral closure S of R in A is an R-order then this result shows that S must be the maximal R-order in A. However this is not always the case: indeed S need not even be a ring, and even if S is a ring (for example, when A is commutative) then S need not be an R-lattice.
Algebraic number theory
The leading example is the case where A is a number field K and
for which b is an even number.
The maximal order question can be examined at a local field level. This technique is applied in algebraic number theory and modular representation theory.