Assertion: abelian group | /r/CapableOf | satisfy following properties
Facets:
Source sentences:
text: (l [greater than or equal to] 1) is defined as a map from the set of l-tuples of commuting matrices in [GL.sub.n](k) (n [greater than or equal to] 1) into some abelian group (G, +) which satisfies the following properties.