请输入您要查询的字词:

 

单词 CardinalitiesOfBasesForModules
释义

cardinalities of bases for modules


Let R be a ring and M a left module over R.

Proposition 1.

If M has a finite basis, then all bases for M are finite.

Proof.

Suppose A={a1,,an} is a finite basis for M, and B is another basis for M. Each element in A can be expressed as a finite linear combinationMathworldPlanetmath of elements in B. Since A is finite, only a finite number of elements in B are needed to express elements of A. Let C={b1,,bm} be this finite subset (of B). C is linearly independentMathworldPlanetmath because B is. If CB, pick bB-C. Then b is expressible as a linear combination of elements of A, and subsequently a linear combination of elements of C. This means that b=r1b1++rmbm, or 0=-b+r1b1+rmbm, contradicting the linear independence of C.∎

Proposition 2.

If M has an infiniteMathworldPlanetmathPlanetmath basis, then all bases for M have the same cardinality.

Proof.

Suppose A be a basis for M with |A|0, the smallest infinite cardinal, and B is another basis for M. We want to show that |B|=|A|. First, notice that |B|0 by the previous propositionPlanetmathPlanetmath. Each element aA can be expressed as a finite linear combination of elements of B, so let Ba be the collectionMathworldPlanetmath of these elements. Now, Ba is uniquely determined by a, as B is a basis. Also, Ba is finite. Let

B=aABa.

Since A spans M, so does B. If BB, pick bB-B, so that b is a linear combination of elements of B. Moving b to the other side of the expression and we have expressed 0 as a non-trivial linear combination of elements of B, contradicting the linear independence of B. Therefore B=B. This means

|B|=|aABa|0|A|=|A|.

Similarly, every element in B is expressible as a finite linear combination of elements in A, and using the same argumentPlanetmathPlanetmath as above,

|A|0|B||B|.

By Schroeder-Bernstein theorem, the two inequalities can be combined to form the equality |A|=|B|.∎

随便看

 

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

 

Copyright © 2000-2023 Newdu.com.com All Rights Reserved
更新时间:2025/5/5 7:06:48