Visualizza wikitesto di Ordine (teoria degli anelli)

{{S|matematica}}
In [[matematica]], un '''ordine''' nel senso della [[teoria degli anelli]] è un [[sottoanello]] <math>\mathcal{O}</math> di un [[anello (algebra)|anello]] <math>A</math> che gode delle seguenti proprietà

# <math>A</math> è un'[[Algebra su campo|algebra]] di [[Dimensione (spazio vettoriale)|dimensione]] finita su <math>\Q</math>;
# <math>\mathcal{O}</math> [[Insieme di generatori|genera]] <math>A</math> su <math>\Q</math>, cioè <math>\Q \mathcal{O} = A</math>;
# <math>\mathcal{O}</math> è un <math>\Z</math>-[[Reticolo (teoria dei gruppi)|reticolo]] in <math>A</math>.

== Bibliografia ==
* {{en}}{{cita libro | nome=M. | cognome=Pohst | coautori=H. Zassenhaus | titolo=Algorithmic Algebraic Number Theory | url=https://archive.org/details/algorithmicalgeb0000pohs | editore=[[Cambridge University Press]] | anno=1989 | ISBN=0-521-33060-2}}
* {{en}}{{cita libro | nome=I. | cognome=Reiner |wkautore = Irving Reiner | titolo=Maximal Orders | editore=[[Oxford University Press]] | anno=2003 | ISBN=0-19-852673-3}}

== Voci correlate ==
* [[Anello (algebra)]]
* [[Algebra su campo]]
* [[Reticolo (teoria dei gruppi)]]

[[Categoria:Teoria degli anelli]]
[[Categoria:Strutture algebriche]]