Перечисление квадрик и симметричных форм модулей над локальными кольцами тема автореферата и диссертации по математике, 01.01.09 ВАК РФ

УДК 512.6 + 519.1

На правах рукописи

СТАРИКОВА Ольга Александровна

ПЕРЕЧИСЛЕНИЕ КВАДРИК И

СИММЕТРИЧНЫХ ФОРМ МОДУЛЕЙ НАД ЛОКАЛЬНЫМИ КОЛЬЦАМИ

01.01.09 — дискретная математика и математическая кибернетика

01.01.06 — математическая логика, алгебра и теория чисел

АВТОРЕФЕРАТ диссертации на соискание ученой степени кандидата физико-математических наук

Красноярск - 2004

Диссертация выполнена в Северном международном университете (г. Магадан)

Научный руководитель доктор физико-математических

наук, профессор

Левчук Владимир Михайлович

Официальные оппоненты: доктор физико-математических

наук, профессор

Перязев Николай Алексеевич

доктор физико-математических

наук, профессор

Нужин Яков Нифантьевич

Ведущая организация Институт математики и механики

Уральского отделения РАН

Защита состоится " 13 " мая 2004 года в " 15 " часов на заседании диссертационного совета К 212.098.03 в Красноярском государственном техническом университете по адресу 660074, г. Красноярск, ул. Киренс-кого, 26, ауд. Г 4-17, факс (8-3912) 43-06-92, тел. 49-76-46.

С диссертацией можно ознакомиться в библиотеке Красноярского государственного технического университета.

Автореферат разослан " 9 " апреля 2004 года.

Ученый секретарь диссертационного совета кандидат физико-математических наук, доцент

К. В. Сафонов

ОБЩАЯ ХАРАКТЕРИСТИКА РАБОТЫ 1

Актуальность темы. Важным источником функций над кольцами и различных задач комбинаторного анализа традиционно являются билинейные функции векторных пространств и модулей, квадратичные формы и соответствующие квадрики проективных пространств, [7], [13], [12]. В диссертации исследуются квадрики проективных пространств над локальными кольцами, рассматривается одна из основных в теории квадрик задача

(А) Классифицировать и перечислить квадрики проективного пространства с точностью до проективностей или проективных конгруэнтностей.

Перечисления ставится целью получать в терминах стандартных комбинаторных сумм, комбинаторных функций и в численном виде, см. [11], [13], [14], [5], [6]. Теории симметрич-пых форм векторных пространств и квадрик (или геометрических образов второго порядка) проективных пространств над полем развивались взаимосвязано и достаточно хорошо разработаны, [1] и др. Бенц [2] рассматривает классические геометрии Мебиуса, Лагерра и Минковского как проективные пря-1 Работа выполнена при поддержке Российского фонда фундаментальных исследований (код проекта 03-01-00905)

О»

)АЛЫ1М|1 ГЕКА I

лА

НЛЦИ011ЛЛЫ1Дя] БИБЛИОТЕКА Свлм

мые над ассоциативно-коммутативными алгебрами; указаны геометрические интерпретации таких проективных прямых в евклидовом пространстве. Наряду с развитием Х-теории, в исследованиях проективных пространств возрастал интерес к переходу от полей к кольцам коэффициентов: в более общей ситуации исследуются проективности и (проективные) линейные группы, обобщается основная теорема проективной геометрии, [9], [4], [10] и др.

К принципиальным трудностям при переходе к кольцам коэффициентов относится то, что определяющая роль симметричных форм с обратимой матрицей утрачивается. Существование ортогонального базиса "сильно невырожденной" симметричной формы на модуле над локальным кольцом с обратимым элементом 2 устанавливается в [8]. Оказывается, существуют и недиагонализируемые квадратичные формы над такими кольцами, а число всех классов проективно эквивалентных квадрик заметно превосходит число классов с "сильно невырожденными" квадратичными формами. Целесообразно

(Б) Выявить локальные кольца, над которыми любая симметричная матрица конгруэнтна диагональной;

(В) В случае колец коэффициентов из (Б) установить (единственную) "нормальную" диагональную форму в клас-

сах конгруэнтных симметричных матриц.

Матрицы (¿АС^2 с обратимыми матрицами Q называют конгруэнтными к А, исходя из отношения конгруэнтности квадратичных форм. Отметим, что матрицы произвольной фиксированной билинейной формы на модуле образуют класс эквивалентных матриц, то есть вида PAQT с всевозможными обратимыми матрицами Р, Q. Диагонализируемость и нормальный вид относительно эквивалентности матриц над кольцами главных идеалов устанавливаются в [3].

Целью диссертации является исследование задач А) - В).

