環上の加群
加群が巡回加群であるとは、それが唯一つの元で生成されるときにいう。