数学、特に代数学において、環 "a" が "a"-加群として半単純加群、すなわち、非自明な部分加群をもたない "a"-加群の直和であるとき、"a" を半単純環という。