Функция длины и матричные алгебры

Маркова, Ольга Викторовна

Функция длины и матричные алгебры тема автореферата и диссертации по математике, 01.01.06 ВАК РФ

Маркова, Ольга Викторовна АВТОР

кандидата физико-математических наук УЧЕНАЯ СТЕПЕНЬ

Москва МЕСТО ЗАЩИТЫ

2009 ГОД ЗАЩИТЫ

01.01.06 КОД ВАК РФ

Диссертация по математике на тему «Функция длины и матричные алгебры»

Автореферат диссертации на тему "Функция длины и матричные алгебры"

МОСКОВСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ имени М.В. ЛОМОНОСОВА Механико-математический факультет

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

УДК 512.643, 512.552

Маркова Ольга Викторовна

ФУНКЦИЯ ДЛИНЫ И МАТРИЧНЫЕ АЛГЕБРЫ

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

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

" 3 ЛЕН 2009

Москва, 2009

003486559

Работа выполнена на кафедре высшей алгебры Механико-математического факультета Московского государственного университета имени М.В. Ломоносова.

Научные руководители:

Официальные оппоненты:

Ведущая организация:

доктор физико-математических наук, доцент Гутерман Александр Эмилевич

доктор физико-математических наук, профессор Михалев Александр Васильевич

доктор физико-математических наук, профессор Кожухов Игорь Борисович

доктор физико-математических наук, профессор Туганбаев Аскар Аканович

Московский педагогический государственный университет

Защита диссертации состоится 11 декабря 2009 года в 16 часов 45 минут на заседании диссертационного совета Д 501.001.84 при Московском государственном университете имени М.В. Ломоносова по адресу: Российская Федерация, 119991, Москва, ГСП-1, Ленинские горы, д. 1, МГУ имени М.В. Ломоносова, Механико-математический факультет, аудитория 14-08.

С диссертацией можно ознакомиться в библиотеке Механико-математического факультета МГУ (Главное здание МГУ, 14 этаж).

Автореферат разослан 11 ноября 2009 г.

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

Иванов А.О.

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

Актуальность темы исследования

Длиной конечной системы 5 порождающих конечномерной ассоциативной алгебры А над произвольным полем называется наименьшее натуральное число 1(5), такое что слова длины не большей ¿(5) порождают данную алгебру как векторное пространство. Длиной алгебры называется максимум длин ее систем порождающих, обозначим ее 1(Л).

Задача вычисления длины полной алгебры матриц Мп(¥) как функции порядка матриц возникла в работах Спенсера и Ривлина1'2 1959-бОгг. в связи с возможным применением в механике. В общей формулировке эта проблема была поставлена Пазом3 в 1984 году и до сих пор является открытой. Существует гипотеза, состоящая в том, что зависимость между длиной и порядком матриц линейная и задается следующей формулой:

Гипотеза (Паз3). Пусть ¥ — произвольное поле. Тогда 1(Мп(¥)) = 2тг - 2.

Известно3, что эта гипотеза верна при п = 2,3,4. Однако, все существующие верхние оценки длины алгебры матриц не являются линейными.

Оценка, полученная в работе Паза, является квадратичной относительно порядка матриц.

Теорема 1 (Паз3). Пусть Е — произвольное поле. Тогда

Гп2 + 2"

1(Мп(¥)) <

где [.] обозначает наименьшее целое число, большее или равное данному.

В работе 1997 г. Паппачена4 предложил обобщение метода комбинаторного подсчета линейно независимых слов, использованного Пазом, и с его помощью получил верхнюю оценку длины произвольной ассоциативной алгебры Л в виде функции двух ее инвариантов: размерности и т(Л) — максимальной степени минимального многочлена элементов алгебры.

'A. J. M. Spencer, R. S. Rivlin, The theory of matrix polynomials and its applications to the mechanics of isotropic continua, Arch. Ration. Mech. Anal., 2(1959), 309-336.

2 A. J. M. Spencer, R. S. Rivlin, Further results in the theory of matrix polynomials, Arch. Ration. Mech. Anal., 4(1960), 214-230.

3A. Paz, An application of the Cayley-Hamilton theorem to matrix polynomials in several variables, Linear Multilinear Algebra, 15(1984), 161-170.

4C. J. Pappacena, An upper bound for the length of a finite-dimensional algebra, J. Algebra, 197(1997), 535-545.

Теорема 2 (Паппачена4). Пусть F — произвольное поле и пусть

I 2d 1 то

Тогда 1(A) < /(dim Л,т{Л)).

