Значит, является инъективным гомоморфизмом или мономорфизмом в .

Так как , то , где - элемент подполукольца полного полукольца частных , т.е. и . Поскольку - инъективный гомоморфизм, то по теореме о гомоморфизме существует изоморфизм отсюда следует .

Мономорфизм называется вложением классического полукольца частных в полное полукольцо частных полукольца .▲

Библиографический список

1. Вечтомов, Е. М. Введение в полукольца [Текст] / Е. М. Вечтомов. – Киров.: ВГПУ, 2000.

2. Ламбек, И. Кольца и модули [Текст] / И. Ламбек. – Москва.: Мир, 1971. – 288 с.

3. Чермных, В. В. Полукольца [Текст] / В. В. Чермных. – Киров.: ВГПУ, 1997. – 131 с.