Cyclic module
A module generated by a single element.
A left -module is cyclic if there exists such that
Equivalent characterizations
For a generator , the map , , is surjective with kernel equal to the annihilator . Hence
as left -modules. Conversely, every quotient of the left regular module is cyclic.
Examples
- As a -module, is generated by .
- Any principal left ideal is generated by .
- The zero module is cyclic, generated by .