Для матричной алгебры эта теорема дает верхнюю оценку вида 0(п3//2): Теорема 3 (Паппачена4). Пусть F — произвольное поле. Тогда

ЦК.0Р» + =-г

Некоторые системы порождающих, длины которых не превосходят 2тг — 2, рассмотрены в работе Константайна и Дарнолла5 и в работе Лонгстаффа6. Пример системы порождающих длины 2п — 2 в случае, когда основное поле является алгебраически замкнутым характеристики 0, построен в работе Лаффи7.

Это направление тесно связано с изучением коммутативных подалгебр матричной алгебры — классической областью исследований, восходящей еще к работе Шура8. Эта область активно развивается в течение последнего столетия, достаточно упомянуть работы9'10,11'12'13'14,15. В работе Паза3, например, было доказано, что верхняя оценка длины коммутативной матричной подалгебры над полем комплексных чисел С равна п — 1, т.е. для коммутативных подалгебр получена линейная относительно порядка матриц точная верхняя оценка длины.

5D. Constantine, М. Damall, Lengths of finite dimensional representations of PWB algebras, Linear Algebra Appl., 395(2005), 175-181.

eW. E. Longstaff, Burnside's theorem: irreducible pairs of transformations, Linear Algebra Appl., 382(2004), 247-269.

7T. J. Laffey, Simultaneous reduction of sets of matrices under similarity, Linear Algebra Appl., 84(1986), 123-138.

'I. Schur, Zrn- Theorie der Vertauschbaren Matrizen, J. Reine Angew. Math., 130(1905), 66-76.

SM. Gerstenhaber, On dominance and varieties of commuting matrices, Ann. Math., 73 (1961), Issue 2, 324-348.

10R. C. Courter, The dimension of maximal commutative subalgebras of K„, Duke Math. J., 32 (1965), 225-232.

11 Д. А. Супруненхо, P. И. Тышкевич, Перестановочные матрицы. 2-е изд. Москва: УРСС, 2003.

«Т. J. Laffey, The minimal dimension of maximal commutative subalgebras of full matrix algebras, Linear Algebra Appl., 71 (1985), 199-212.

13T. J. Laffey, S. Lazarus, Two-generated commutative matrix subalgebras, Linear Algebra Appl., 147 (1991), 249-273.

HW. C. Brown, F. W. Call, Maximal commutative subalgebras ofnxn matrices, Commun. Algebra, 21(12)(1993), 4439-4460.

I5Youngkwon Song, A construction of maximal commutative subalgebra of matrix algebras, 3. Korean Math. Soc., 40 (2003), No. 2, 241-250.

Приложения разрабатываемой теории возникают в следующем классе задач вычислительных методов в теории матриц (см., например, работы16,17): пусть дана подалгебра в полной алгебре матриц M„(F) порядка п над полем F (обычно полем комплексных или действительных чисел), заданная порождающим множеством Ai,..., Ак, и требуется проверить, обладает ли данная алгебра некоторым заданным свойством. При этом процедура проверки должна быть рациональной, т.е. использующей конечное число арифметических операций с элементами матриц. Такие процедуры как правило включают в себя рациональную процедуру вычисления базиса алгебры; длина порождающего множества .Ai,...,Л* ограничивает сверху число матриц, участвующих в рассматриваемых произведениях матриц, т.е. является мерой сложности этой процедуры. Также длина определяет сложность рациональной процедуры проверки, является ли некоторое множество системой порождающих для заданной алгебры.

Отметим, что в ряде вычислительных задач требуется оценить длину произвольного подмножества S' в алгебре А, которое может порождать не всю алгебру, а ее собственную подалгебру А' С Л. Или, найти такое число М 6N, что для любой подалгебры Л' С А будет справедлива оценка l(A') < М. В силу тривиальной оценки длины l(A') < dim А1 — 1, всегда можно положить М = dim А — 1. Однако, как показывает, например, оценка в теореме 3, тривиальная оценка может не быть точной.

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

Цель работы

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

16Ю.А. Альшш, Х.Д. Икрамов, Об унитарном подобии матричных семейств, Матем. заметки, 74:6 (2003), 815-826.

17 Al'pin Yu.A., Ikramov Kh.D., Reducibility theorems for pairs of matrices as rational criteria, Linear Algebra Appl., 313(2000), 155-161.

Научная новизна

Полученные в диссертации результаты являются новыми. Среди них:

• Исследование основных теоретико-кольцевых свойств функции длины:

— сохранение длины алгебры при добавлении внешней единицы;

— точные верхняя и нижняя оценки длины прямой суммы алгебр;

— неубывание длины при переходе к алгебраическому расширению основного поля;

— невозрастание длины алгебры при эпиморфизмах;

— нижняя оценка длины тензорного произведения алгебр;

— верхняя оценка длины локальной алгебры как функция индекса нильпотентности ее радикала Джекобсона и размерности фактора по радикалу.

• Доказательство того, что длина подалгебры может превышать длину содержащей ее алгебры на любое натуральное число, и что отношение длины подалгебры к длине алгебры может быть любым рациональным числом из отрезка [1,2].

• Нахождение точной верхней оценки длины коммутативных матричных алгебр в случае произвольного поля (теорема 2.2.1). Характеризация коммутативных матричных подалгебр максимальной длины над произвольными полями в терминах порождающих элементов (теоремы 2.4.12 и 2.2.17).

• Исследование верхней оценки длины коммутативной алгебры как функции двух инвариантов этой алгебры — размерности и максимальной степени минимального многочлена элементов алгебры (теорема 2.5.14).

• Вычисление длин следующих классических матричных подалгебр: алгебры верхнетреугольных матриц; алгебры диагональных матриц; алгебры Шура; алгебры Куртера.

Основные методы исследования

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

Теоретическая и практическая значимость

Работа носит теоретический характер. Полученные в ней результаты могут быть использованы в различных задачах теории колец, линейной алгебры, вычислительных методов.

Апробация результатов

Результаты диссертации неоднократно докладывались на научно-исследовательских семинарах: научно-исследовательский семинар по алгебре кафедры Высшей алгебры МГУ, "Кольца и модули", "Теория матриц" и "Избранные вопросы алгебры " кафедры Высшей алгебры МГУ (2004-2009гг.); на семинаре факультета математики университета г. Билефельда, Германия в 2005 и 2006 гг..

Также результаты докладывались на следующих конференциях:

• Международная алгебраическая конференция, посвященная 250-летию Московского университета и 75-летию кафедры высшей алгебры, Москва, 2004;

• Международный семинар по компьютерной алгебре и информатике, посвященный 30-летию лаборатории вычислительных методов, Москва, 2005;

• 2-я международная конференция по матричным методам и операторным уравнениям, Москва, 2007;

• 8-я конференция по линейной алгебре, Любляна, Словения, 2008;

• Международная алгебраическая конференция, посвященная 100-летию со дня рождения А.Г. Куроша, Москва, 2008;

• Международная конференция "Современные проблемы математики, механики и их приложений," посвященная 70-летию ректора МГУ академика В.А. Садовничего, Москва, 2009;

• Научная конференция "Ломоносовские чтения" Москва, 2009. Структура диссертации

Диссертация состоит из введения, трех глав, разбитых на параграфы, списка литературы и списка публикаций автора по теме диссертации. Общий объем работы составляет 129 страниц. Список литературы включает 35 наименоваг ний.

Публикации

Результаты диссертации опубликованы в 9 работах автора, список которых приведен в конце автореферата [1-9].

КРАТКОЕ СОДЕРЖАНИЕ РАБОТЫ

Во введении показана актуальность темы диссертации, описано содержание диссертации и сформулированы основные результаты.

Глава 1 посвящена изучению основных теоретико-кольцевых свойств функции длины.

В разделе 1.2 показано, что длина системы порождающих не меняется при обратимых линейных заменах этой системы.

В разделе 1.3 показано, что длина алгебры не меняется при присоединении к алгебре внешней единицы.

Теорема (1.3.1). Пусть¥ — произвольное поле и А — конечномерная алгебра без единицы над полем F. Определим F-алгебру Л\ = ДфР со следующими операциями:

(аъ Л) + (02> /2) = (»1 + о2) Л + /2),