Методы исследования. Используются стандартные методы дискретной математики, линейной алгебры, теории проективных пространств и теории колец, функции на кольцах и комбинаторные методы.

Научная новизна и практическая ценность. Все основные результаты диссертации являются новыми. Диссертация носит теоретический характер. Ее результаты могут применяться в теории проективных пространств, в некоторых разделах дискретной математики и линейной алгебры, в комбинаторных исследованиях.

Апробация диссертации. Результаты диссертации докладывались на научно-исследовательских семинарах Крас-

ноярского госуниверситета и Института математики СО РАН (г. Новосибирск). Они были представлены на VI — X конференциях аспирантов и молодых исследователей Северного международного университета (Магадан, 1999 — 2003 гг.), на 2-ом Всесибирском конгрессе женщин — математиков (Красноярск, 2002 г.) и на международных конференциях: "Нелинейные модели в естественных и гуманитарных науках" (Чебоксары, 2001 г.), "Алгебра и ее приложения" (Красноярск, 2002 г.), "Intermediate problems of Model Theory and Universal Algebra" (Novosibirsk — Erlogol, 2003).

Основные результаты опубликованы в работах [15]—[23]. Структура и объем диссертации. Работа состоит из

введения, трех глав и списка литературы. Нумерация утверждений включает последовательно помер главы, параграфа и порядковый номер в главе.

СОДЕРЖАНИЕ ДИССЕРТАЦИИ

Основные результаты диссертации — следующие:

- доказана диагонализируемость квадратичных форм над локальным кольцом R главных идеалов с обратимым элементом 2 (существенность ограничений показана на примерах) и выявлено строение их ортогональных групп;

- установлен единственный "нормальный" диагональный вид квадратичных форм над Я с индексом : IV21 = 2 в случае 1 + Я*2 С Я*2 (распространение закона инерции вещественных квадратичных форм) и в случае, когда существует обратимый неквадрат в 1 + Я2;

- найден комбинаторный вид числа классов проективно-конгруэнтных квадрик проективного пространства над кольцом Я с теми же ограничениями и нильпотентным максимальным идеалом, а квадрики проективной плоскости перечислены также, с точностью до проективной эквивалентности;

- перечислены классы проективно эквивалентных квадрик проективных плоскостей над определенными локальными кольцами с нилъпотентным ступени 2 максимальным идеалом, не являющимся главным.

Доказательству главных результатов, связанных с основной задачей (А), теорем 3.1.1 и 3.2.1 о перечислении классов проективно конгруэнтных и проективно эквивалентных квадрик проективного пространства НРп-\ подчинены главы 2 и 3. В главе 1 приводятся предварительные сведения.Через ЙРп-1 обозначается проективное пространство, ассоциированное со

свободным ^-модулем ранга п, К* - мультипликативная группа обратимых элементов кольца R. Пусть П,(т) — совокупность всех упорядоченных наборов (щ,... ,пч) целых чисел

( Р \ ( Р

п,} > 0 с суммой т. Число I I считаем равным I

V V V-?

для целых чисел и: равным 0 в других случаях.

Теорема 3.1.1. Пусть N(n,,s) — число классов проектив-но конгруэнтных квадрик пространства НРп-1 (п > 2) над локальным кольцом R с нильпотентным ступени $ главным максимальным идеалом, причем 2 Е Л* и : Д*2| = 2. Тогда соответственно случаям К* П (1 + Л2) Я*2 и 1 + К"2 С Я"2 число N(4,$) равно ([• • •] — целая часть числа)

В определенных случаях (например, при R = Zpd) доказанная теорема дает и число классов проективно эквивалентных квадрик. Более точно, если кольцо R с максимальным идеалом ] = (е) выбрано так, что элементы ей ке для фиксированного обратимого неквадрата к неавтоморфны в Я, то по

известной [10] обобщенной основной теореме проективной геометрии (в § 1.1 это теорема 1.1.2, а также лемма 1.1.3) отношения проективной конгруэнтности и проективной эквивалентности квадрик совпадают и число классов проективно эквивалентных квадрик также равно Щп^) (предложение 3.1.2). Оставшийся случай для проективной плоскости исследует

Теорема 3.2.1. Пусть N есть число классов проективно эквивалентных квадрик проективной плоскости 11Р2 над локальным кольцом R с нильпотентным ступени 5 главным максимальным идеалом / = {е). Допустим, что 2 ЕЯ*, : Н'2\ — 2 и элементы £ и ке в кольце R автоморфны для пеквадрата к. Тогда для четного или нечетного числа 5 число N соответственно равно

при

