О дифференцированиях первичных колец положительной характеристики

Пусть внутренняя ассоциативная часть $\mathbb{B}(L)$ конечномерной дифференциальной алгебры Ли, действующей на первичном кольце $R$, квазифробениусова. Тогда кольцо констант $R^L$ первично тогда и только тогда, когда $\mathbb{B}(L)$ – дифференциально простое кольцо. Кольцо констант полупервично тогда и только тогда, когда $\mathbb{B}(L)$ – прямая сумма дифференциально простых колец, при этом первичная размерность кольца констант равна числу дифференциально простых слагаемых $\mathbb{B}(L)$. Замыкание Галуа алгебры $L$ получается из $L$ присоединением всех внутренних для двустороннего мартиндейловского кольца частных дифференцирований, отвечающих элементам из $\mathbb{B}(L)$.