Л(о,/а) = (/iß,/1/2)1

(ai, /i)(o2, /2) = (ai a2 + /201 + /i<x2, /1/2),

a, 01, a2 G A, /i, /2 6 F.

Тогда Ai — конечномерная F-алгебра с единичным элементом (0,1) и 1{А) = l{Ai).

В разделе 1.4 получены точные оценки длины прямой суммы алгебр.

Теорема (1.4.2). Пусть А и В — конечномерные ассоциативные алгебры над полем F длин /д и 1в, соответственно. Тогда выполнены следующие неравенства:

тах{1А) /в} < 1{А Ф В) < lA + lB + 1.

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

Основной результат раздела 1.5 заключается в том, что длина алгебры не уменьшается при переходе к алгебраическому расширению основного поля. Построен пример строго возрастания длины алгебры при переходе к алгебраическому замыканию поля.

В разделе 1.6 исследуется поведение длины при переходе от алгебры к ее фактор-алгебрам. В частности, доказана

Теорема (1.6.1). Пусть F — произвольное поле, А и В — алгебры над F и ip : А—► В — эпиморфизм. Тогда 1{В) < 1{А).

В разделе 1.7 получена точная нижняя оценка длины тензорного произведения алгебр.

В разделе 1.8 длина произвольной конечномерной локальной алгебры оценена сверху функцией от индекса нильпотентности ее радикала Джекобсона и размерности фактор-алгебры по радикалу.