(5(552 + 2Ь + 28))/12 или (5з3 + 2Ь2 + ЗЬ + 3)/12.

Эта теорема опубликована автором в [22]; теорема 3.1.1 оттуда же доказана в нераздельном соавторстве с В.М. Левчу-ком. Данные теоремы существенно используют полученные в главе 2 частные решения задачи (В).

Основная в § 2.1 теорема 2.1.2 устанавливает диагонали-зируемость симметричных форм и их матриц над локальным кольцом R главных идеалов с обратимым элементом 2 (такие кольца рассматриваются в примерах 2.1.8, 2.1.9 и лемме 2.1.3). Она показывает конгруэптную приводимость симметричных матриц над R к специальному диагональному виду — каноническому (определение 2.1.1) - и выявляет некоторые инварианты. В частности, при Я*2 == й* канонический вид единствен и, если максимальный идеал в R нильпотентен ступени s, то число классов как конгруэнтных так и эквивалентных п х п-

Вопрос построения "нормального" диагонального вида матриц по конгруэнтности при оказывается

более сложным. Здесь существенно используется лемма 2.2.3 о конгруэнтных преобразованиях канонических матриц над локальным кольцом главных идеалов. С ее помощью выявляется строение ортогональной группы квадратичной формы (теорема 2.2.1). С другой стороны, при наличии обратимого неквадрата А; в 1 + В выявляется нормальный вид

<Иае',... Г" ^шЛЛ- ,£т ,0,— ,0), (1)

где каждый элемент равен 1 или В § 2.3 доказана

матриц над В равно

(следствие 2.1.5).

Теорема 2.3.1. Пусть R есть локальное кольцо с обратимым элементом 2 и главным максимальным идеалом 3 — (е), причем \ВГ : Я*2\ = 2, 1+;сЯ*2 + Я*2. То-

гда всякая симметричная матрица над R конгруэнтна единственной диагональной матрице вида (1).

Закон инерции вещественных квадратичных форм удается распространить на случай локальных колец коэффициентов, в которых обратимые квадраты образуют полугруппу по сложению. Более точно, для квадратичных форм над такими кольцами в § 2.4 выявляется следующий "нормальный" вид

где д > 0, 0 < ¿1 < < г,, е%ч ^ 0, целые положительные числа Г) и целые такие, что Г1 + • • • + г9 < п, 0 < <

г\г" ■> 0 < < г?*

Теорема 2.4.1. Пусть R есть локальное кольцо с обратимым элементом 2 и главным максимальным идеалом I = (е), причем |Д* : Я*2\ = 2, 1 + Я*2 С Я*2 и 1 +«/ С Я*2. То-

гда всякая ненулевая квадратичная форма над Я приводится к диагональному виду (2) обратимым Я— линейным преобразованием неизвестных, причем показатели г*!,-- - и целые числа ,гч, не зависят от способа приведе-

ния.

Именно, теоремы 2.3.1 и 2.4.1 о нормальной форме лежат в основе доказательства в главе 3 теорем 3.1.1 и 3.2.1 (см. выше) о перечислении классов проективно конгруэнтных и проектив-но эквивалентных квадрик. Условие 1 + ./ С Л*2 в теоремах 2.3.1 и 2.4.1 не является жестким, как показывает предложение 2.1.7, и выполняется, например, когда ] - ниль-идеал.

Полученные результаты позволяют перечислять квадрики также над локальным кольцом с конечно порожденным, но Ее главным максимальным идеалом. Факторизуя кольцо формальных степенных рядов от а:, у над конечным полем нечетного порядка по идеалу получаем локальное кольцо Я с максимальным идеалом нильпотентным ступени 2. Основной в § 3.3 является (см. [23])

Теорема 3.3.1. Всякая квадрика проективной плоскости ЯР? либо диагонализируема, либо имеет ранг 0, либо лежит в одном из 2 классов проективно эквивалентных недиа-

гонализируемых квадрик ранга 1. Всякая диагопализируемая квадрика проективио эквивалентна, в точности, одной из 20 квадрик, у которых либо ранг < 3, либо матрица единична.

Автор благодарен своим научным руководителям, к.ф.-м.н., профессору К.Я. Гиберту за помощь при постановке задач и в подготовке первых работ, и д.ф.-м.н., профессору В.М: Левчуку, существенно содействовавшему разрабатыванию темы. Признательна сотрудникам кафедры алгебры и математической логики и факультета математики и информатики Красноярского госуниверситета за хорошие условия для работы над диссертацией во время приездов в 2002 - 2003 гг.

Список литературы

[1] Артян Э. Геометрическая алгебра. М.: Наука. 1969. 284 с.

