Спасибо за исчерпывающий ответ!
А такой вариант будет понятен алгебраистам?
Пусть существует изоморфизм группы
![$(A, +)$ $(A, +)$](https://dxdy-04.korotkov.co.uk/f/b/0/c/b0cfe36aaf8c51012f6b2f1d9b1c1ea282.png)
в группу действительных чисел.
С точки зрения алгебры это две изоморфные группы, которые можно не различать.
Но если считать, что группа действительных чисел является моделью группы
![$(A, +)$ $(A, +)$](https://dxdy-04.korotkov.co.uk/f/b/0/c/b0cfe36aaf8c51012f6b2f1d9b1c1ea282.png)
,
то различие между группами может быть существенным. В группе
![$(A, +)$ $(A, +)$](https://dxdy-04.korotkov.co.uk/f/b/0/c/b0cfe36aaf8c51012f6b2f1d9b1c1ea282.png)
правило суммирования не определено в явном виде,
а в группе действительных чисел задано в явном виде. Следовательно модель может быть не адекватна оригиналу.