ДОСТАТОЧНЫЕ УСЛОВИЯ НЕСТАБИЛЬНОСТИ ЭЛЕМЕНТА СВОБОДНЫХ НИЛЬПОТЕНТНЫХ ГРУПП

Научная статья
DOI:
https://doi.org/10.18454/IRJ.2015.42.130
Выпуск: № 11 (42), 2015
Опубликована:
2015/15/12
PDF

Ковыршина А.И.1, Лапшина Е.С.2

1Кандидат физико-математических наук, 2Кандидат физико-математических  наук, Иркутский государственный университет

ДОСТАТОЧНЫЕ УСЛОВИЯ НЕСТАБИЛЬНОСТИ ЭЛЕМЕНТА СВОБОДНЫХ НИЛЬПОТЕНТНЫХ ГРУПП

Аннотация

Поиск стабильных элементов свободных нильпотентных групп тесно связан с  нестабильными  элементами в этих группах. При установлении достаточных условий существования нестабильных элементов значительно облегчается поиск стабильных.  Статья посвящена описанию множества базисных коммутаторов определенного вида, среди линейных комбинаций которых нет стабильных элементов. Рассматривается свободная нильпотентная группа ранга 3 ступени 12.

Ключевые слова: автоморфизмы групп, неподвижные точки, нильпотентные группы.

 

Kovyrshina A.I.1, Lapshina E.S.2

1 PhD in Physics and Mathematics, 2 PhD in Physics and Mathematics, Irkutsk State University

SUFFICIENT CONDITIONS OF INSTABLE ELEMENTS OF FREE NILPOTENT GROUP

Abstract

 Search of stable elements of free nilpotent groups is closely associated with unstable elements in these groups. In establishing sufficient conditions for the existence of unstable elements search for stability is much easier. The article describes the set of a particular type of basic commutators, among the linear combinations of which there are not stable elements. We consider the free nilpotent group of rank 3 class 12.

Keywords: automorphisms groups, fixed points, nilpotent groups.

Элемент image002 группы image004 называется нестабильным, если существует автоморфизм   image006,  такой что image008

Вопросами о существовании нетривиальных стабильных элементов в свободных нильпотентных группах занимались В.В. Блудов [1], А. Папистас [2], Е. Форманек [3], А.И. Ковыршина [4, 5].  Так, А. Папистас и Е. Форманек доказали существование  нетривиальных стабильных элементов в свободных нильпотентных группах при определенных условиях на ступень и ранг группы.  Работы [4, 5] посвящены описанию нетривиальных стабильных элементов свободных нильпотентных групп, ранг и ступень которых удовлетворяют условиям, найденным  А. Папистас и Е. Форманек. Поиск стабильных элементов является технически сложным процессом. В работе [4] приведены основные теоремы, описывающие строение стабильных элементов группы image010 - свободной нильпотентной группы ступени 12 ранга 3 с образующими  image012image014image016 . Однако, вопрос о полном описании таких элементов в группеimage010 остался открытым.

Нами доказана следующая теорема:

Теорема: Пусть image002 - элемент группы image010 с образующими  image012image014image016 . Если хотя бы один базисный коммутатор в разложении элемента image002 по базисным коммутаторам имеет вид image022, или image024, где image026, image028, то image002 является нестабильным.

Доказательство. Нетрудно проверить, что среди линейных комбинаций элементов вида image022, image026 нет нетривиальных стабильных элементов. Покажем, что среди комбинаций базисных элементов вида image024 их нет. Наибольший интерес представляет случай, когда image030, так как базисный коммутатор вида image032 под действием автоморфизмов, порождающих группу всех автоморфизмов группы image010, становится  небазисным.

Введем следующие  обозначения базисных коммутаторов вида image032:

08-12-2015 10-27-17

Пусть image079 - линейная комбинация элементов image081 с целыми коэффициентами  image083.  Подействуем на элемент image085 автоморфизмом image087, image089. Линейная комбинация всех базисных коммутаторов, полученных из image081 заменой одного вхождения образующего image091 на image016 равна:

