Free abelian group of rank three