3-й пунк уже обсуждался - нет
Поскольку полугруппа коммутативна по сложению, т.е. в ней есть определяющие соотношения, по она не свободная.
Путаница какая-то! Может я не правильно рассуждаю, но выходит моноид: а+0=0+а=а