Абелева полугруппа