Order (ring theory)
(重定向自Maximal order)
In mathematics, an order in the sense of ring theory is a subring of a ring
, such that
The last two conditions condition can be stated in less formal terms: Additively, is a free abelian group generated by a basis for A over
.
More generally for R an integral domain contained in a field K we define to be an R-order in a K-algebra A if it is a subring of A which is a full R-lattice.