Order (ring theory)/Definition

A ring which is finitely generated as a Z-module.