En mathématiques, et notamment en algèbre, un demi-groupe inversif est un demi-groupe S {\displaystyle S} où tout élément a un inverse unique au sens des demi-groupes : pour tout élément x {\displaystyle x} de S {\displaystyle S}, il existe un élément unique y {\displaystyle y} de S {\displaystyle S} tel que x = x y x {\displaystyle x=xyx} et y = y x y {\displaystyle y=yxy}. Wikipedia