Interested Article - Теорема Фробениуса

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

Иными словами, невозможно задать 4 арифметических действия над столбцами (любой высоты, большей 1) из вещественных чисел так, чтобы они удовлетворяли обычным требованиям ассоциативности , коммутативности , обратимости и билинейности , то есть аксиомам поля, и единственным исключением из этого запрета являются комплексные числа — столбцы из двух вещественных чисел.

В случае же ослабления требований путём отказа от коммутативности умножения мы получаем ещё одно исключение, которым являются кватернионы (столбцы из четырёх вещественных чисел).

Поскольку словом «число» обычно называют элемент поля (или хотя бы тела), частным случаем теоремы является тот факт, что трехмерных чисел не бывает , как не бывает и пяти- или же более -мерных.

8-мерные октонионы Кэли исключением из теоремы не являются, поскольку умножение для них не ассоциативно.

Эта теорема была доказана Ф. Г. Фробениусом в 1877 году .

Формулировка

Пусть тело , содержащее в качестве подтела тело вещественных чисел, причём выполняются два условия:

  • любой элемент коммутирует по умножению с вещественными числами: , ;
  • является конечномерным векторным пространством над полем .

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

Теорема Фробениуса утверждает, что всякое такое тело :

  • либо изоморфно полю вещественных чисел,
  • либо изоморфно полю комплексных чисел ,
  • либо изоморфно телу кватернионов .

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

Следствия и замечания

Три последних утверждения образуют так называемую обобщённую теорему Фробениуса .

Алгебры с делением над полем комплексных чисел

Алгебра размерности n над полем комплексных чисел является алгеброй размерности 2n над . Тело кватернионов не является алгеброй над полем , так как центром является одномерное вещественное пространство. Поэтому единственной конечномерной алгеброй с делением над является алгебра .

Гипотеза Фробениуса

В теореме есть условие ассоциативности. Что будет, если отказаться от этого условия? Гипотеза Фробениуса утверждает, что и без условия ассоциативности при n, отличном от 1, 2, 4, 8, в вещественном линейном пространстве R n нельзя определить структуру алгебры с делением. Гипотеза Фробениуса доказана в 60-х гг. XX века.

Если при n>1 в пространстве R n определено билинейное умножение без делителей нуля, то на сфере S n-1 существует n-1 линейно независимых векторных полей . Из результатов, полученных Адамсом о количестве , следует, что это возможно только для сфер S 1 , S 3 , S 7 . Это доказывает гипотезу Фробениуса.

См. также

Примечания

  1. Алгебра с делением не содержит делителей нуля . Для конечномерной алгебры над полем верно и обратное утверждение. Поэтому в разных источниках при формулировке теоремы и следствий может быть использован как термин «алгебра с делением», так и «алгебра без делителей нуля».
  2. Фоменко А. Т., Фукс Д. Б. Курс гомотопической топологии. — Москва, 1989 — §19, стр.170.

Литература

  • Бахтурин Ю. А. Основные структуры современной алгебры. — М. : Наука, 1990. — 320 с.
  • Курош А. Г. . — М. : Наука, 1973. — 400 с.
  • Понтрягин Л. С. . — М. : Наука, 1986. — 120 с. — (Библиотечка «Квант» , выпуск 54).
Источник —

Same as Теорема Фробениуса