Вложение полугрупп с сокращением в моноассоциативные $IP$-лупы

Доказывается теорема об условиях вложимости группоида в $IP$-лупу с сохранением некоторых тождеств. В качестве следствий получены ответы на два вопроса из книги В. Д. Белоусова “Основы теории квазигрупп и луп”.