[2] Bcnz W. Vorlesungen uber Geometrie der Algebren. Berlin - Heidelberg - New Iork. Springer - Verlag. 1973. 365 p.

[3] Brown W. Matrices over commutative rings. New York. 1993. 282p.

[4] Вишневский В.В., Широков А.Я., Шурыгин В.В. Пространства над алгебрами. Казань: Изд. Казанского ун-та. 1985. 263 с.

[5] Егорычев Г.П. Интегральное представление и вычисление комбинаторных сумм, Новоснб-к: Наука. 1977. 284 с. (Transl. Math. Monographs, AMS, 1984; 2nd ed. in 1989.)

[6] Egorychev G.P. and Levchuk V.M. Enumeration in the Chevalley algebras. // SIGSAM Bulletin, Vol. 35, no. 2, Issue 136, June, 2001, p. 20-34.

[7] Касселс Дж. Рациональные квадратичные формы. М: Мир, 1982. 440 с.

[8] Милнор Дж., Хьюзмоллер Д. Симметрические билинейные формы. М: Наука. 1986. 176 с.

[9] О'Мира О. Лекции о линейных группах. В сборнике переводов "Автоморфизмы классических групп". М: Мир. 1976. с. 57-167.

[10] Ojanguren M., Sridharan R. A note on the fundamental theorem of projective geometry. // Comm. Math. Helv. 1969. 44. no. 3. p. 310 - 315.

[11] Polya. G. Kombinatorische Anzahlbestimmungen fur Gruppen, Graphen und chemische Verbindungen, Acta Math. V. 68. 1937. 145-254:

[12] Rodman L. Matrix functions. In: Handbook of Algebra, Ed. by M. Hazewinkel, Elsevier, 1996, 117-154.

[13] Уфнаровский В. А. Комбинаторные асимптотические методы в алгебре. Итоги науки и техники. Современные проблемы математики. Фундаментальные направления. Т. 57. 1990. с. 5-178.

[14] Холл М. Комбинаторика. М: Мир. 1970. 424 с.

РАБОТЫ АВТОРА ПО ТЕМЕ ДИССЕРТАЦИИ

[15] Старикова, О.А. О классификации квадрик проективной плоскости Fp(e)P2. // Материалы VI науч. конф. асп. и молодых исследователей СМУ Магадан: Сев. Межд. Унт. 1999. с. 50-52.

[16] Старикова О.А. Квадрики проективной плоскости Fp(en~1)P2• // Материалы VII науч. конф. асп. и молодых исследователей СМУ. Магадан: Сев. Межд. Ун-т. 2000. с. 13-16.

[17] Старикова О.А. Взаимное расположение квадрик и прямых на проективной плоскости Fp(e)P2- // Материалы VIII науч. конф. асп. и молодых исследователей СМУ. Магадан: Сев. Межд. Ун-т. 2001. с. 16-18.

[18] Старикова О.А. Проективная плоскость Fp[2,1]/V // Материалы IX науч. конф. асп. и молодых исследователей СМУ. Магадан: Сев. Межд. Ун-т. 2002. с. 53-54.

[19] Старикова О.А. Квадрики проективной плоскости Fq(en~l)P2. // В сбор, статей "II Всесибирский конгресс женщин-математиков". Красноярск: КГУ. 2002. с. 138-143.

[20] Старикова О.А. О классификации квадрик проективной плоскости Fp[2,1]Р2- // Тезисы докл. международной конф. "Алгебра и ее приложения". Красноярск: КГУ. 2002. с. 113-114.

[21] Старикова О.Л. Квадрики и квадратичные формы модулей. // Материалы X науч. конф. асп. и молодых исследователей СМУ. Магадан: Сев. Межд. Ун-т. 2003. с. 91-92.

[22] Старикова О.А. Перечисление квадрик проективных плоскостей и пространств над локальными кольцами

главных идеалов. // Алгебра и теория моделей, 4-й выпуск. Новосибирск: НГТУ. 2003. с. 110-115.

23] Старикова О.А. Перечисление квадрик над локальным кольцом с конечпо порожденным, но не главным максимальным идеалом. // В сбор. "22-я региональная научно-техническая конференция". Красноярск: КрасГА-СА. 2004. с. 14-15.

24] Лсвчук В.М., Старикова О.А. Перечисление квадрик и симметричных форм модулей над локальными кольцами // (в печати).

Подписано в печать Бумага типографская. Усл. печ. л. 1,2 Тираж 100 экз. Заказ №

Формат 60 X 86/16 Печать офсетная. Уч.-изд. л. 1,25 Цена договорная.

