Теорема Амицура – Левицки - Википедия - Amitsur–Levitzki theorem
В алгебре Теорема Амицура – Левицки. утверждает, что алгебра п к п матрицы удовлетворяет некоторому тождеству степени 2п. Это было доказано Амицур и Левицкий (1950 ). В частности, матричные кольца кольца полиномиальных единиц такая, что наименьшее тождество, которому они удовлетворяют, имеет степень ровно 2п.
Заявление
В стандартный многочлен степени п является
в некоммутативных переменных Икс1,...,Иксп, где сумма берется по всем п! элементы симметричная группа Sп.
Теорема Амицура – Левицки утверждает, что для п к п матрицы А1,...,А2п тогда
Доказательства
Амицур и Левицки (1950 ) дал первое доказательство.
Костант (1958) вывел теорему Амицура – Левицки из Теорема Кошуля – Самельсона. о примитивных когомологиях алгебр Ли.
Лебедь (1963) и Лебедь (1969) дал следующее простое комбинаторное доказательство. По линейности достаточно доказать теорему, когда каждая матрица имеет только один ненулевой элемент, который равен 1. В этом случае каждую матрицу можно закодировать как ориентированное ребро графа с п вершины. Таким образом, все матрицы вместе дают график на п вершины с 2п направленные края. Тождество выполняется при условии, что для любых двух вершин А и B графа количество нечетных эйлеровых путей из А к B равно количеству четных. (Здесь путь называется нечетным или четным в зависимости от того, взяты ли его ребра по порядку, дают нечетную или четную перестановку 2п рёбер.) Свон показал, что это так, если количество рёбер в графе не менее 2п, тем самым доказывая теорему Амицура – Левицки.
Размыслова (1974) представил доказательства, связанные с Теорема Кэли – Гамильтона.
Россет (1976) дал краткое доказательство, используя внешнюю алгебру векторного пространства размерности 2п.
Прочези (2013) дал другое доказательство, показывающее, что теорема Амицура – Левицки является тождеством Кэли – Гамильтона для типичной матрицы Грассмана.
Рекомендации
- Амицур, А.С.; Левицки, Якоб (1950), «Минимальные тождества для алгебр» (PDF), Труды Американского математического общества, 1 (4): 449–463, Дои:10.1090 / S0002-9939-1950-0036751-9, ISSN 0002-9939, JSTOR 2032312, МИСТЕР 0036751
- Амицур, А. С .; Левицки, Якоб (1951), «Замечания о минимальных тождествах для алгебр» (PDF), Труды Американского математического общества, 2 (2): 320–327, Дои:10.2307/2032509, ISSN 0002-9939, JSTOR 2032509
- Форманек, Э. (2001) [1994], «Теорема Амицура – Левицки», Энциклопедия математики, EMS Press
- Форманек, Эдвард (1991), Полиномиальные тождества и инварианты п×п матрицы, Серия региональных конференций по математике, 78, Провиденс, Род-Айленд: Американское математическое общество, ISBN 0-8218-0730-7, Zbl 0714.16001
- Костант, Бертрам (1958), «Теорема Фробениуса, теорема Амицура – Левицкого и теория когомологий», J. Math. Мех., 7 (2): 237–264, Дои:10.1512 / iumj.1958.7.07019, МИСТЕР 0092755
- Размыслов Ю. П. (1974), "Тождества со следом в полных матричных алгебрах над полем нулевой характеристики", Математика СССР-Известия, 8 (4): 727, Дои:10.1070 / IM1974v008n04ABEH002126, ISSN 0373-2436, МИСТЕР 0506414
- Россет, Шмуэль (1976), "Новое доказательство тождества Амицура – Левицкого", Израильский математический журнал, 23 (2): 187–188, Дои:10.1007 / BF02756797, ISSN 0021-2172, МИСТЕР 0401804, S2CID 121625182
- Свон, Ричард Г. (1963), «Приложение теории графов к алгебре» (PDF), Труды Американского математического общества, 14 (3): 367–373, Дои:10.2307/2033801, ISSN 0002-9939, JSTOR 2033801, МИСТЕР 0149468
- Свон, Ричард Г. (1969), «Поправка к» Применение теории графов к алгебре"" (PDF), Труды Американского математического общества, 21 (2): 379–380, Дои:10.2307/2037008, ISSN 0002-9939, JSTOR 2037008, МИСТЕР 0255439
- Прочези, Клаудио (2013), К теореме Амицура - Левицки, arXiv:1308.2421, Bibcode:2013arXiv1308.2421P