模是一个重要的代数系统。20世纪40年代以后，由于模的理论更进一步得到了发展，模在环论、群论、李代数、交换代数中占有非常重要的地位。半单模(semi-simple module)亦称完全可约模。由单子模生成的模。设A是有单位元的环，若A模M是它的单子模的和，则一定是它的某些单子模的直和，此时称M是半单模。除环上任意模都是半单模。