Редакционно-издательский центр Красноярского государственного университета. 660041, Красноярск, пр. Свободный, 79.

«Î - 7 2 2 7

Введение

Наиболее употребительные обозначения

Глава 1. Проективные пространства, ассоциированные со свободными модулями

§1.1. Группа проективных преобразований и некоторые ее инварианты.

§1.2. Основная задача теории квадрик

Глава 2. Каноническая форма над локальными кольцами главных идеалов

§2.1. Диагонализируемость симметричных матриц над локальными кольцами главных идеалов.

§2.2. Конгруэнтные преобразования канонических матриц и ортогональная группа.

§2.3. Нормальная диагональная форма при |R* : R*21 <

§2.4. Распространение закона инерции вещественных квадратичных форм.

Глава 3. Перечисление квадрик проективных пространств над локальным кольцом

§3.1. Теорема о перечислении классов проективно конгруэнтных квадрик проективного пространства

§3.2. Перечисление классов проективно эквивалентных квадрик проективной плоскости

§3.3. Случай не главного максимального идеала

Важным источником функций над полями и кольцами и различных задач комбинаторного анализа традиционно являются билинейные формы и билинейные функции векторных пространств и модулей, квадратичные формы и соответствующие квадрики проективных пространств [16], [7], [9], [19], [17]. В диссертации исследуются квадрики проективных пространств над локальными кольцами, рассматривается одна из основных в теории квадрик задача

А) Классифицировать и перечислить квадрики проективного пространства с точностью до проективностей или проективных конгруэнтностей.

Теории симметричных и квадратичных форм векторных пространств и квадрик (или геометрических образов второго порядка) проективных пространств над полем развивались взаимосвязано и достаточно хорошо разработаны. Изучение произвольных рефлексивных форм над полем сведено к изучению невырожденных ре-^ флексивных форм, а последние классифицированы вместе с симметричными и кососимметричными (симплектическими) формами, [1, гл. 3], [12, 41.1]. Наряду с развитием К-теории, в исследованиях проективных пространств возрастал интерес к переходу от полей к более общим кольцам коэффициентов. В более общей ситуации исследуются (проективные) линейные группы и проективности, обобщается основная теорема проективной геометрии, [15], [14] и др. Бенц [2, гл.1] рассматривает классические геометрии Мебиуса, Jla-герра и Минковского как проективные прямые над ассоциативно-коммутативными алгебрами; указаны геометрические интерпретации таких проективных прямых в евклидовом пространстве.

Естественно, что квадрики исследуются взаимосвязано с квадратичными формами и их матрицами. В [13, § 3] устанавливается су-V ществование ортогонального базиса "сильно невырожденной" симметричной формы на модуле над локальным кольцом с обратимым элементом 2. В то же время, при переходе к таким кольцам коэффи-v циентов определяющая роль симметричных форм с обратимой матрицей утрачивается, а число всех классов проективно эквивалентных квадрик, как правило, существенно превосходит число классов с "сильно невырожденными" квадриками. Поэтому целесообразно

Б) Выявить локальные кольца, над которыми любая симметричная матрица конгруэнтна диагональной матрице.

Конгруэнтными к А называют (исходя из конгруэнтности квадратичных форм) матрицы QAQT с обратимыми матрицами Q. Недиа-гонализируемую по конгруэнтности симметричную матрицу над локальным кольцом указывает пример 1.2.1 в § 1.2 диссертации (другие примеры см. в § 3.3 ). Отметим, что матрицы произвольной фиксированной билинейной формы на модуле образуют класс эквивалентных матриц; эквивалентными к А считаются матрицы PAQT с всевозможными обратимыми матрицами Р, Q. Диагонализируемость и нормальный вид относительно эквивалентности матриц над кольцами главных идеалов устанавливаются в [3, глава 15]. В случае колец коэффициентов из (Б) требуется также

В) Установить (единственную) "нормальную" диагональную форму в классах конгруэнтных симметричных матриц. ч Рассматриваемые в диссертационной работе задачи тесно связаны с функциями над кольцами, перечислительными задачами и некоторыми комбинаторными вопросами.

В § 1.1 главы 1 приводятся предварительные (известные) сведения о проективных пространствах, вводятся проективности и проективные линейные преобразования. Там же приведено обобщение классической основной теоремы проективной геометрии [15]. Ее следствием является факторизуемость группы проективных преобразований проективного пространства двумя стандартными подгруппами (лемма 1.1.3). В § 1.2 вводятся понятия, связанные с квадриками, обсуждаются основная задача теории квадрик и соответствующие вопросы для симметричных форм и их матриц. Показы-ц, вается, что при переходе от полей к более общим кольцам коэффициентов симметричные формы с обратимой матрицей перестают играть определяющую роль в описании всех симметричных форм.

