Библиографическое описание:To the Question of the Closure of the Carpet : научное издание / Elizaveta N. Troyanskaya. - Текст : непосредственный // Журнал Сибирского федерального университета. Серия: Математика и физика. - 2024. - Т. 17, № 5. - P. 684-688. - This work is supported by the Krasnoyarsk Mathematical Center and financed by the Ministry of Science and Higher Education of the Russian Federation (Agreement No. 075-02-2024-1429). - ISSN 1997-1397. - ISSN 2313-6022.
Аннотация:For a root system Φ, the set A = {Ar | r ∈ Φ} of additive subgroups Ar over commutative ring K is called a carpet of type Φ if commuting two root elements xr (t), t ∈ Ar and xs(u), u ∈ As, gives a result where each factor lies in the subgroup Φ(A) generated by the root elements xr (t), t ∈ Ar, r ∈ Φ. The subgroup Φ(A) is called a carpet subgroup. It defines a new set of additive subgroups A = {Ar | r ∈ Φ}, the name of the closure of the carpet A, which is set by equation Ar = {t ∈ K | xr (t) ∈ Φ(A)}. Ya. Nuzhin wrote down the following question in the Kourovka notebook. Is the closure A of a carpet A a carpet too?(question 19.61). The article provides a partial answer to this question. It is proved that the closure of a carpet of type Φ over commutative ring of odd characteristic p is a carpet if 3 does not divide p when Φ of type G2.
Для системы корней Φ набор A = {Ar | r ∈ Φ} аддитивных подгрупп Ar коммутативного кольца K называется ковром типа Φ, если при коммутировании двух корневых элементов xr (t), t ∈ Ar и xs(u), u ∈ As, каждый сомножитель из правой части коммутативной формулы Шевалле лежит в подгруппе Φ(A), порожденной корневыми элементами xr (t), t ∈ Ar, r ∈ Φ.Подгруппа Φ(A) называется ковровой подгруппой. Она определяет новый набор аддитивных подгрупп A = {Ar | r ∈ Φ}, называемый замыканием ковра A, который задается равенствами Ar = {t ∈ K | xr (t) ∈ Φ(A)}. Я.Н. Нужин записал в Коуровской тетради следующий вопрос. Является ли замыкание A ковра A ковром? (вопрос 19.61). В статье доказано, что замыкание ковра типа Φ над коммутативным кольцом нечетной характеристики p является ковром, если 3 не делит p, когда Φ типа G2.
