Ring of integers in a number field: Difference between revisions
No edit summary |
No edit summary |
||
| Line 6: | Line 6: | ||
The ring of integers in a number field is also termed a '''maximal order''', here an [[order in a number field|order]] is a subring of <math>K</math> which is free as a <math>\mathbb{Z}</math>-module, and which, over <math>\mathbb{Q}</math>, generates <math>K</math>. | The ring of integers in a number field is also termed a '''maximal order''', here an [[order in a number field|order]] is a subring of <math>K</math> which is free as a <math>\mathbb{Z}</math>-module, and which, over <math>\mathbb{Q}</math>, generates <math>K</math>. | ||
==Relation with other properties== | |||
===Weaker properties=== | |||
* [[Dedekind domain]] | |||
Revision as of 18:11, 17 December 2007
This article defines a property of commutative unital rings; a property that can be evaluated for a commutative unital ring
View all properties of commutative unital rings
VIEW RELATED: Commutative unital ring property implications | Commutative unital ring property non-implications |Commutative unital ring metaproperty satisfactions | Commutative unital ring metaproperty dissatisfactions | Commutative unital ring property satisfactions | Commutative unital ring property dissatisfactions
Definition
Let be a number field. Then the ring of integers in , denoted , is the subring of comprising all those elements which are integral over , in other words, which satisfy monic polynomials with integer coefficients.
The ring of integers in a number field is also termed a maximal order, here an order is a subring of which is free as a -module, and which, over , generates .
