In matematica, un ordine nel senso della teoria degli anelli è un sottoanello O {\displaystyle {\mathcal {O}}} di un anello A {\displaystyle A} che gode delle seguenti proprietà A {\displaystyle A} è un'algebra di dimensione finita su Q {\displaystyle \mathbb {Q} } ; O {\displaystyle {\mathcal {O}}} genera A {\displaystyle A} su Q {\displaystyle \mathbb {Q} }, cioè Q O = A {\displaystyle \mathbb {Q} {\mathcal {O}}=A} ; O {\displaystyle {\mathcal {O}}} è un Z {\displaystyle \mathbb {Z} } -reticolo in A {\displaystyle A}. Wikipedia