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

Говорят, что подгруппа H полной линейной группы GL(n,R) порядка n над кольцом R богата трансвекциями, если она содержит элементарные трансвекции tij(α)=e+αeij на всех позициях (i,j), i≠j, для некоторых α∈R, α≠0. Это понятие ввел З. И. Боревич, рассматривая задачу описания подгрупп линейных групп, содержащих фиксированную подгруппу. Известно, что надгруппа нерасщепимого максимального тора, содержащая элементарную трансвекцию на некоторой одной позиции, богата трансвекциями. Для коммутативной области R с единицей и цикла π=(1 2 …n)∈Sn длины n доказано следующее утверждение. Для того чтобы подгруппа ⟨tij(α),(π)⟩ полной линейной группы GL(n,R), порожденная матрицей-перестановкой (π) и трансвекцией tij(α), была богата трансвекциями, необходимо и достаточно, чтобы число i-j было взаимно просто с n. Система аддитивных подгрупп σ=(σij), 1≤i,j≤n, кольца R называется сетью (ковром) над кольцом R порядка n, если σirσrj⊆σij при всех значениях индексов i, r, j (З. И. Боревич, В. М. Левчук). Такая же система, но без диагонали, называется элементарной сетью. Полную или элементарную сеть σ=(σij) мы называем неприводимой, если все аддитивные подгруппы σij отличны от нуля. В работе определяются слабо насыщенные сети, которые играют важную роль в доказательстве основного результата.