Free abelian group of countable rank