Теорема (1.8.6). Пусть Е — произвольное поле и А — конечномерная локальная ¥-алгебра. Пусть J{A) — радикал Джекобсона алгебры А, через N обозначен индекс нильпотентности радикала J{A). Пусть О = сИткЛ/7(Л). Тогда 1(А) < /Ж - 1.

В главе 2 исследуется длина коммутативных алгебр. Получено обобщение результата Паза о длине коммутативных матричных подалгебр на случай произвольного поля.

Теорема (2.2.1). Пусть ¥ — произвольное поле иА~ коммутативная подалгебра в Мп(¥). Тогда 1(А) < п - 1.

Также показана точность этой оценки. Более того охарактеризован класс коммутативных матричных подалгебр длины п — 1.

Матрица С е Мп(¥) называется циклической, если

<Шпк((Я, С, С2,..., Сп~1)) = п.

Теорема (2.4.17). Пусть Г — произвольное поле и пусть А — коммутативная подалгебра в М„(¥). Тогда 1(А) = п — 1 тогда и только тогда, когда подалгебра А порождена циклической матрицей.

Как следствие, установлено, что максимальные по длине коммутативные подалгебры в Мп(¥) являются также максимальными по включению.

В разделе 2.3 приведены примеры вычисления длин таких классических коммутативных матричных подалгебр, как алгебра Шура, алгебра Куртера и др. Также эти примеры показывают, что длины максимальных по включению коммутативных подалгебр в Мп(¥) могут принимать любое натуральное значение в отрезке от 1 до п — 1, т.е. максимальные по включению коммутативные подалгебры не обязательно имеют максимальную длину.

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

Теорема (2.5.14). Пусть¥ — произвольное поле. Пусть А — ассоциативная конечномерная коммутативная ¥-алгебра с единицей. Пусть

