Надгруппы элементарной блочно-диагональной подгруппы классической симплектической группы над произвольным коммутативным кольцом

В работе описаны подгруппы классической симплектической группы над произвольным коммутативным кольцом $R$, содержащие элементарную блочно-диагональную (подсистемную) подгруппу $\operatorname{Ep}(\nu,R)$ типа $\nu$, такую что все самосопряженные блоки имеют размер хотя бы 4 и все не самосопряженные блоки имеют размер хотя бы 5. Точнее, для любой надгруппы $H$ группы $\operatorname{Ep}(\nu,R)$ симплектической группы $\operatorname{Sp}(2n,R)$ существует единственная главная точная форменная сеть идеалов $(\sigma,\Gamma)$ над $R$, такая что $\operatorname{Ep}(\sigma,\Gamma)\le H\le\mathrm N_{\operatorname{Sp}(2n,R)}(\operatorname{Sp}(\sigma,\Gamma))$. При этом нормализатор $\mathrm N_{\operatorname{Sp}(2n,R)}(\operatorname{Sp}(\sigma,\Gamma))$ описывается в терминах конгруэнций.