Assertion: abelian group's subgroup | /r/HasProperty | identified with the group of homomorphisms
Facets:
value: from z
type: OTHER
Source sentences:
text: i.e., the subgroup of G-invariant elements in M is identified with the group of homomorphisms from Z {\displaystyle \mathbb {Z} } , which is treated as the trivial G-module (every element of G acts as the identity) to M.