08-12-2015 10-38-06

После приведения подобных, запишем условия, при которых рассматриваемая сумма равна нулю:

08-12-2015 10-38-46

Далее, применим к элементу image085 автоморфизм image163,image089. Коммутатор image166 входит в линейную комбинацию всех коммутаторов, полученных из image002заменой одного вхождения образующего image091 на image170 с коэффициентом image172. Приравняем данный коэффициент к нулю и решим систему полученных уравнений с учетом равенства image174.

Объединенная система  имеет единственное нулевое решение. Таким образом, при любых целых значениях image083 элемент image085 является нестабильным элементом.

Пусть  разложение элемента image002 по базисным коммутаторам имеет вид image179, где image085 -  линейные комбинации коммутаторов  вида image022, image181 -  линейные комбинации коммутаторов  вида image024, image026, image183 - линейная комбинация коммутаторов, вид которых отличен от вида коммутаторов, входящих в image085 и image181.

Рассмотрим image185, где image187 - коммутант группы image004. Множество image190 не содержит коммутаторов вида image022, а все элементы вида image024 принадлежат image190. Так как image190 - характеристическая подгруппа,  то для любого автоморфизма image192 в автоморфном образе базисных элементов вида image024 не может быть коммутаторов вида image022. Среди линейных комбинаций элементов рассматриваемых видов  нет нетривиальных стабильных элементов, поэтому существует автоморфизм image194, такой что image196. Подействуем автоморфизмом  image198 на image179.

Рассмотрим подгруппу image200. Элементы image085 и image181 не принадлежат image204,

а  image206, так как image183- линейная комбинация коммутаторов, вид которых отличен от вида коммутаторов, входящих в image085 и image181. Так как image204 - характеристическая подгруппа, то для автоморфного образа элемента image183  выполняется условие  image209. Следовательно, коммутаторы вида image022 или image024 не входят в разложение image211. Таким образом, image196,  в image211  нет элементов, входящих в  image085 или image181, а значит image213. Теорема  доказана.

Литература

  1. Блудов В.В. Неподвижные точки относительно всех автоморфизмов в свободных нильпотентных группах. //Третий Сибирский конгресс по прикладной и индустриальной математике. Тез. докл. часть 5. Новосибирск, 1998.
  2. Papistas A. A note on fixed points of certain relatively free nilpotent groups //Communications in algebra. 2001. No. 29, Pp. 4693-4699.
  3. Formanek E. Fixed points and centers of automorphism groups of free nilpotent groups // Communications in algebra. 2002. No. 30. Pp. 1033-1038.
  4. Ковыршина А.И. Стабильные элементы в свободных нильпотентных группах ранга три // Вестник Омского университета. – 2010. – №4 (58). – С. 20–23.
  5. Ковыршина А.И. О стабильных элементах в свободных нильпотентных группах ранга два // Вестник Бурятского государственного университета. Серия: Математика и информатика. – 2015. – № 9. – С. 3–6.

References

  1. Bludov V.V. Fixed points with respect to all automorphisms in free nilpotent groups // Third Siberian Congress on Industrial and Applied Mathematics. Proc. rep. Part 5. Novosibirsk. 1998. 2. Papistas A. A note on fixed points of certain relatively free nilpotent groups //Communications in algebra. 2001. No. 29, Pp. 4693-4699.
  2. Formanek E. Fixed points and centers of automorphism groups of free nilpotent groups // Communications in algebra. 2002. No. 30. Pp. 1033-1038.
  3. Kovyrshina A.I. Fixed points with respect to all automorphisms of the free nilpotent groups for three generators // Herald of Omsk University. 2010. No. 4 (58). Pp. 20-23.
  4. Kovyrshina A.I. Stable elements in free nilpotent groups of rank two // Bulletin of Buryat State University. – 2015. – No.9. – Pp. 3–6.