История изменений
Исправление
dikiy,
(текущая версия)
:
под нулем ты имеешь ввиду нейтральный элемент?
того, что есть левонейтральный и правонейтральный быть не может, так как пусть a - левонейтральный, а b - правонейтральный, тогда с одной стороны
a*b = b, а с другой a*b = a => a=b.
допусти теперь, что существуют два нейтральных a и b, тогда
a*b = a = b*a = b.
то есть в любом случае есть только один нейтральный элемент (он же левосторонний, и правосторонний одновременно), независимо от коммутативности группы.
Исходная версия
dikiy,
:
под нулем ты имеешь ввиду нейтральный элемент?
того, что есть левонейтральный и правонейтральный быть не может, так как пусть a - левонейтральный, а b - правонейтральный, тогда с одной стороны
a*b = b, а с другой a*b = a => a=b.
допусти теперь, что существуют два нейтральных a и b, тогда
a*b = a = b*a = b.
то есть в любом случае есть только один нейтральный элемент, независимо от коммутативности группы.