Algebraic structure that has compatible structures of an abelian group and a monoid, in particular having multiplicative identity