Assertion: abelian group's image | /r/HasProperty | principal ideal
Facets:
value: in l
type: LOCATION
Source sentences:
text: Every ideal of the ring of integers of K becomes principal in L , i.e., if I is an integral ideal of K then the image of I is a principal ideal in L .