cardinalities of bases for modules
Let be a ring and a left module over .
Proposition 1.
If has a finite basis, then all bases for are finite.
Proof.
Suppose is a finite basis for , and is another basis for . Each element in can be expressed as a finite linear combination of elements in . Since is finite, only a finite number of elements in are needed to express elements of . Let be this finite subset (of ). is linearly independent
because is. If , pick . Then is expressible as a linear combination of elements of , and subsequently a linear combination of elements of . This means that , or , contradicting the linear independence of .∎
Proposition 2.
If has an infinite basis, then all bases for have the same cardinality.
Proof.
Suppose be a basis for with , the smallest infinite cardinal, and is another basis for . We want to show that . First, notice that by the previous proposition. Each element can be expressed as a finite linear combination of elements of , so let be the collection
of these elements. Now, is uniquely determined by , as is a basis. Also, is finite. Let
Since spans , so does . If , pick , so that is a linear combination of elements of . Moving to the other side of the expression and we have expressed as a non-trivial linear combination of elements of , contradicting the linear independence of . Therefore . This means
Similarly, every element in is expressible as a finite linear combination of elements in , and using the same argument as above,
By Schroeder-Bernstein theorem, the two inequalities can be combined to form the equality .∎