直既約は単純加群よりも弱い概念である.
加群