自由モジュールの構成、基底と一般性質