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.