Assertion: abelian group's subgroup | /r/CapableOf | equal its normal core
Facets:
Source sentences:
text: The idea behind using the normal core to prove normality is to show that the given subgroup equals its normal core: the largest normal subgroup contained in it.