在模论中，一个环 formula_1 上的左模 formula_2 若可表为单模的直和，便称 formula_2 为半单模。本条目中的环皆有乘法单位元素 formula_4。对于右模，相应的陈述依然成立。
等价定义.以下陈述彼此等价：
半单环.借由环的乘法运算，每个环 formula_1 都可视为左（或右） formula_1-模。若 formula_1 是半单 formula_1-模，则称 formula_1 为半单环。可以证明：环 formula