Homotopy Type Theory rationalization of an abelian group > history (Rev #3, changes)

Showing changes from revision #2 to #3: Added | Removed | Changed

Defintion

The rationalization of an abelian group $G$ is the tensor product $G \otimes \mathbb{Q}$ of $G$ with the rational numbers $\mathbb{Q}$. $G \otimes \mathbb{Q}$ is also called a rationalized abelian group.

See also

• rational numbers
• abelian group
• torsion-free divisible group
• rationalization of a simply connected type