А какая разница из чего состоит группа???!!!
Задачу-то хоть прочитали? Поскольку в ней употребляется nx, а не x^n, то речь идёт об аддитивной группе, то есть операция обозначается знаком +, а nx - это просто сумма иксов в количестве n экземпляров.
Отображение F у Вас задано: F(x)=nx.
Надо проверить, что для любых x и y справедливо равенство
F(x+y)=F(x)+F(y).

В чём проблема то? Не знаете, в каком месте коммутативность понадобится? Ну дык для этого надо хотя бы начать, а там сразу и видно будет.