Файл: Кантор И.Л. Гиперкомплексные числа.pdf

где а

и Ъ — два фиксированных

кватерниона. '

Можно

показать (предоставляем

это читателю), что

л ю б а я нормированная

алгебра

размерности

4 изоморф­

на одной из алгебр такого вида.

Рассмотрим в качестве примера первое из указанных

умножений

при а =

i,

Ъ =

/. Мы получаем

нормирован­

ную

алгебру

Q с законом

умножения

X о у =

(ix)

( y j ) .

Найдем , какое тождество

(!)

отвечает этой алгебре, если

в качестве базисных элементов взять 1, i, /, k.

Имеем

х

о у = (i {х0

+ *,* +

x2j

+ x3k))

((г/о +

y{i + y2j

+ Узк) j )

=

=

(.v0i — х, +

x2k — x 3 j ) (y0j

+

yxk

— ij2 — y3i)

=

=

(x$2—x2yx

+ xQy3

+

x3y0)

+

(—xQy2—x2?/0+Jt,

г/3 —x3 ij\)

i +

+

( — * i 0 o

— *о*Л +

x3y2—x2tj{)

j +

(д^о—Х\У1—ХгУ2—ХзУз)

*•

Соответствующее тождество

будет

(*g +

*? +

+ xf) (у2-+

у\ +

у\ +

у\)

=

=

{х1у2—х2у]

+ х0у3

+

х3у0)2+(—х0у2—х2у0+х1уг—х3у1)2+

+

(-

Xty0

— ХоУ1 +

Х3у2 —

X 2 y i ) 2

+

{ХоУо-ХМ^Х^—ХзУз)2.

§ 19.

Теорема

Фробениуса

1°.

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

теоремы

Фробениуса.

Одна

из

классических

задач

теории

алгебр — это

разыскание

всех алгебр с делением. Несмотря на ее, казалось

бы,

фундаментальный характер

(а

т а к ж е

несмотря на

то,

что в

решение

этой

задачи

упирается

ряд вопросов

из

результат

был получен совсем недавно. Он состоит в

том,

что

размерность

любой

из

таких алгебр

равна

одному из

чисел

1, 2, 4,

8. Хотя, как видно отсюда,

раз ­

мерности

алгебр

с' делением

не

слишком велики,

все

ж е

полногб

обозрения

этих алгебр нет и сейчас.

Однако,

если

помимо существования деления,

мы

на­

естественного

характера, то,

разумеется,

наша

задача

станет значительно легче. В 1878 г. немецкий

матема­

тик Г. Фробениус доказал следующую

замечательную

теорему.

Любая

ассоциативная

Т е о р е м а

Ф р о б е н и у с

а.

алгебра

с делением изоморфна

одной из

трех:

алгебре

действительных

чисел,

алгебре

комплексных

чисел или

алгебре

кватернионов.

Впоследствии был

установлен

более общий

резуль­

О б о б щ е н н а я

т е о р е м а

Ф р о б е н и у с а.

Лю­

бая

альтернативная

алгебра

с

делением

изоморфна

одной

из

четырех

алгебр:

действительных

чисел,

ком­

плексных

чисел,

кватернионов

или

октав.

Напомним,

что

альтернативной называется

т а к а я

ал­

гебра,

в

которой д л я

любых

двух

элементов

а

и 6

спра­

ведливы

равенства

(«6)6 =

а

(66)

и

(66)

а =

Ъ (6а).

Очевидно, что л ю б а я

ассоциативная алгебра

автомати­

чески

является

альтернативной,

поэтому теорема

Фро-

бениуса

вытекает'

из

обобщенной

теоремы

Фробениуса

(следует учесть, что алгебра октав не ассоциативна) .

Чтобы доказать обе сформулированные выше тео­

ремы,

мы

перечислим

сначала

некоторые

свойства

ас­

социативной

алгебры

с делением. З а т е м

будет

показано,

как

из

этих

свойств

выводится

теорема

Фробениуса.

Доказательства

самих

свойств

будут

даны

вслед

за

этим.

В

последнем

пункте

п а р а г р а ф а

будет

приведено

2°

Три

утверждения

о

свойствах

ассоциативной

алгебры с делением.

I . Алгебра

s4-

содерэюит

единицу.

У т в е р ж д е н и е

У т в е р ж д е н и е

I I . Если

.элемент

а е

^

не

про­

порционален

1,

то

совокупность

Жа

элементов

вида

а1

+

ра

образует

подалгебру,

изоморфную

алгебре

комплекс­

ных

чисел.

I I I . Если

элементы

ах е= s&,

а2<^бФ

У т в е р ж д е н и е

не

принадлежат

одной

подалгебре

Жа,

то

совокупность

Q0i

0 }

элементов

вида

a l + p4i + Y a 2 + Ьаха2

образует

подалгебру,

изоморфную

алгебре

кватернионов.

Отметим, что в процессе доказательства

утвержде ­

ния

I I I

будет

установлен

следующий

факт:

если

Ьх

и

&2 — два

элемента,

квадраты

которых

равны

—1,

то

6,60 +

6261 =

^1,

(1)

где

X —

действительное

число.

3°. Доказательство

теоремы Фробениуса.

Исходя

из

утверждений

I ,

I I ,

I I I , у ж е

совсем

нетрудно

доказать

теорему

Фробениуса. Пусть $Ф — ассоциативная

алгебра

дает единицей. Элементы вида

k\

образуют подалгебру

3),