Главные результаты, связанные с задачей (А), устанавливаются в главе 3. Через R* обозначается мультипликативная группа обратимых элементов кольца R. Пусть Qq(m) — совокупность всех упорядоченных наборов (щ,. ,nq) целых чисел пj > 0 с суммой т. Число ^ ^ , по определению, равно ^ ^ ^ Для Целых чисел р > q > О и равно 0 в других случаях. Следующая теорема о перечислении классов проективно конгруэнтных квадрик доказана в § 3.1.

Теорема 3.1.1. Пусть N(n,s) — число классов проективно конгруэнтных квадрик пространства RPn-\ {п > 2) над локальным кольцом R с нильпотентным ступени s главным максимальным идеалом, причем 2 Е R* и |R* : R*21 = 2. Тогда число N(n,s) соответственно случаям R* П (1 + Я2) ^ R*2 и 1 + R*2 С R*2 равно ([•••] — целая часть числа)

П min {m,s} , . //01 е Е ; т=\ 9=1 \ 1 У \ 1 п min{m,s} , ,

Е Е 1 + Е [Ш^+1)]}m—l q= 1

В определенных случаях (например, при R = Zpd) доказанная теорема дает и число классов проективно эквивалентных квадрик. Более точно, если кольцо R с максимальным идеалом J = (е) выбрано так, что элементы £ и ке для фиксированного обратимого неквадрата к неавтоморфны в R, то по основной теореме проективной геометрии отношения проективной конгруэнтности и проективной эквивалентности квадрик совпадают и число классов проективно эквивалентных квадрик также равно N(n, s) (предложение 3.1.2). Для проективной плоскости оставшийся случай рассматривает

Теорема 3.2.1. Пусть N есть число классов проективно эквивалентных квадрик проективной плоскости RP2 над локальным кольцом R с нильпотентным ступени s главным максимальным идеалом J = (е). Допустим, что 2 Е R*, |#* : R*21 = 2 и элементы е и ке в кольце R автоморфны для обратимого неквадрата к.

Тогда число N соответственно для четного или нечетного числа s равно s(5s2 + 15s + 28))/12 или (5s3 + 15s2 + 31s - 3)/12 при R*Ci(l + R2) R*2, а при 1 + R*2 С R*2 соответственно равно (s(5s2 + 21s + 28))/12 или (5s3 + 21s2 + 31s + 3)/12.

Эта теорема опубликована автором в [28]; приводимая там же теорема 3.1.1 доказана в нераздельном соавторстве с В.М. Левчуком. Названные результаты существенно используют полученное в главе 2 решение задачи (В) для определенных случаев основного кольца.

Основная в § 2.1 теорема 2.1.2 устанавливает диагонализируе-мость симметричных форм и их матриц над локальным кольцом R главных идеалов с обратимым элементом 2 (такие кольца рассматриваются в примерах 2.1.8, 2.1.9 и лемме 2.1.3). Она показывает конгруэнтную приводимость симметричных матриц над R к специальному диагональному виду — каноническому (определение 2.1.1) - и выявляет некоторые инварианты. В частности, при R*2 = R* канонический вид единственен и, если максимальный идеал в R ниль-потентен ступени s, то число классов как конгруэнтных так и эквизамечание 2.1.10).

Вопрос построения "нормального" диагонального вида матриц по конгруэнтности при |R* : R*21 > 1 оказывается более сложным. Здесь существенно используется лемма 2.2.3 о матрице, преобразующей конгруэнтно друг в друга канонические диагональные матрицы над локальным кольцом главных идеалов. С ее помощью выявляется строение ортогональной группы квадратичной формы (теорема 2.2.1). С другой стороны, при |R* : R*2\ = 2 и наличии обратимого неквадрата к в 1 + R2 выявляется нормальный вид diag(te\£V. ,6т£т,£т,-. ,£т ,0,. ,0), (0.1) где каждый элемент Sj, • • • ,5т равен 1 или к. В § 2.3 доказана следствие 2.1.5 и

Теорема 2.3.1. Пусть R есть локальное кольцо с обратимым элементом 2 и главным максимальным идеалом J = (е), причем \R* : R*2\ = 2, 1 + J С R*2 и R* П (1 + R2) <£ R*2. Тогда всякая симметричная матрица над R конгруэнтна единственной диагональной матрице вида (0.1).

Далее. Закон инерции вещественных квадратичных форм удается распространить на случай локальных колец коэффициентов, в которых обратимые квадраты образуют полугруппу по сложению. Более точно, для квадратичных форм над такими кольцами в § 2.4 выявляется следующий "нормальный" вид

