🔍
🏠
Wikipedia
🎲
Torsion-free abelian group of rank 1