Давно мучает такой вопрос. Он касается первой аксиомы группы: для каждой упорядоченной пары элементов непустого множества А по некоторому закону найдётся единственный элемент того же множества А. Действительно ли такой элемент должен быть определён однозначно?
Да, всегда. Однозначность вкладывается в понятие операции. А умножение --- именно операция.
-- Пт июн 04, 2010 10:43:05 --Я прав?
Вообще-то нет. Потому что пишете "операция определяется", а затем определяете отнюдь не операцию!
В том, что не является группоидом, правы.