изоморфную

алгебре действительных чисел. Если <25

не

совпадает

со

всей

алгеброй

s&, то, согласно

утвер­

ждению

I I , ъ s& содержится

подалгебра

Жа,

изоморфная

алгебре

комплексных

чисел.

Если

Жа

не

совпадает

со

всей алгеброй s&, то, согласно утверждению

I I I , в

$$• со­

держится

подалгебра

Qa,b,

изоморфная

алгебре

ква­

тернионов.

В

случае,

когда Qa, ь совпадает

со всей

ал­

геброй

зФ,

доказывать

больше нечего. Предположим

по­

этому, что существует

э л е м е н т е ,

не п р и н а д л е ж а щ и й Q a < 0 ,

В кватернионной

алгебре

Qa, ь выберем

базис 1,

i,

/, k со «стандартной» таблицей

умножения: .

.

,

p =

f =

k 2

= -

1,

ij = — ji — k,

jk

=

— kj

= i,

ki = — ik

= /*,

а

элемент

с представим

в

виде

р\

-f- qe, где

е2

=—1

(е есть «мнимая единица» комплексной алгебры

Жс).

Преобразуем

теперь

элемент

ie,

используя

ассоциа­

тивность умножения

в

алгебре si,

а

т а к ж е соотношение

(1).

Имеем

ie

=

(jk) е =

/ (ke)

=

j (-

ek

+

Л/1) =

-

(je)

k +

X'j

=

=

—

(-

ej

+

X"\)

k

+

A.'/ =

ei -

А/'й +

Г /

и,

следовательно,

ie

+

ei =

X"'l.

, С к л а д ы в а я эти два равенства,

находим,

что ie

есть

эле-

' мент

из

Gta, ь- Следовательно,

ic

— i (pi

+

<7е)есть

так­

ж е

элемент из' Qa,

ь- Мы видим, что умножение

i на

лю ­

бой

элемент,

не принадлежащий . ^а, ь, дает элемент

из

da, ь- Но и в том

случае,

когда

с' <= Qai

b ,

произведение

ic'

есть

элемент

и з . С£а,ь-

Таким

образом,

элемент

i

в

произведении с любым элементом алгебры

si

дает

эле­

мент

из Qa,b-

Н о

это невозможно, если

si

есть алгебра

с делением

(уравнение

ix — с,

где с не содержится

в

(£а,ь,

оказывается

н е р а з р е ш и м ы м ) . Этим

(если.считать

справедливыми утверждения I , I I , I I I ) доказана теорема

Фробениуса.

4°. Доказательство утверждений I , I I , I I I . Итак,

что­

осталось

только

проверить

справедливость

утвержде ­

ний

I , I I

и I I I .

Д о к а з а т е л ь с т в о

у т в е р ж д е н и я

I . Пусть

а — какой-нибудь

отличный от нуля элемент

алгебры si.

Рассмотрим

уравнение.

ха

—

а.

Так

как

si

есть

алгебра

с

делением, то

написанное

значим это

решение

(т.

е.

искомый элемент

х) через е.

Итак,

еа =

а. У м н о ж а я

обе

части

этого равенства слева

на Ь, получим Ъ(еа) =

Ьа,

или,

учитывая

ассоциатив­

ность

алгебры si,

(be) а == ba. Ввиду единственности ре­

шения

уравнения

ха

=

Ьа, отсюда

следует