Assertion: ring's ideal | /r/HasAspect | multiplicative identity
Facets:
Source sentences:
text: The proper ideals of Z have no multiplicative identity.