аддитивно свободная группа