Assertion: abelian group's subgroup | /r/CapableOf | pullback to the subgroup
Facets:
value: in g
type: LOCATION
Source sentences:
text: Therefore, pullback this subgroup to the subgroup in G and it normalizes H. (This proof is the same argument as for p-groups –