Рассмотрим множество чисел M = {1, 2, 3, ..., 2¹⁴ - 1}. Определим на этом множестве операцию «циклического сложения»:
x⊕y = [(x+y) / 2¹⁴] + (x+y) mod 2¹⁴
(целая часть от деления x+y на 2¹⁴ + остаток от деления x+y на 2¹⁴).

Например:
123 ⊕ 456 = [(123+456) / 2¹⁴] + (123+456) mod 2¹⁴  = 0 + 579 = 579

16380 ⊕ 7 = [(16380+7) / 2¹⁴] + (16380+7) mod 2¹⁴  = 1 + 3 = 4

Докажите, что эта операция определяет группу на множестве M и найдите её нейтральный элемент? Введите его в двоичной системе счисления.