Об одном применении метода ортогональной полноты в теории градуированных колец

Метод ортогональной полноты разработали К. И. Бейдар и А. В. Михалёв в 1970-х гг. Изначально метод применялся в теории колец и использовался главным образом для вывода теорем о полупервичных кольцах путём редукции к случаю первичных колец. В 1980-х годах эти авторы развили теорию ортогональной полноты произвольных алгебраических систем.
Теория ортогональной полноты применяется к градуированным по группе кольцам. Для применения теорем об ортогональной полноте Бейдара–Михалёва градуированное кольцо рассматривается как алгебраическая система с сигнатурой кольца, дополненной операциями взятия однородных компонент и предикатами однородности. Доказывается градуированный аналог теоремы Херстейна о первичных кольцах с дифференцированием и его обобщение на полупервичные кольца с помощью метода ортогональной полноты. Доказывается, что всякое однородное дифференцирование градуированного кольца продолжается до однородного дифференцирования его полного правого градуированного кольца частных.