Assertion: abelian group's element | /r/CapableOf | define a group structure
Facets:
Source sentences:
text: For example, the cyclic group of addition modulo n can be obtained from the group of integers under addition by identifying elements that differ by a multiple of n and defining a group structure that operates on each such class (known as a congruence class) as a single entity.