Assertion: group | /r/Synonym | an additive group
Facets:
value: in that case
type: TEMPORAL
Source sentences:
text: If a group is abelian, then one may choose to denote the group operation by + and the identity element by 0; in that case, the group is called an additive group.