Abelian group
二つの自由アーベル群のテンソル積はつねに、積をとる二つの群の基底のカルテシアン積を基底にもつ自由アーベル群になる。