Elementary nets (carpets) over a discrete valuation ring

Abstract

Elementary net (carpet) σ = ( σij) is called closed (admissible) if the elementary net (carpet) group E(σ ) does not contain a new elementary transvections. The work is related to the question of V. M. Levchuk 15.46 from the Kourovka notebook( closedness (admissibility) of the elementary net (carpet)over a field). Let R be a discrete valuation ring, K be the field of fractions of R, σ = (σ ij) be an elementary net of order n over R, ω = (ωij) be a derivative net for , and ωij is ideals of the ring R. It is proved that if K is a field of odd characteristic, then for the closedness (admissibility) of the net , the closedness (admissibility) of each pair (σ ij ; σ ji) is sufficient for all i ̸= j.

Элементарная сеть (ковер) σ = (σ ij) называется замкнутой(допустимой), если элементарная сетевая (ковровая) группа E(σ ) не содержит новых элементарных трансвекций. Работа связана с вопросом В. М. Левчука 15.46 из Коуровской тетради о замкнутости (допустимости) элементарной сети (ковра) над полем. Пусть R — дискретно нормированное кольцо, K — поле частных кольца R, σ = (σij) — элементарная сеть (ковер) порядка n над R, ω = (ωij) – производная сеть для , причем ωij — идеалы кольца R. Доказано, что если K — поле нечетной характеристики, то для замкнутости (допустимости) сети достаточна замкнутость (допустимость) каждой пары (σ ij ; σ ji) для всех i ̸= j