Выдержка из книги
Гамкрелидзе Р.В.
Современные проблемы математики Фундаментальные направления Том57
Для групп понятие изотопии не играет особой роли в силу теоремы Алберта: если две группы изотопны, то они изоморфны. Это утверждение следует из более общего утверждения: если лупа изотопна группе, то она изоморфна ей. Свойства луп, сохраняющиеся при изотопии, называются универсальными ] из вышесказанного следует, что примером универсального свойства является ассоциативность. Категория квазигрупп погружается в категорию обратимых - автоматов и некоторая квазигрупповая формула, в частности, тождество является универсальной тогда и только тогда, когда она выразима в терминах объемлющей категории автоматов.
![Для групп понятие изотопии не играет особой роли в силу теоремы Алберта: если две группы изотопны, то они изоморфны. Это утверждение следует из более общего утверждения: если лупа изотопна группе, то она изоморфна ей. Свойства луп, сохраняющиеся при изотопии, называются универсальными ] из вышесказанного следует, что примером универсального свойства является ассоциативность. Категория квазигрупп погружается в категорию обратимых - автоматов и некоторая квазигрупповая формула, в частности, тождество является универсальной тогда и только тогда, когда она выразима в терминах объемлющей категории автоматов.](/pic/2484780m54sGOv0003290664.png)