本項では用語の一貫性を図るため、特に断りの無い場合は環も加群も単位的であると仮定する)。