mZ is a principal ideal of Z because it is generated by a single element m. By definition, the principal ideal generated by m in a commutative ring is the set of all multiples rm where r is in the ring.
Conditions: The ambient ring is the ring of integers Z.; m is an integer.; The set under consideration is mZ.
mZ is a principal ideal of Z because it is generated by a single element m. By definition, the principal ideal generated by m in a commutative ring is the set of all multiples rm where r is in the ring.
Conditions: The ambient ring is the ring of integers Z.; m is an integer.; The set under consideration is mZ.