Assertion: group's subgroup | /r/HasProperty | normal
Facets:
Source sentences:
text: For this to be possible, the subgroup has to be normal.
text: A nontrivial group is called simple if its only normal subgroups are the trivial group and the group itself.[s]
text: Given any normal subgroup N, the quotient group is defined by