Assertion: presentation's element | /r/HasProperty | product
Facets:
value: in d
type: LOCATION
Source sentences:
text: It follows that each element of N, when considered as a product in D 8 , will also evaluate to 1; and thus that N is a normal subgroup of F. Thus D 8 is isomorphic to the quotient group