Общая постановка такова. Пусть
— некоммутативный многочлен от матриц порядка
. Каким может быть множество его значений? И. Капланский и И. В. Львов поставили вопрос (см.
Днестровская тетрадь, 1.98) о том, что множество значений полилинейного многочлена есть векторное пространство (в этом случае оно совпадает либо с нулем, либо с пространством всех матриц, либо с пространством бесследовых матриц, либо со скалярными матрицами). Решение проблемы Капланского для матриц второго порядка над квадратично замкнутым полем оказалось весьма нетривиальным и глубоким. Вопросы, связанные с уравнениями в матрицах, помимо прикладного значения имеют отношение к конструкции алгебраически замкнутого тела, к теореме о свободе: если добавить новую некоммутативную переменную и соотношение, где та участвует, то это не приведет к появлению новых соотношений. Имеется ряд глубоких проблем, относящихся к множеству значений слов в группе — в частности, в матрицах второго порядка.
Белов Алексей Яковлевич — доктор физико-математических наук.
Летняя школа «Современная математика» имени Виталия Арнольда, г. Дубна
20-25 июля 2018 г.
Произведение элементов пишут в виде слова, изображаемого отрезком. А что значит умножить элементы по кругу? Какой смысл имеет мозаика, составленная из таких кругов? Понимание такого рода вещей приводит к решению ряда открытых вопросов. Например, допустим мы хотим задать конечным числом соотношений полугруппу в которой степень любого элемента равна нулю. Конечным числом запрещенных подслов на прямой нельзя добиться того, чтобы были сколь угодно длинные слова без запрещенных подслов и в то же время не было таких периодических слов. В то же время на плоскости существуют конечные системы запретов допускающие только апериодические замощения. Но как умножать с разных сторон? Эти и другие вопросы предполагается обсудить.
Планируется рассказать про свойства символьных последовательностей, и замечательные теоремы с ними связанные и их обобщения. Например, известно, что следующие классы слов почти эквивалентны: буквы a, b самым тщательным образом перемешаны, т.е. в кусках одинаковой длинны количество символов каждого сорта отличается не более чем на 1; количество различных подслов длины n равно n+1, т.е. минимально возможное; слово получается из поворота окружности на величину α при фиксации буквой a попадания на дугу длины α. Обобщение этой теоремы дает задача Арнольда о перекладывания отрезков. Красивые элементарные факты о поведении слов в которые добавляется не слишком много запретов, отражаются на теореме Голода–Шафаревича. Наверное, стоит упомянуть также теорему Ширшова о высоте.
Возможно ли в линейной алгебре получение новых результатов? Почему в университетах этот курс учат неправильно? Какое матричное разложение является самым важным? Об умножении матрицы на вектор, быстрых алгоритмах и сингулярном разложении. рассказывает доктор физико-математических наук Иван Оселедец.