请输入您要查询的字词:

 

单词 ProofOfBasisOfIdealInAlgebraicNumberField
释义

proof of basis of ideal in algebraic number field


Although it is stated in a number fieldMathworldPlanetmath context this theorem is about -modules. 𝒪K is an integer ring, that is, it is the integral closureMathworldPlanetmath of in K.𝒪K is naturally endowed with a structureMathworldPlanetmath of -module and so are all its ideals 𝔞. Therefore the situation is that we have a -module (namely 𝔞) that is embedded in a finite dimensional vector spaceMathworldPlanetmath over , namely K. It is a well-known fact that discrete -modules of finite dimensional vector spaces over are free modulesPlanetmathPlanetmath with finite rank (ie. they have a finite basis). This is exactly the claim of the theorem.
Therefore to prove the theorem we only need prove that 𝔞 is discrete (K is by definition a finite dimensional vector space over as it is an algebraic number field).Let E:=𝔞, it is a finite dimensional -vector subspace of K. Let n be the dimensionMathworldPlanetmathPlanetmathPlanetmath of K over , and k the dimension of E over .To say that 𝔞Kn is a discrete -module of K is equivalentMathworldPlanetmathPlanetmathPlanetmathPlanetmathPlanetmath to say that every sequenceMathworldPlanetmath of elements of 𝔞 that convergesPlanetmathPlanetmath in 𝔞 for the usual Euclidian norm (http://planetmath.org/NormedVectorSpace) (ie. for x=(x1,,xn)n, ||x||2=i=1nxi2) is ultimately constant. It suffices to prove this for sequences that converges to 0 (instead of an arbitrary element of 𝔞) because 𝔞 is stable subset under additionPlanetmathPlanetmath (one can transform a sequence converging to any element of 𝔞 into a sequence converging to 0 by subtracting that element to the sequence).
Suppose there is a sequence of 𝔞 that converges to 0, we want to prove that this sequence is ultimately constant with value 0. The elements of 𝔞 can be seen as -linear endomorphismsPlanetmathPlanetmath of K, and their characteristic polynomialsMathworldPlanetmathPlanetmath have coefficients in as they are in the integral closure of .In particular the determinantMathworldPlanetmath of these endomorphisms (which is called norm in this context) is an integer (the determinant is the constant coefficient of the characteristic polynomial), and if it were possible to find a sequence of elements of 𝔞 that converges to 0 the determinant would also converge to 0 as it is a continuous functionPlanetmathPlanetmath. But it has just been said that the the determinant is an integer for any element of 𝔞, therefore for the determinants of the elements of the sequence to converge to 0 they have to be ultimately 0, that is from a certain point on, the sequence is constantly equal to 0.Since K is a field all the mappings but the 0 mapping, are injectivePlanetmathPlanetmath and therefore have non-zero norm. Therefore if the norm of the elements is 0, it means that the elements themselves were 0. Hence we have proved that the sequence that converged to 0 was ultimately evenly 0. We have thus proved that 𝔞 is a discrete -module of K.

As a reminder, here is a proof of the afore-mentioned ”well-known fact” that a discrete submodule of a finite dimensional vector space over has a basis:
First, we prove that can find a finite setMathworldPlanetmath of generators 𝔅 of E whose elements are in 𝔞.This is a straightforward inductionMathworldPlanetmath on the dimension of Vect(𝔅): start with 𝔅=, if there is element in E that is not in Vect(𝔅), then there is an element of 𝔞 that lies outside Vect(𝔅), add that element to 𝔅 and keep on doing this until dimVect(𝔅)=dimE.
At that point E/Vect(𝔅) is a finite set: the quotient E/Vect(𝔅) can be represented as the subset of dimE of elements whose projectionsPlanetmathPlanetmath to the element of 𝔅 lies in [0,1].In other words E/Vect(𝔅) is isomorphicPlanetmathPlanetmath to the torus i=1i=dimE[0,1]𝔅i. This is a compact set, and therefore as 𝔞 is discrete there are only finitely many elements of 𝔞 that lie in the torus. Therefore by adding the element of 𝔞 that lie in the torus to 𝔅, one obtains a finite set of generators of 𝔞.
As is a principal ideal ring, it is again well-known that modules with finite rank (ie. that admit a finite set of generators) over a principal ideal ring can be represented as the productPlanetmathPlanetmath of a free module times a torsion module (with finite rank). Here there is no torsion as it would mean there is an element of 𝔞 that is sent to 0 by multiplication by an integer, and this is impossible as integers are elements of K and K is a field. Therefore 𝔞 itself is a free module (with finite rank).

The discriminantMathworldPlanetmathPlanetmathPlanetmath property can be seen intrinsically. Given an algebra of linear maps, here 𝔞, one can define the symmetricMathworldPlanetmathPlanetmathPlanetmathPlanetmath bilinear map a,bETr(ab). If the algebra happens to have a basis, which we have just proved in our case, then the determinant of that map can be computed using the basis and this is what is called discriminant. But of course, the determinant of that map is not dependent on the basis…

The minimality property is in fact a property of Gram matricesMathworldPlanetmath for scalar productsMathworldPlanetmath. The elements of 𝔞 can be represented as elements of End(E,E)(dimE)2 as they are linear endomorphisms of E. The bilinear map a,bETr(ab) is then no more than the Gram matrix associated to the vectors of the basis α1,,αk of 𝔞. Indeed, taking the trace of the product of two matrices it no more than taking the sum of the pairwise products of the entries of the two matrices.The determinant of the Gram matrix is the square of the scalar factor by which volume of the unit ballMathworldPlanetmath is multiplied when taking its image through ϕα:(λ1,,λk)dimEiλiαiEnd(E,E)(dimE)2.When computing the discriminant of the βi, we look at the multiplication factor introduced by the map ϕβ. But if M is the map that associatesMathworldPlanetmath to the βi their expression in terms of the αi then ϕβ=ϕαM.Therefore Δ(βi)=det(M)2Δ(αi). If the β1,,βn are not linearly independentMathworldPlanetmath then the multiplication factor is 0 (the ball is flattened), if they are linearly independent det(M) is an integer (the βi are linear combinationMathworldPlanetmath of the αi with integer coefficients), therefore Δ(βi)Δ(αi). Finally Δ(βi)=Δ(αi) is equivalent to det(M)=1 which in turn is equivalent to M is invertiblePlanetmathPlanetmathPlanetmathPlanetmath (1 is the only positive invertible element of ), which exactly means that βi is a basis iff Δ(βi)=Δ(αi).

随便看

 

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

 

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