properties of bases
Let $V$ be a vector space^{} over a field $k$.

1.
$V$ has a basis.

2.
Every linearly independent^{} set in $V$ can be expanded into a basis for $V$.

3.
Every spanning set of $V$ contains a subset that is a basis for $V$.

4.
If $A,B$ are subsets of $V$ such that $A$ is linearly independent and $B$ spans $V$, then
$$A\le B.$$ 
5.
All bases for $V$ have the same cardinality (hence it is possible to define the dimension^{} of a vector space).

6.
$V$ and $W$ are isomorphic^{} iff their bases have the same cardinality.
Remarks.

•
Property 1 is actually a special case of either property 2 or property 3. If we take $\mathrm{\varnothing}$ as the given linearly independent set in $V$, and apply property 2, we obtain property 1. Likewise, if we take $V$ as the given spanning set of $V$, and apply property 3, we again obtain property 1.

•
The above properties can be generalized to a (left or right) vector space over a division ring.

•
However, most of the properties on bases can not be generalized to an arbitrary module over an arbitrary ring. For example, not all modules have bases. But we do have the following: let $M$ be a (left) module over a ring $R$. Then

(a)
if $M$ has a finite basis, then all bases for $M$ are finite.

(b)
if $M$ has an infinite basis, then all bases for $M$ have the same cardinality.
When a module has a basis, then we call it a free module^{} (other characterizations are possible). So free modules behave a bit like vector spaces. However, unlike a vector space, one may not be able to define a dimension on a free module. It is possible that, in a finitely generated^{} free module, there are two bases of different cardinalities. For more on this, see the entry on IBN.

(a)
Title  properties of bases 

Canonical name  PropertiesOfBases 
Date of creation  20130322 18:06:00 
Last modified on  20130322 18:06:00 
Owner  CWoo (3771) 
Last modified by  CWoo (3771) 
Numerical id  9 
Author  CWoo (3771) 
Entry type  Result 
Classification  msc 15A03 
Classification  msc 13C05 
Classification  msc 16D40 