д{й т) = ((-т~ 1^1°ёт ^ + ^ ~ 1 При Ш ~ 2;

I 0 при т = 1,

где [я] обозначает наибольшее целое число, не превосходящее х, и {а;} = х — [х]. Тогда 1(A) < p(dim А, т(Л)).

В коммутативном случае эта оценка является улучшением общей оценки Паппачены из теоремы 2. Этот результат использован для вычисления длины алгебры диагональных матриц над произвольным полем.

Теорема (2.6.1). Пусть F — произвольное поле.

1. Если поле F — бесконечно, то l(D„(F)) = п — 1.

2. Если F = F„ — конечное поле из q элементов, то

п — 1, при д>щ

(q - l)[log,n] + - 1, при q<n.

Глава 3 посвящена изучению вопроса о связи длины подалгебры с длиной содержащей ее алгебры. В алгебре матриц любого порядка, превышающего 3, построены примеры, показывающие, что функция длины может расти при переходе к подалгебрам. Для матричных подалгебр порядков 2 и 3 установлено, что длина подалгебры не превосходит длины содержащей ее алгебры.

Полностью решен вопрос о возможных значениях разности длины подалгебры и длины содержащей ее алгебры: показано, что длина подалгебры может превышать длину содержащей ее алгебры на любое натуральное число.

Теорема (3.1.11). Пусть к € N — произвольное натуральное число, пусть п = 4к. Тогда существуют такие алгебры А! С А С Мп(¥), что 1(А') — 1{А) = к.

В разделе 3.2 рассмотрены специальные конструкции двух- и трехблочных верхнетреугольных матричных подалгебр. Заметим, что до настоящего времени существовало не много примеров алгебр с явно вычисленной длиной. Поэтому вычисление длин подалгебр данного вида представляет непосредственный интерес. Помимо этого, представленные конструкции дают пример того, что отношение длины подалгебры к длине алгебры может быть любым рациональным числом из отрезка [1,2].

Теорема (3.2.11). Пусть F числа,

произвольное поле, п > т — натуральные

•Ап,т ~ ( ^ Ец, Eij, \ ¿=1

1 < г < j < п, или

n +1<г < j<n + т

С Тт+п{F).

Тогда

п — 1, при п — т> 2, п — 1 при п = тп +1, п > 3, 1{Ап,т) = п + 1 при п = тп = 2, п, при п = т ф2, п при п = т + 1, т — 1,2.

Следствие (3.2.12). Пусть F — произвольное поле, п>т — фиксированные натуральные числа. Пусть

п—1 т-1

Cn,m = У^ ¡+1 + У ^ (Ej+nj+n + Ej+nj+n+1) + Еп+т^п+щ € -4n,m ¿=1

циклическая матрица,

А'п,т = (С{т,\0<j<n + m-l)C Л,т.

Тогда

й. при п = m = 1, 2 и п = 2, т = 1 выполнено Aim = Aim и ¿(Aim) — 5. при п > 3 выполнено

1(Л!п,т)-1(Ап,т) =

\т, прип — т>2,илип = тп+1, п > 3, i m — 1, при п = тп > 3, или п = 3, тп — 2,

'(•^ят) —пРи п — 771 ^ 2, или п = т-Ь 1, п> 3,

ДЛг.т) I 1 4- ™- при п — т > 3 и^и я = 3, т — 2.

^ п

Теорема (3.2.22). Пусть ¥ — произвольное поле. Пусть щ, щ € К, щ > п2 + п3 + 2. Яусть Аь„2,п3 С ТП1 (Р) Ф Тп,(Е) ф ТПз(Р),

•^iiiijinj Тогда /(Аыч.пз) = п2 - 1.

П1 П1+П3

Е,

¿==1 i=ni+l

1 < i < j <щ, или

П1 + 1 < i < j < П1 + П2, или

ni4-n2-fl<i<j<»ll+n2+n3

Следствие (3.2.23). Пусть ¥ — произвольное поле, ¡Р| > 3|, и пусть Щ, П2, п3 € М, щ > пг + п3 + 2, п2 > п3 > 3. Пусть а € ¥,а ^ 0,1 и

7»1— 1 Г»1+П2—1

Cni.ru,пз = X/ + + -®П1+П2,П1+П2 +

П1+П2+ПЗ —1

,П1+П2+Пз 6 "4щ,Пз,Пз

циклическая матрица, положим

•4.^2,пз = (Ои^пз' I 0 < < П! + П2 + Пз - 1) с

Тогда

1- 1(Аиъ,Пз) = ГЦ + п2 + п3 - 1;

КЛ1№,п3) - КАП,П2,пз) = "2 + п3;

'(Лц.па.пз) Пх - 1 П1 - 1

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

Публикации автора по теме диссертации

1. Маркова О.В., О длине алгебры верхнетреугольных матриц, Успехи математических наук, 60:3 (2005), 177-178.

2. Маркова О.В., Вычисление длин матричных подалгебр специального вида, Фундаментальная и прикладная математика, 13:4 (2007), 165-197.

3. Markova O.V., Matrix algebras and their length, в сб. Matrix methods: theory, algorithms, applications., World Scientific Publishing, 2008,116-139.

4. Guterman A.E., Markova O.V., Commutative matrix subalgebras and length function, Linear Algebra and its Applications, 430(2009), 1790-1805.

5. Маркова О.В., Характеризация коммутативных матричных подалгебр максимальной длины над произвольным полем, Вестник Московского университета. Сер.1. Математика. Механика. 5(2009), 53-55.

6. Markova O.V., On the length of matrix subalgebras, Международная алгебраическая конференция, посвященная 250-летию Московского университета и 75-летию кафедры высшей алгебры, Тезисы докладов, Москва, 2004, стр. 233.

7. Markova O.V., On the commutative matrix subalgebras of maximal length, Международный семинар по компьютерной алгебре и информатике, посвященный 30-летию лаборатории вычислительных методов, Тезисы докладов, Москва, 2005, стр. 18-19

8. Markova O.V., Matrix algebras and their length, 2-я международная конференция "Матричные методы и операторные уравнения", Тезисы докладов, Москва, 2007, 55-56.

9. Markova O.V., On the algebraic properties of the length function, Международная алгебраическая конференция, посвященная 100-летию со дня рождения А.Г. Куроша, Тезисы докладов,Москва, 2008, 327-328.

В работе [4], совместной с А.Э. Гутерманом — научным руководителем диссертанта, А.Э. Гутерману принадлежат формулировки основных результатов разделов 5,6,8 и предварительная формулировка теоремы 7.9. Доказательства всех основных результатов работы и формулировки основных результатов разделов 1-4 принадлежат диссертанту.

Подписано в печать 05, // ОЗ. Формат 60x90 1/16. Усл. печ. л. ¿7 75 Тираж {ОО экз. Заказ г/3>

Отпечатано с оригинал-макета на типографском оборудовании механико-математического факультета МГУ имени М.В.Ломоносова

Содержание диссертации автор исследовательской работы: кандидата физико-математических наук, Маркова, Ольга Викторовна

Введение

1 Базовые алгебраические свойства функции длины

1.1 Основные определения и обозначения.

1.2 Поведение длины системы образующих при преобразованиях этой системы.

1.3 Поведение длины при присоединении к алгебре единицы

1.4 Длина прямой суммы алгебр

1.4.1 Примеры вычисления длины прямых сумм матричных подалгебр.

1.5 Поведение длины алгебры при переходе к алгебраическому расширению поля .•.

1.6 Связь между длиной алгебры и длиной ее гомоморфных образов

1.7 Нижняя оценка длины тензорного произведения.

1.8 Длина локальной алгебры

2 Длина коммутативных алгебр

2.1 Введение.

2.2 Верхняя оценка длины коммутативных матричных алгебр

2.3 Длина классических коммутативных подалгебр алгебры Мп{F)

2.4 Коммутативные матричные алгебры максимальной длины

2.4.1 Коммутативные матричные алгебры максимальной длины над алгебраически замкнутыми полями-.

2.4.2 Коммутативные подалгебры максимальной длины над произвольными полями.

2.5 Верхняя оценка длины для коммутативных алгебр как функция от двух инвариантов

2.5.1 Сравнение с другими оценками.

2.6 О длине алгебры диагональных матриц.

3 Связь длины алгебры с длиной ее подалгебр

3.1 Введение.

3.2 Блочные подалгебры в алгебре верхнетреугольных матриц

3.2.1 Алгебры с двумя блоками.

3.2.2 Алгебры с тремя блоками.

3.3 Монотонность функции длины.

3.4 Подалгебры матриц порядков 2 и

3.4.1 Длина подалгебр в M2(F).

3.4.2 Длина подалгебр в М3(F).

Введение диссертация по математике, на тему "Функция длины и матричные алгебры"

Общая характеристика работы

Актуальность темы исследования

Длиной конечной системы порождающих S конечномерной ассоциативной алгебры Л над произвольным полем называется наименьшее натуральное число Z(«S), такое что слова длины не большей l(S) порождают данную алгебру как векторное пространство. Длиной алгебры называется максимум длин ее систем порождающих, обозначим ее 1(A).

Задача вычисления длины полной алгебры матриц Мп(¥) как функции порядка матриц возникла в работах Спенсера и Ривлина 1959-60гг. [24], [25] в связи с возможным применением в механике. В общей формулировке эта проблема была поставлена Пазом в 1984 году в работе [20] и до сих пор является открытой. Существует гипотеза, состоящая в том, что зависимость между длиной и порядком матриц линейная и задается следующей формулой:

Гипотеза ([20]). Пусть F — произвольное поле. Тогда l(Mn(F)) = 2п — 2.

Известно, что эта гипотеза верна при п = 2,3,4 (см. [20, пример]). Однако, все существующие верхние оценки длины алгебры матриц не являются линейными.

Оценка, полученная в работе Паза, является квадратичной относительно порядка матриц.

Теорема 1 ([20, теорема 1, замечание 1]). Пусть F — произвольное поле. Тогда п2 -4- 2

1(Мп(¥))< где [.] обозначает наименьшее целое число, большее или равное данному.

В работе 1997 г. [19] Паппачена предложил обобщение метода комбинаторного подсчета линейно независимых слов, использованного Пазом, и с его помощью получил верхнюю оценку длины произвольной ассоциативной алгебры Л в виде функции двух ее инвариантов: размерности и т(Л) — максимальной степени минимального многочлена элементов алгебры.

Теорема 2 ([19, теорема 3.1]). Пусть F — произвольное поле и пусть

1 ч / 2 d 1 т п

Тогда 1(A) < /(dim А, т(Л)).

Для матричной алгебры эта теорема дает верхнюю оценку вида 0(п3//2): Теорема 3 ([19, следствие 3.2]). Пусть F — произвольное поле. Тогда

Некоторые системы порождающих, длины которых не превосходят 2п — 2, рассмотрены в работе Константайна и Дарнолла [11] и в работе Лонгстаффа [18]. Пример системы порождающих длины 2п — 2 в случае, когда основное поле является алгебраически замкнутым характеристики 0, построен в работе Лаффи [16, раздел 4]. Это направление тесно связано с изучением коммутативных подалгебр матричной алгебры — классической областью исследований, восходящей еще к работе Шура [22]. Эта область активно развивается в течение последнего столетия, достаточно упомянуть работы [5], [10], [12], [13], [15], [17], [23]. В работе Паза [20, теорема 2], например, было доказано, что верхняя оценка длины коммутативной матричной подалгебры над полем комплексных чисел С равна п — 1, т.е. для коммутативных подалгебр получена линейная относительно порядка матриц точная верхняя оценка длины.

Приложения разрабатываемой теории возникают в следующем классе задач вычислительных методов в теории матриц (см., например, [1], [9]): пусть дана подалгебра в полной алгебре матриц Мп(F) порядка п над полем F (обычно полем комплексных или действительных чисел), заданная порождающим множеством Ai,., Ak, и требуется проверить, обладает ли данная алгебра некоторым заданным свойством. При этом процедура проверки должна быть рациональной, т.е. использующей конечное число арифметических операций с элементами матриц. Такие процедуры как правило включают в себя рациональную процедуру вычисления базиса алгебры; длина порождающего множества Ai,.,Ak ограничивает сверху число матриц, участвующих в рассматриваемых произведениях матриц, т.е. является мерой сложности этой процедуры. Также длина определяет сложность рациональной процедуры проверки, является ли некоторое множество системой порождающих для заданной алгебры.

Отметим, что в ряде вычислительных задач требуется оценить длину произвольного подмножества S1 в алгебре А, которое может порождать не всю алгебру, а ее собственную подалгебру Л! С Л. Или, найти такое число М Е N, что для любой подалгебры Л' С Л будет справедлива оценка l(A') < М. В силу тривиальной оценки длины l(A') < dim Л' — 1, всегда можно положить М = dim Л — 1. Однако, как показывает, например, оценка в теореме 3, тривиальная оценка может не быть точной.

Цель работы

Научная новизна

Полученные в диссертации результаты являются новыми. Среди них:

• Исследование основных теоретико-кольцевых свойств функции длины: сохранение длины алгебры при добавлении внешней единицы; точные верхняя и нижняя оценки длины прямой суммы алгебр; неубывание длины при переходе к алгебраическому расширению основного поля; невозрастание длины алгебры при эпиморфизмах; нижняя оценка длины тензорного произведения алгебр; верхняя оценка длины локальной алгебры как функция индекса нильпотентности ее радикала Джекобсона и размерности фактора по радикалу.

• Вычисление длин следующих классических матричных подалгебр: алгебры верхнетреугольных матриц; алгебры диагональных матриц; алгебры Шура; алгебры' Куртера.

Основные методы исследования

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

Теоретическая и практическая значимость

Апробация результатов i

Результаты диссертации неоднократно докладывались на научно-исследовательских семинарах: научно-исследовательский семинар по алгебре кафедры Высшей алгебры МГУ, "Кольца и модули", "Теория матриц" и "Избранные вопросы алгебры" кафедры Высшей алгебры МГУ; на семинаре факультета математики университета г. Билефельда, Германия в 2005 и 2006 гг.

Также результаты докладывались на следующих конференциях:

• 2-я международная конференция по матричным методам и операторным уравнениям, Москва, 2007;

• 8-я конференция по линейной алгебре, Любляна, Словения, 2008;

• Международная алгебраическая конференция, посвященная 100-летию со дня рождения А.Г. Куроша, Москва, 2008;

• Научная конференция "Ломоносовские чтения" Москва, 2009. Структура диссертации

Список источников диссертации и автореферата по математике, кандидата физико-математических наук, Маркова, Ольга Викторовна, Москва

1. Ю.А. Альпин, Х.Д. Икрамов, Об унитарном подобии матричных семейств, Матем. заметки, 74:6 (2003), 815-826.

2. И. Ламбек, Кольца и модули, Москва: Мир, 1971.

3. А. И. Мальцев, Основы линейной алгебры, Изд.4, Москва: Наука, 1975.

4. Р. Пирс, Ассоциативные алгебры, Москва: Мир, 1986.

5. Д. А. Супруненко, Р. И. Тышкевич, Перестановочные матрицы. 2-е изд. Москва: УРСС, 2003.

6. В. В. Воеводин, Е. Е. Тыртышников, Вычислительные процессы с теп-лицевыми матрицами, Москва: Наука, 1987.

7. Фам Вьет Хунг, Верхняя граница для размерности коммутативных нильпотентных подалгебр алгебры матриц, Известия Академии Наук БССР, Серия физико-математических наук, 3(1987), 110-111.

8. Р. Хорн, Ч. Джонсон, Матричный анализ, Москва: Мир, 1989.

9. Yu.A. Al'pin, Kh.D. Ikramov, Reducibility theorems for pairs of matrices as rational criteria, Linear Algebra Appl!, 313(2000), 155-161.

10. W. C. Brown, F. W. Call, Maximal commutative subalgebras of n x n matrices, Coramun. Algebra, 21(12)(1993), 4439-4460.

11. D. Constantine, M. Darnall, Lengths of finite dimensional representations of PWB algebras, Linear Algebra Appl., 395(2005), 175-181.

12. R. C. Courter, The dimension of maximal commutative subalgebras of Kn, Duke Math. J., 32 (1965), 225-232.

13. M. Gerstenhaber, On dominance and varieties of commuting matrices, Ann. Math., 73 (1961), Issue 2, 324-348.

14. R. A. Horn, C. R. Johnson, Topics in matrix analysis, Cambridge University Press, 1991.

15. Т. J. Laffey, The minimal dimension of maximal commutative subalgebras of full matrix algebras, Linear Algebra Appl., 71 (1985), 199-212.

16. T. J. Laffey, Simultaneous reduction of sets of matrices under similarity, Linear Algebra Appl., 84(1986), 123-138.

17. T. J. Laffey, S. Lazarus, Two-generated commutative matrix subalgebras, Linear Algebra Appl., 147(1991), 249-273.

18. W. E. Longstaff, Burnside's theorem: irreducible pairs of transformations, Linear Algebra Appl., 382(2004), 247-269.

19. C. J. Pappacena, An upper bound for the length of a finite-dimensional algebra, J. Algebra, 197(1997), 535-545.

20. A. Paz, An application of the Cayley-Hamilton theorem to matrix polynomials in several variables, Linear Multilinear Algebra, 15(1984), 161— 170.

21. H. Radjavi, P. Rosenthal, Simultaneous triangularisation, Springer, 2000.

22. I. Schur, Zur theorie der vertauschbaren matrizen, J. Reine Angew. Math., 130(1905), 66-76.

23. Youngkwon Song, A construction of maximal commutative subalgebra of matrix algebras, J. Korean Math. Soc., 40 (2003), No. 2, 241-250.

24. A. J. M. Spencer, R. S. Rivlin, The theory of matrix polynomials and its applications to the mechanics of isotropic continua, Arch. Ration. Mech. Anal., 2(1959), 309-336.

25. A. J. M. Spencer, R. S. Rivlin, Further Results in the theory of matrix polynomials, Arch. Ration. Mech. Anal., 4(1960), 214-230.

26. A. Wadsworth, The algebra generated by two commuting matrices, Linear Multilinear Algebra, 27(1990), 159-162.Публикации автора по теме диссертации

27. Маркова О.В., О длине алгебры верхнетреугольных матриц, Успехи математических наук, 60:3 (2005), 177-178.

28. Маркова О.В., Вычисление длин матричных подалгебр специального вида, Фундаментальная и прикладная математика, 13:4 (2007), 165-197.

29. Markova O.V., Matrix algebras and their length, в сб. Matrix methods: theory, algorithms, applications., World Scientific Publishing, 2008, 116-139.

30. Guterman A.E., Markova O.V., Commutative matrix subalgebras and length function, Linear Algebra and its Applications, 430(2009), 1790-1805.

31. Маркова О.В., Характеризация коммутативных матричных подалгебр максимальной длины над произвольным полем, Вестник Московского университета. Сер.1. Математика. Механика. 5(2009), 53-55.

32. Markova O.V., On the length of matrix subalgebras, Международная алгебраическая конференция, посвященная 250-летию Московского университета и 75-летию кафедры высшей алгебры, Тезисы докладов, Москва, 2004, стр. 233.

33. Markova O.V., On the commutative matrix subalgebras of maximal length, Международный семинар по компьютерной алгебре и информатике, посвященный 30-летию лаборатории вычислительных методов, Тезисы докладов, Москва, 2005, стр. 18-19

34. Markova O.V., Matrix algebras and their length, 2-я международная конференция "Матричные методы и операторные уравнения", Тезисы докладов, Москва, 2007, 55-56.

35. Markova O.V., On the algebraic properties of the length function, Международная алгебраическая конференция, посвященная 100-летию со дня рождения А.Г. Куроша, Тезисы докладов,Москва, 2008, 327-328.