Somewhat akin to the dimension of vector spaces, every abelian group has a "rank". It is defined as the maximal cardinality of a set of linearly independent (over the integers) elements of the group. Finite abelian groups and torsion groups have rank zero, and every abelian group of rank zero is a torsion group. The integers and the rational numbers have rank one, as well as every nonzero additive subgroup of the rationals. On the other hand, the multiplicative group of the nonzero rationals has an infinite rank, as it is a free abelian group with the set of the prime numbers as a basis (this results from the fundamental theorem of arithmetic).