Симплектические пространства с $p$-группами операторов над полем характеристики $p$

Пусть $K$ — поле ненулевой характеристики $p\ne2$, $G$ — конечная $p$-группа и $M$ — невырожденное конечномерное симплектическос пространство над $K$, наделенное согласованной структурой $G$-модуля. Доказывается, что если $M$ — свободный $K[G]$-модуль, то в $M$ существует нормальный базис с канонической матрицей Грама. Библ. 2 назв.