Попробую сформулировать вопрос так: пусть есть две алгебраические структуры

и отдельно элемент

Утверждается, что посредством умножения на

задается отождествление

Что означает такое отождествление и как с ним работать? Это ведь не та же ситуация, что и

или та же? Если

и

то

отождествляется с

а

с

И могу ли я писать

вместо
