rational rank of a group
In the following, is an abelian group.
Definition 1.
The group is called the divisible hull of .
It is a -vector space such that the scalar -multiplication of is extended to .
Definition 2.
The elements are called rationally independent if they are linearly independent over , i.e. for all :
Definition 3.
The dimension of over is called the rational rank of .
We denote the rational rank of by .
Example:
because .
Properties:
- •
If is a subgroup
of then we have:
It results from the fact that is a flat module.
- •
The rational rank of the group can be defined as the least upper bound (finite or infinite) of the cardinals such that there exist rationally independent elements in .