Order (ring theory)

In ring theory, an order is a ring which is finitely generated as a Z-module.

Any subring of an algebraic number field composed of algebraic integers forms an order: the ring of all algebraic integers in such a field is the maximal order.