-(х2 + . + <) + «+1 + . + ои + • • • + [(:СГ,+-+Г,1 + 1 Н ^ЖГ1+-+Г<7,+5(,)+ (0.2) где q > 0, 0 < i\ < • • • < iq, el4 ф 0, целые положительные числа гу и целые sj такие, что гН-----Ь rq < гс, 0 < sj < • • • , 0 < sq < rq.

Теорема 2.4.1. Пусть R есть локальное кольцо с обратимым элементом 2 и главным максимальным идеалом J = (е), причем |Я* : R*2\ = 2, 1 + R*2 С R*2 и 1 + J С R*2. Тогда всякая ненулевая квадратичная форма над R приводится к диагональному виду (0.2) обратимым R— линейным преобразованием неизвестных, причем показатели , iq и целые числа - • ■ , rq, si, • • • , sq не зависят от способа приведения.

Именно, теоремы 2.3.1 и 2.4.1 о нормальной форме лежат в основе доказательства в главе 3 теорем 3.1.1 и 3.2.1 (см. выше) о перечислении классов проективно конгруэнтных и проективно эквивалентных квадрик. Условие 1 + J С R*2 в теоремах 2.3.1 и 2.4.1 не является жестким, как показывает предложение 2.1.7, и выполняется, например, когда «7 - ниль-идеал.

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

Пусть R — фактор-кольцо кольца формальных степенных рядов от х,у над конечным полем нечетного порядка по идеалу < х2,ху,у2 >, порожденному всеми однородными многочленами второй степени. Тогда R есть локальное кольцо с максимальным идеалом J =< х,у >. Основной в § 3.3 является

Теорема 3.3.1. Всякая квадрика проективной плоскости RP2 либо диагонализируема, либо имеет ранг О, либо лежит в одном из 2 классов проективно эквивалентных недиагонализируемых квадрик ранга 1. Всякая диагонализируемая квадрика проективно эквивалентна, в точности, одной из 20 (явных) квадрик, у которых либо ранг < 3, либо матрица единична.

Основные результаты диссертации опубликованы в работах [21]— [29]. Результаты диссертации докладывались автором на научно-исследовательских семинарах Красноярского госуниверситета (г. Красноярск) и Института математики СО РАН (г. Новосибирск). Они были представлены на VI — X конференциях аспирантов и молодых исследователей Северного международного университета (Магадан, 1999 — 2003 гг.), на 2-ом Всесибирском конгрессе женщин — математиков (Красноярск, 2002 г.) и на международных конференциях: "Нелинейные модели в естественных и гуманитарных науках" (Чебоксары, 2001 г.), "Алгебра и ее приложения" (Красноярск, 2002 г.), "Intermediate problems of Model Theory and Universal Algebra" (Novosibirsk - Erlogol, 2003).

Автор благодарен своим научным руководителям, к.ф.-м.н., профессору К.Я. Гиберту за помощь при постановке задач и в подготовке первых работ, и д.ф.-м.н., профессору В.М. Левчуку, существенно содействовавшему разрабатыванию темы.

Признательна сотрудникам кафедры алгебры и математической логики и факультета математики и информатики Красноярского госуниверситета за хорошие условия для работы над диссертацией во время приездов в КрасГУ в 2002 - 2003 гг. Частично работа над диссертацией была поддержана Российским фондом фундаментальных исследований, код гранта 03-01-00905.

Наиболее употребительные обозначения

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

R — ассоциативно-коммутативное кольцо с единицей;

GLn(R) — общая линейная группа степени п над кольцом R;

PGLn(R) — проективная общая линейная группа степени п над кольцом R;

Ат — матрица, транспонированная к матрице А; diag (a\,d2,. ,ап) — диагональная матрица с элементами ai, а2, . •, ап на главной диагонали;

R* и R*2 = {а2 | a G R*} — мультипликативная группа обратимых элементов кольца R и, соответственно, ее подгруппа квадратов;

R* : R*21 — индекс подгруппы R*2 в группе Л*;

RPn-i — проективное пространство (при п = 3 также проективная плоскость) над кольцом R (см. §1.1 ).

1. Артин Э. Геометрическая алгебра. М.: Наука. 1969. 284 с.

2. Benz W. Vorlesungen uber Geometrie der Algebren. Berlin -Heidelberg New Iork. Springer - Verlag. 1973. 365 p.

3. Brown W. Matrices over commutative rings. New Iork. 1993. 282p.

4. Бурбаки H. Алгебра. Модули, кольца, формы. М: Наука, 1966. 556 с.

5. Ван дер Варден Б.Л. Алгебра. М.: Наука. 1979. 624 с.

6. Вишневский В.В., Широков А.П., Шурыгин В.В. Пространства над алгебрами. Казань: Изд. Казанского ун-та. 1985. 263 с.

7. Егорычев Г.П. Интегральное представление и вычисление комбинаторных сумм, Новосибирск, Наука. 1977. 284 с. English transl.: Transl. Math. Monographs, vol. 59, Amer. Math. Soc., Providence, RI, 1984; 2nd ed. In 1989.

8. Egorychev G.P. and Levchuk V.M. Enumeration in the Chevalley algebras. // SIGSAM Bulletin, Vol. 35, no. 2, Issue 136, June, 2001, p. 20-34.

9. Касселс Дж. Рациональные квадратичные формы. М: Мир, 1982. 440 с.

10. Лидл Р., Нидеррайтер Г. Конечные поля: Том 1, 2. Пер. с англ. М: Мир, 1988. 822 с.

11. Мальцев А.И. Основы линейной алгебры. М: Наука. 1970. 400с.

12. Мерзляков Ю.И. Рациональные группы. М: Наука. 1980. 464 с.

13. Милнор Дж., Хьюзмоллер Д. Симметрические билинейные формы. М: Наука. 1986. 176 с.

14. ОМира О. Лекции о линейных группах. В сборнике переводов "Автоморфизмы классических групп". М: Мир. 1976. с. 57-167.

15. Ojanguren M., Sridharan R. A note on the fundamental theorem of projective geometry. // Comm. Math. Helv. 1969. 44. no. 3. p. 310 315.

16. Polya G. Kombinatorische Anzahlbestimmungen fur Gruppen, Graphen und chemische Verbindungen, Acta Math. V. 68. 1937. 145-254.

17. Rodman L. Matrix functions. In: Handbook of Algebra, Ed. by M. Hazewinkel, Elsevier, 1996, 117-154.

18. Розепфельд Б.A. // История неевклидовой геометрии. М: Наука. 1976. 408 с.

19. Уфнаровский В. А. Комбинаторные асимптотические методы в алгебре. Итоги науки и техники. Современные проблемы математики. Фундаментальные направления. Т. 57. 1990. с. 5-178.

20. Холл М. Комбинаторика. М: Мир. 1970. 424 с.РАБОТЫ АВТОРА ПО ТЕМЕ ДИССЕРТАЦИИ

21. Старикова О.А. О классификации квадрик проективной плоскости Fp(e)P2. // Материалы VI науч. конф. асп. и молодых исследователей СМУ. Магадан: Сев. Межд. Ун-т. 1999. с. 50-52.

22. Старикова О.А. Квадрики проективной плоскости Fp(en~l)P2. // Материалы VII науч. конф. асп. и молодых исследователей СМУ. Магадан: Сев. Межд. Ун-т. 2000. с. 13-16.

23. Старикова О.А. Взаимное расположение квадрик и прямых на проективной плоскости Fp(e)P2. // Материалы VIII науч. конф. асп. и молодых исследователей СМУ. Магадан: Сев. Межд. Унт. 2001. с. 16-18.

24. Старикова О.А. Проективная плоскость Fp2,l]P2. // Материалы IX науч. конф. асп. и молодых исследователей СМУ. Магадан: Сев. Межд. Ун-т. 2002. с. 53-54.

25. Старикова О.А. Квадрики проективной плоскости Fq(en~l)P2. // В сбор, статей "II Всесибирский конгресс женщин-математиков". Красноярск: КГУ. 2002. с. 138-143.

26. Старикова О.А. О классификации квадрик проективной плоскости Fp2,1]Р2- // Тезисы докл. международной конф. "Алгебра и ее приложения". Красноярск: КГУ. 2002. с. 113-114.

27. Старикова О.А. Квадрики и квадратичные формы модулей. // Материалы X науч. конф. асп. и молодых исследователей СМУ. Магадан: Сев. Межд. Ун-т. 2003. с. 91-92.

28. Старикова О.А. Перечисление квадрик проективных плоскостей и пространств над локальными кольцами главных идеалов. // Алгебра и теория моделей, 4-й выпуск. Новосибирск: НГТУ. 2003. с. 110-115.

29. Старикова О.А. Перечисление квадрик над локальным кольцом с конечно порожденным, но не главным максимальным идеалом. //В сбор. "22-я региональная научно-техническая конференция". Красноярск: КрасГАСА. 2004. с. 14-15.

30. Левчук В.М., Старикова О.А. Перечисление квадрик и симметричных форм модулей над локальными кольцами // (в печати).