Assertion: real number's part | /r/CapableOf | use infinite places of k.
Facets:
Source sentences:
text: The free part of the unit group can be studied using the infinite places of K. Consider the function