定義
A を環、M を A-加群とする。
M ≠ 0 で
M ≠ N かつ N ≠ 0 となる部分加群 N が存在しないとき
M を単純加群と呼ぶ。