Здравствуйте. Скажите правильно ли я понимаю, понятие изоморфизма, например есть две алгебраические структуры

и кольцо вычетов

с операциями умножения, т.о.

, справедливо

, т.е. в данном случае операция

есть изоморфизм указанных выше алгебраических структур.