Введение к работе
Актуальность работы. В 1912 году М.Дэн сформулировал три фундаментальные алгоритмические проблемы теории групп: проблема равенства, проблема сопряженности и проблема изоморфизма. Эти проблемы играют важную роль и в современной геометрической теории групп, являясь мерой сложности различных классов групп. Отметим, что проблема сопряженности содержит в себе проблему равенства, так как сопряженность единичному элементу равносильна его тривиальности. Проблемы сопряженности и изоморфизма, понимаемые в широком смысле, также связаны между собой. Например, сопряженность матриц над некоторым кольцом эквивалентна изо-морфности определенного типа модулей над кольцом многочленов. В свою очередь, проблема изоморфизма модулей ранга 1 над коммутативным целостным кольцом А может быть сведена к проблеме равенства в группе Пикара кольца А.
Мотивация к изучению проблем М.Дэна исходит из алгебраической топологии. Проблеме равенства для фундаментальной группы топологического пространства Т соответствует топологическая проблема: стягиваема ли данная замкнутая петля в Т? Сопряженность элементов в группе ж і (Т) соответствует свободной гомотопности двух замкнутых петель. Наконец, решение проблемы изоморфизма для фундаментальных групп дает метод для различения пространств (проблема гомеоморфизма).
В работе М.Дэна первые две проблемы были решены для фундаментальных групп компактных поверхностей. Но только в 1968 году Ф.Вальдхаузен сумел доказать разрешимость проблемы равенства для групп узлов, и понадобилось еще 22 года, прежде чем З.Села (1993) доказал разрешимость проблемы сопряженности.
Принципиальное решение проблем Дэна было получено благодаря про-
никновению в теорию групп идей и методов математической логики. Одним из величайших достижений математики двадцатого века является установление точного смысла понятия «алгоритм». В 1936 г. были практически одновременно опубликованы работы А.Чёрча, С.К.Клини, А.М.Тьюринга и Э.Л.Поста, в которых эта проблема была решена. Появление первых результатов о неразрешимости привело к идее о том, что фундаментальные проблемы М.Дэна рекурсивно неразрешимы. В частности, оказалось, что существует конечно заданная группа с неразрешимой проблемой равенства. Полное и детальное доказательство этой теоремы было опубликовано ак. П.С.Новиковым в 1955 году. Вскоре после этого ак. С.И.Адян доказал неразрешимость проблемы изоморфизма любой данной конечно определенной группе. Неразрешимость сопутствующей проблемы гомеоморфизма n-мерных топологических многообразий при п > 4 доказал А.А.Марков (1958).
В многообразии всех абелевых групп Л все проблемы Дэна и многие другие имеют очевидное положительное решение. Поэтому естественным представляется вопрос об алгоритмических проблемах для разрешимых групп.
Проблема равенства для разрешимых групп. Проблема равенства решается положительно в классе полициклических групп ввиду их матричной представимости. В силу теоремы Ф.Холла (1954) конечно порожденная ме-табелева группа финитно аппроксимируема, поэтому проблема равенства в многообразии Л2 решается положительно. Прямой алгоритм для проблемы равенства в Л2 указал Е.И.Тимошенко (1973). Проблема равенства в многообразии ZA центрально-метабелевых групп решена положительно Н.С.Романовским (1982). Результат затем был усилен О.Г.Харлампович (1987), доказавшей, что в многообразии Л/*2.А, как и в любом его подмногообразии, проблема равенства разрешима.
Н.С.Романовский доказал, что проблема вхождения решается положи-
тельно для конечно порожденных AN'-групп (1980). По-видимому, теорема Романовского справедлива и для конечно порожденных полициклических-над-абелевыми групп.
Проблема сопряженности. М.И.Каргаполов и В.Н.Ремесленников (1966) доказали разрешимость проблемы сопряженности в классе всех конечно порождённых свободных разрешимых групп. Проблема сопряженности в свободных поли-нильпотентных группах решена Р.А.Саркисяном (1972). Из теоремы В.Н.Ремесленникова (1973) следует, что прип > 5 существуют примеры конечно определенных в многообразии Лп групп, для которых она решается отрицательно. С другой стороны, Р.А.Саркисян (1972) указал алгоритм решения проблемы сопряженности для свободных полини л ьпотентных групп, а Дж.Болер (1976) - для одного конкретного класса метабелевых групп.
Проблема изоморфизма. В.Н.Ремесленников и А.С.Киркинский построили для каждого п > 7 такую конечно определенную в Лп группу (7, что не существует алгоритма, выясняющего для любой конечно определенной в Лп группы, изоморфна она G или нет. Здесь интересной нерешенной задачей остается проблема изоморфизма для метабелевых групп. Напомним, что в классе всех групп отрицательно решается проблема изоморфизма единичной группе, в то время как в многообразии Лп эта проблема имеет положительное решение. Проблема изоморфизма для нильпотентных групп решена положительно Ф.Грюневальдом и Д.Сегалом (1980). Отметим, что близкая к ней по постановке проблема эпиморфизма неразрешима уже в классе 2-нильпотент-ных групп. Неразрешимость проблемы эндоморфной сводимости в свободных нильпотентных группах большого ранга доказал В.А.Романьков (1997). Эта работа имеет важные следствия, в том числе её идеи привели к доказательству неразрешимости проблемы тождества в теории групп (Ю.Г.Клейман). Альтернативный подход к алгоритмическим проблемам для линейных алгеб-
раических групп был развит в 80-х годах прошлого столетия Р.А.Саркисяном. Этот подход также даёт положительное решение проблемы изоморфизма для конечно порожденных нильпотентных групп по модулю выполнимости «принципа Хассе» для односвязных полупростых алгебраических групп, определенных над полем рациональных чисел. Выполнимость «принципа Хассе» долгое время оставалась доказанной для всех односвязных полупростых алгебраических групп, кроме группы Е% (Г.Хардер). Случай Е% был рассмотрен В.И.Черноусовым (1989) и, таким образом, решение Саркисяна стало безусловным. Проблема изоморфизма для полициклических групп была решена Д.Сегалом (1990).Один из возможных подходов к проблеме изоморфизма основан на понятии рода. Для произвольной группы G обозначим через TG множество конечных гомоморфных образов группы G, рассматриваемых с точностью до изоморфизма. Род Q(G) группы G - это множество всех групп Н, таких, что TG = J-H (снова рассматриваемых с точностью до изоморфизма). Вопрос о мощности a(G) множества 6(G) известен как проблема рода. Известно, что почти полициклические группы G, Н принадлежат одному роду в том и только том случае, когда их пополнения в проконечной топологии топологически изоморфны. Легко видеть, что a(G) = 1 в случае абелевой группы G. В то же время существуют достаточно простые примеры неизоморфных нильпотентных групп одного рода. Для класса нильпотентных групп функцию a(G) исследовали Ф.Харари и П.Пикель, Г.Мислин, К.Лемер и другие (1970-е годы). Для этих групп Ф.Грюневальд и Р.Шарлау показали, что функция a(G) не ограничена даже на классе нильпотентных групп класса2 (1979). П. Пикель доказал, что род свободной группы в любом нильпотентном многообразии тривиален (1976). Глубокий результат Ф.Грюневальда и Д.Сегала утверждает конечность a(G) для произвольной полициклической группы G (1978). Из этого результата следует, что для фиксированной полициклической
группы G существует алгоритм, распознающий, изоморфна ли произвольная полициклическая группа группе G.
Проблема рода усложняется при переходе к метабелевым группам. Основываясь на результатах Х.Басса и П.Мурти о группе Пикара группового кольца абелевой группы, П.Пикель построил пример метабелевой группы бесконечного рода и доказал, что род произвольной группы не содержит собственного гомоморфного образа этой группы. Наконец, все еще неизвестно, тривиален ли род абсолютно свободной группы Fn ранга п > 2. Аналогичный вопрос для группы SLn(Z) также все еще открыт.
Предположим, что С есть класс групп, имеющий «локально-глобальное свойство для изоморфизма», т.е. для G и Н в С имеет место изоморфизм G ~ Н тогда и только тогда, когда J~{G) = J-{H). Используя «челночный» алгоритм, легко убедиться, что проблема изоморфизма для конечно определенных групп из С имеет положительное решение. Хотя локально-глобальное свойство не имеет места для полициклических групп, его более слабый вариант все же справедлив: для данного множествах конечных групп существует лишь конечное множество изоморфных классов почти полициклических групп, таких, что J~{G) = X (Грюневальд - Пикель - Сегал (1980)).
Порождаюищй ранг. Понятие размерности в линейной алгебре имеет естественный аналог в теории групп. Порождающим рангом d(G) группы G называется минимальная мощность ее порождающего множества. П.Линнел и Дж.Вархюрст доказали, что для полициклической группы G выполняется неравенство d(G) < d(G) +1 (1981). Здесь d(G) обозначает минимальное число топологических порождающих проконечного пополнения группы G, так что теорема утверждает, что если все конечные факторы группы G порождаются d элементами, то сама группа G порождается d + 1 элементами. Для абелевой группы G имеет место равенство d{G) = d{G).
Элементарные теории. Алгоритмические проблемы в многообразиях структур глубоко связаны с фрагментами элементарных теорий этих многообразий. Так проблема равенства в многообразии эквивалентна проблеме разрешимости его универсальной теории (Дж.Мак-Кинси ). Пусть/С - класс алгебраических структур определенной сигнатуры Е. Сигнатуре S известным образом сопоставляется язык первого порядка $> Множество Т всех предложений сигнатуры Е, справедливых в некотором классе структур сигнатуры Е, называется элементарной теорией данного класса. Теория называется разрешимой, если существует алгоритм, позволяющий по любому предложению определить, принадлежит ли оно теории или нет. Первым фундаментальным результатом явилась теорема Геделя - Россера (1936) о неразрешимости арифметики. С другой стороны, А.Тарский доказал разрешимость теории поля комплексных чисел (1948). Он же придумал методы определимости и интерпретируемости для доказательства неразрешимости теорий. В самой общей форме основной метод доказательства неразрешимости - метод относительной элементарной определимости - был изобретен и сформулирован ак. Ю.Л. Ершовым. Пусть S - структура сигнатуры а. Пусть as - сигнатура, получаемая из а добавлением констант, по одной для каждого элемента из S. Подмножество L С Sn,n > 1, (относительно) определимо, если существует формула Ф(х),х = (жі,...,жп) сигнатуры as, такая, что L = {s Є Sn : S |= Ф(«)}. Аналогично вводятся определимые предикаты, конгруэнции, факторструктуры. Назовем структуру So предикатной сигнатуры (Р*) определимой (с параметрами) в S, если имеются определимое в S подмножество *Si, определимая конгруэнция К на S\, определимые предикаты Рг на S\, согласованные с конгруэнцией К и такие, что факторструктура S\/К изоморфна Sq. Оказывается, что если в структуре S определима структура Sq с наследственно неразрешимой элеменатарной теорией, то элементарная теория S также на-
следственно неразрешима. В качестве So часто используется стандартная модель арифметики, а также группа Новикова. Метод определимости широко применялся в работах Р.Робинсона и Дж.Робинсон, где, в частности, доказано, что если R - кольцо полиномов на полем нулевой характеристики или р-адических чисел, то существует р Є R, такой, что р определимо в R. При отождествлении р ~ N умножение в N определимо в R, и, следовательно, R неразрешимо. До сих пор неизвестен ответ на вопрос: разрешима ли дио-фантова проблема над бесконечным конечно порожденным коммутативным кольцом? Разрешима ли диофантова проблема на полем рациональных чисел? В случае кольца Z диофантова проблема, известная как 10-я проблема Гильберта, неразрешима (ак. Ю.В.Матиясевич (1970)).
В области теории групп исходным был вопрос А.Тарского (1945) : разрешима ли элементарная теория свободной неабелевой группы? Положительный ответ дан А.Г.Мясниковым и О.Г.Харлампович.
Широкое внимание привлек класс разрешимых групп. А.И.Мальцев доказал неразрешимость элементарной теории конечно порожденной свободной разрешимой неабелевой группы (1960). В статье чл. корр. АН СССР М.И.Каргаполова и его учеников была выдвинута гипотеза: элементарная теория конечно порожденной нильпотентной группы разрешима тогда и только тогда, когда группа почти абелева (1969).Гипотеза была доказана Ю.Л.Ершовым (1972). М.И.Каргаполов в докладе на международной конференции по теории групп (Канберра, 1973 г.) обобщил гипотезу на конечно порожденные почти разрешимые группы. Н.С.Романовский доказал гипотезу для почти полициклических групп (1980).
Условия конечности для метабелевых групп. Свойства конечной порожденное и конечной определенности являются фундаментальными свойствами в теории бесконечных групп. Для группы G в многообразии групп V
свойство конечной определенности приобретает новый смысл - мы называем G конечно определенной в V, если G имеет код, являющийся объединением конечного числа соотношений и всех тождеств V. Естественный вопрос, когда эта «относительная» конечная определенность влечет «абсолютную», привлек широкое внимание. Уже в случае многообразия метабелевых групп вопрос оказался в высшей степени нетривиальным и привел к открытию замечательного «инварианта Бири-Штребеля», позволяющего эффективно решить алгоритмическую проблему распознаваемости конечной определенности. Пусть Q - конечно порожденная абелева группа, и Q* = Hom(Q, К) \ {0} - множество ненулевых характеров из Q в аддитивную группу Ш. Инвариант Бири-Штребеля Yjcm конечно порожденного ZQ-модуля М состоит из всех характеров \ Є Q*, для которых М не является конечно порожденным над полугрупповым кольцом 7jQx полугруппы Qx = {q Є Q: х(я) — 0}- Назовем инвариант m-асимметричным, если любое т-точечное подмножество в Т,см содержится в открытом полупространстве пространства Q*. Произвольная конечно порожденная метабелева группа Г является расширением вида М ь-> Г -» Qc абелевыми группами М, Q, причем М обладает естественной структурой конечно порожденного ZQ-модуля. Теорема Бири-Штребеля утверждает, что конечно порожденная метабелева группа Г конечно определена тогда и только тогда, когда Т,см является 2-асимметричным, т.е. не содержит пары диаметрально противоположных точек. Из конструктивного описания Т,см следует алгоритмическая разрешимость проблемы распознаваемости конечной определенности в многообразии метабелевых групп. Свойства конечной порожденности и конечной определенности являются лишь первыми двумя в бесконечной цепочке «гомологически-топологических» свойств конечности. По определению группа Г имеет тип FPn, если тривиальный
Zr-модуль Z обладает проективной резольвентой
V : Рп - >P1^P0^Z,
в которой ЖГ-модули Pn,.. . , Pi, Pq конечно порождены. Хорошо известно,что класс РРі-групп совпадает с классом всех конечно порожденных групп, и что конечная определенность влечет РР2-
Р.Бири (1981) высказал гипотезу, описывающую структуру метабелевых РРп-групп в терминах инварианта Е^. Произвольная конечно порожденная метабелева группа Г является расширением вида М^Г^^с абелевыми группами М, Q, причем М обладает естественной структурой ZQ-модуля.
Гипотеза (Р.Бири ). Конечно порожденная метабелева группа Г принадлежит классу FPm при т > 2 в том и только том случае, когда инвариант Т,см является ш-асимметричным.
Р.Бири и Р.Штребель доказали сформулированную гипотезу прит = 2. Гипотеза была доказана также для метабелевых групп конечного ранга (X. Оберг (1986)). Бири и Гровз доказали, что «FPm над Q» влечет т-асим-метричность инварианта модуля Q ( М. Техника доказательства включает гомологическую алгебру.
Автоматные группы. Существование алгоритма, решающего проблему равенства в данной группе G, еще не означает возможность проводить реально эффективные вычисления. Нужды теории 3-мерных многообразий привели Кеннона, Тёрстона и Эпстина к созданию теории автоматных групп. В процессе исследования авторы пришли к замечательному определению ав-томатности, представляющему собой сплав свойства «рекурсивности» нормальных форм и чисто геометрического свойства «устойчивости». Пусть А* - свободный моноид над конечным алфавитом А. Мы предполагаем, что А содержит «формально обратные» элементы, т.е состоит из пар символов а, а .
Будем говорить, что группа G порождается множеством А, если задано отображение а н-> а Є G, а Є А, индуцирующее эпиморфизм "~" : А* —> G. Граф Кэли С = Ca{G) состоит из множества вершин VC = G и ребер (= дуг ) из д в да (д Є G,a Є А). Всякое ребро д —> да имеет метку а. Каждое слово w = <21<22^з ... Є Л* имеет значение w Є G. Кроме того, w определяет путь из д Є G в gw:
0,\ (22 CZ-3
д —> да\ —> да\й2 —> ga\a
Подмножество L С А* называется нормальной формой в G, если L = G. Нормальная форма L определяет комбинг (= причёсывание) графа Кэли, а именно, для любой пары g,h Є G и любого слова w Є L, такого, что w = д h, однозначно определён путь agh из д в h с меткой w. Подмножество L С А* называется регулярным (рациональным) языком, если L распознается конечным автоматом над А или, эквивалентно, L получается из конечного множества применением конечного числа операций объединения, произведения и порождения.
Нормальная форма L устойчива (fellow traveller property), если существует константа к = k(L), такая, что любые пути с метками v,w Є L, общим началом и с концами на расстоянии < 1 являются /с-близкими в том смысле, что выполняется неравенство d(v(t),w(t)) < k^\/t = 0,1,... Если, более того, неравенство выполняется для путей, начала и, соответственно, концы которых находятся на расстоянии < 1, то L называется биустойчивой. (Би)автоматная структура на группе G - это (би)устойчивая регулярная нормальная форма на G. В то время как автоматность дает эффективное решение проблемы равенства, биавтоматность дает эффективное решение проблемы сопряженности. Примерами автоматных групп являются гиперболические группы (М. Л. Громов (1987)). Примером неавтоматных групп являются все группы SLn(Z)(n > 3). В задаче классификации автоматных ариф-
метических групп получены значительные продвижения, но окончательное решение до сих пор не получено. В качестве подзадачи здесь содержится проблема автоматности групп, действующих на билдингах. В самом деле, например, всякая дискретная подгруппа группы SLn(Qp) действует собственно на ассоциированном билдинге Брюа - Титса. Более общо, пусть А - кусочно евклидов стягиваемый комплекс неположительной кривизны (=САТ(0) комплекс). Пусть G : А — собственное кокомпактное изометрическое действие. Верно ли, что G биавтоматна? Ответ неизвестен даже в случае евклидовых билдингов. В двумерном случае проблема детально рассмотрена С.Герстеном и Х.Шортом, доказавшими биавтоматность фундаментальной группы конечного кусочно евклидова 2-комплекса неположительной кривизны, имеющего тип А\ х А\, А^ , >2 или (. В качестве следствия они получили биавтоматность группы без кручения, действующей собственно и кокомпактно на евклидовом билдинге типа А^. Близкие результаты были получены В.Бальманом и М.Брином, Д.Картрайтом и М.Шапиро, Я.Святковским. Важным общим результатом является теорема Г.Нибло и Л.Ривза о биавтоматности кубических групп.
Связный граф С обладает свойством ограниченного укорачивания 1 если существует к > 0, такое, что для любого негеодезического пути v{t) в С существует /с-близкий путь w(t) с теми же концами, что и v(t), но короче, нежели v(t). Важность свойства ограниченного укорачивания для изучения функций роста объясняется теоремой Дж.Кеннона: если группа G порождается конечным множеством А, и Ca(G) обладает FFT- свойством, то язык геодезических в этом графе регулярен. Кроме того, функция роста У~] \Bn\tn группы G относительно А рациональна.
Свободные подгруппы. Нахождение свободных неабелевых подгрупп иг-
1 В англоязычной литературе «falsification by fellow traveller property» или «FFT-property» .
рает важную роль в изучении парадокса Банаха - Тарского, функций роста и алгебраической энтропии.
Автоморфизмы. Изучение групп автоморфизмов алгебраических структур важно с алгоритмической точки зрения. Например, пусть G и Н — конечно порожденные нильпотентные группы. Изоморфизм мальцевских пополнений G^ и Н^ имеет место в том и только том случае, когда изоморфны соответствующие Q-алгебры Ли 0, fy. Решая вопрос об изоморфизме 0, fy, мы можем считать, что эти алгебры изоморфны над полем комплексных чисел, так как элементарная теория этого поля разрешима. В этом случае можно применить теорию неабелевых когомологий, из которой следует, что алгебра \) изоморфна алгебре 0 тогда и только тогда, когда построенный по \) коцикл из множества Hl(Gal(Q/Q),Autg) тривиален. Р.А.Саркисян доказал, что тривиальность коцикла можно алгоритмически распознать при условии выполнимости «принципа Хассе» для односвязных полупростых алгебраических групп, определенных над Q. Таким образом, группа автоморфизмов Aut(g) появляется в проблеме изоморфизма.
Научная новизна. Все результаты, представленные в диссертации, являются новыми на момент их публикации.
Объект исследования. Объектами исследования являются разрешимые группы, коммутативные кольца, группы Ли, кусочно евклидовы комплексы (включая евклидовы билдинги), группы когомологий .
Методы исследования. В работе используются методы геометрической и комбинаторной теории групп (включая вложение Магнуса и кусочно евклидову геометрию), коммутативной алгебры, алгебраической геометрии (включая примарное разложение и группы классов дивизоров) и гомологической алгебры (включая спектральную последовательность Хохшильда -Серра).
Цель и задачи диссертации. Изучение алгоритмических свойств разрешимых групп и групп, действующих на комплексах неположительной кривизны. Решение ряда проблем теории групп: проблемы Каргаполова о разрешимости элементарной теории разрешимой группы, проблемы сопряженности в метабелевых группах, проблемы рода для свободных метабелевых групп. Построение биавтоматных структур на группах автоморфизмов евклидовых билдингов. Доказательство несуществования автоматных структур на модулярных группах Гильберта.
Достоверность научных положений. Достоверность научных положений и полученных результатов обеспечиваются их согласованностью с общепризнанными представлениями. Результаты опубликованы в российских и зарубежных журналах, неоднократно докладывались на семинарах и конференциях. Они известны в научном сообществе и цитируются в работах других авторов. Показатель цитируемости по поисковой системе Google Scholars равен 236 (на ноябрь 2010 г.). Результаты по теме диссертации опубликованы в 1977-2009 годах. Достоверность научных положений и полученных результатов обеспечиваются также положительными рецензиями в реферативных журналах «Математика», Math, reviews, и Zentralblatt fuer Mathematics.
Научные положения, выносимые на защиту. На защиту выносятся следующие положения и результаты.
-
Решение проблемы сопряженности для конечно порожденных метабелевых групп.
-
Характеризация конечно порожденных разрешимых групп с разрешимой элементарной теорией.
-
Решение проблемы рода для свободной метабелевой группы конечного ранга.
-
Доказательство гипотезы Бири для расщепляемых конечно порожден-
ных метабелевых групп без кручения.
5. Построение биавтоматных структур на группах автоморфизмов евклидовых билдингов. Доказательство неавтоматности модулярной группы Гильберта.
Практическая ценность и область применения результатов. Предлагаемая работа носит теоретический характер. Полученные результаты и методы могут найти применение в дальнейших исследованиях по теории групп. Многие доказанные в диссертации теоремы могут быть включены в спецкурсы для студентов и аспирантов.
Публикации. Материалы диссертации опубликованы в 39 печатных работах, из них 37 статей - в рецензируемых журналах, в т.ч. 29 статей - в журналах и изданиях из перечня ВАК. Без соавторов выполнены 27 опубликованных научных работ по теме диссертации, 12 работ написаны совместно. Из 29 работ в журналах из перечня ВАК 9 выполнены в соавторстве.
Апробация и внедрение результатов. Результаты, полученные в диссертации, докладывались на российских и международных конференциях: в Марселе-Люмини (Франция, 2004), Омске (2008, 2010), Новосибирске (2000, 2003, 2005), Эрлаголе (2000), Франкфурте-на-Майне (Германия, 1999), Биле-фельде (Германия, 2003), Гомеле (1986), Санкт-Петербурге (1982), Кемерове (1987), Кортрайке (Бельгия, 1999), Гаєте (Италия, 2003), Варшаве (Польша, 2003), Гданьске (Польша, 2004), Обервольфахе (Германия, 2002, 2008), Красноярске (1993, 2002), Барнауле (1991).
Результаты обсуждались на специализированных семинарах: в Омском государственном университете (1975-2010), Новосибирском государственном университете (1981, 1983, 1987,1994, 2008), в университете Манитобы (Канада, 1991, 1994), университете Кембриджа (Великобритания, 1995), Лондонском университете (Великобритания, 1995), университете Манчестера (Вели-
кобритания, 1995), университете Бильги (Турция, 2002, 2005), университете Билефельда (Германия, 1998-2008), университете Франкфурта-на-Майне (Германия, 1995, 1996), университете Дюссельдорфа (Германия, 1999), университете Бонна (Германия, 2003).
Структура и объем диссертации Диссертационная работа состоит из введения, пяти глав, списка цитируемой литературы, списка обозначений и списка терминов (предметного указателя). Диссертация содержит 6 рисунков. Список литературы состоит из 155 наименований. Полный объем диссертации составляет 257 страниц машинописного текста.
