WikiSort.ru - Не сортированное

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

• либо изоморфно исходному полю ${\displaystyle \mathbb {R} }$ ;
• либо изоморфно полю комплексных чисел ${\displaystyle \mathbb {C} }$ ;
• либо изоморфно телу кватернионов ${\displaystyle \mathbb {H} }$ .

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

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

Пусть ${\displaystyle \mathbb {L} }$ — тело, содержащее в качестве подтела тело ${\displaystyle \mathbb {R} }$ вещественных чисел, причём выполняются два условия:

• любой элемент ${\displaystyle x\in \mathbb {L} }$ коммутирует по умножению с вещественными числами: ${\displaystyle xa=ax}$ , ${\displaystyle a\in \mathbb {R} }$ ;
• ${\displaystyle \mathbb {L} }$ является конечномерным векторным пространством над полем ${\displaystyle \mathbb {R} }$ .

Другими словами, ${\displaystyle \mathbb {L} }$ является конечномерной алгеброй с делением^[1] над полем вещественных чисел.

Теорема Фробениуса утверждает, что всякое такое тело ${\displaystyle \mathbb {L} }$ :

• либо изоморфно полю ${\displaystyle \mathbb {R} }$ вещественных чисел,
• либо изоморфно полю ${\displaystyle \mathbb {C} }$ комплексных чисел,
• либо изоморфно телу ${\displaystyle \mathbb {H} }$ кватернионов.

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

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

• Эта теорема тесно связана с теоремой Гурвица о нормированных вещественных алгебрах. Нормированные алгебры с делением — только ${\displaystyle \mathbb {R} ,\mathbb {C} ,\mathbb {H} }$ и (неассоциативная) алгебра чисел Кэли.
• При расширении системы комплексных чисел мы неизбежно теряем какие-либо арифметические свойства: коммутативность (кватернионы), ассоциативность (алгебра Кэли) и т. п.
• Не существует аналога системы кватернионов с двумя (а не тремя) кватернионными единицами.
• Поля ${\displaystyle \mathbb {R} }$ и ${\displaystyle \mathbb {C} }$ являются единственными конечномерными вещественными ассоциативными и коммутативными алгебрами без делителей нуля.
• Тело кватернионов ${\displaystyle \mathbb {H} }$ является единственной конечномерной вещественной ассоциативной, но некоммутативной алгеброй без делителей нуля.
• Алгебра Кэли является единственной конечномерной вещественной альтернативной неассоциативной алгеброй без делителей нуля.

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

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

Алгебра размерности n над полем ${\displaystyle \mathbb {C} }$ комплексных чисел является алгеброй размерности 2n над ${\displaystyle \mathbb {R} }$ . Тело кватернионов ${\displaystyle \mathbb {H} }$ не является алгеброй над полем ${\displaystyle \mathbb {C} }$ , так как центром ${\displaystyle \mathbb {H} }$ является одномерное вещественное пространство. Поэтому единственной конечномерной алгеброй с делением над ${\displaystyle \mathbb {C} }$ является алгебра ${\displaystyle \mathbb {C} }$ .

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

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

Если при n>1 в пространстве Rⁿ определено билинейное умножение без делителей нуля, то на сфере S^n-1 существует n-1 линейно независимых векторных полей^[2]. Из результатов, полученных Адамсом о количестве векторных полей на сфере^[en], следует, что это возможно только для сфер S¹, S³, S⁷. Это доказывает гипотезу Фробениуса.

См. также

• Алгебра Кэли
• Гиперкомплексное число
• Седенион
• Теорема Гурвица

Литература

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

Примечания