Assertion: quotient group | /r/HasProperty | defined given normal subgroup
Facets:
Source sentences:
text: Given any normal subgroup N, the quotient group is defined by