Assertion: algebra's v | /r/HasProperty | a group homomorphism
Facets:
value: from the multiplicative group
type: OTHER
Source sentences:
text: v is a group homomorphism from the multiplicative group K* to a totally ordered abelian group