Доказать, что множество классов вычетов является группой

[VAL]

caxap в сообщении #457534 писал(а):

Проверьте аксиомы.

Аксиомы проверяются тривиально (не для ТС, а в принципе). Самое содержательное - проверка корректности задания операции.

[Kallikanzarid]

maxwelldream
Гуглите факторгруппу и будет вам счастье.