请输入您要查询的字词:

 

单词 TheRingOfIntegersOfANumberFieldIsFinitelyGeneratedOvermathbbZ
释义

the ring of integers of a number field is finitely generated over


Theorem.

Let K be a number field of degree n over Q and let OK be the ring of integersMathworldPlanetmath of K. The ring OK is a free abelian groupMathworldPlanetmath of rank n. In other words, there exists a finite integral basis (with n elements) for K, i.e. there exist algebraic integersMathworldPlanetmath α1,,αn such that every element of OK can be expressed uniquely as a Z-linear combinationMathworldPlanetmath of the αi.

Corollary.

Every ideal of OK is finitely generatedMathworldPlanetmathPlanetmath.

Proof of the corollary.

By the theorem, 𝒪K is a free abelian group of rank n, and therefore it is finitely generated. Notice that an ideal is an additive subgroupMathworldPlanetmathPlanetmath. Finally a subgroup of a finitely generated free abelian group is also finitely generated.∎

This is the first step to prove that 𝒪K is a Dedekind domainMathworldPlanetmath. Notice that the field of fractionsMathworldPlanetmath of 𝒪K is the field K itself. Therefore, by definition, 𝒪K is integrally closedMathworldPlanetmath in K.

随便看

 

数学辞典收录了18232条数学词条,基本涵盖了常用数学知识及数学英语单词词组的翻译及用法,是数学学习的有利工具。

 

Copyright © 2000-2023 Newdu.com.com All Rights Reserved
更新时间:2025/5/5 4:07:45