Научная литература
booksshare.net -> Добавить материал -> Математика -> Бурбаки Н. -> "Алгебра. Том 1. Алгебраические структуры. Линейная и полилинейная алгебра " -> 178

Алгебра. Том 1. Алгебраические структуры. Линейная и полилинейная алгебра - Бурбаки Н.

Бурбаки Н. Алгебра. Том 1. Алгебраические структуры. Линейная и полилинейная алгебра — М.: Физ-мат литературы, 1962. — 515 c.
Скачать (прямая ссылка): algebraicheskiestrukturi1962.djvu
Предыдущая << 1 .. 172 173 174 175 176 177 < 178 > 179 180 181 182 183 184 .. 201 >> Следующая


(x<Qy, X1Qy1) = (h (X1Qy1)) (xQy) = /ц, ,,L (г(Qy) = / (у, у. X1, Ij1). и предложение доказано.

2. Тензорное произведение двух линейных отображений

Пусть А — кольцо, EmE' — правые Л-модули, F и F' — левые Л-модули, и\ Е—>Е' и v: F —> F' — Л-линейные отображения. Непосредственная проверка показывает, что отображение (х, у)—> —>u(x)Qv(y) произведения ExF в E1QaF' удовлетворяет условиям (2). Поэтому существует, и притом единственное, Z-линейное отображение її’ EQaF в E1QaF' такое, что

w (r(g)y) = п (x)Qv (у) (3)
ПРИЛОЖЕНИЕ II К ГЛАВК III

463

для всех х?Е, y?F. Это отображение обозначается u&v и называется тензорным произведением линейных отображений и и V.

Если и, U1, U2 принадлежат Ха(Е, E') и v, Vi, V2 принадлежат ХЛ (F, F'), то, в силу (3),

Пусть Е" — правый Л-модуль, F" — левый Л-модуль и и': Е'-^-Е”, v’: F' F" — Л-линейные отображения. В силу (3),

Более общим образом, пусть Л и Л' — два кольца, E — правый Л-модуль, Е’ — правый Л'-модуль, F — левый Л-модуль и F'—левый Л'-модуль. Пусть, далее, ср: Л—>Af — гомоморфизм относительно кольцевых структур, а и: E—> E' и v: F—>F' — Z-линейные отображения такие, что и (хк) = и(х) ф (к) и v (ку) = = ф (k)v(y) для всех х?Е, y?F, к?А. Отображение (х,у)~-—> u(x)gv (у) произведения ExF в E'gAF' по-прежнему удовлетворяет условиям (2), ибо, в частности,

и (хк) ® V (у) = (и (х) ф (Д,))®и (у) = и (я)® (ф (к) V (у)) = и (x)gv (Ky).

Поэтому существует, и притом единственное, Z-линейное отображение w EgAF в E'(g)A’F' такое, что w(xgy) = u(x)gv(y). Если нет опасности смешения, иногда и это отображение обозначают ц®у; очевидно, оно обладает свойствами, аналогичными (4) и (5).

3. Операторы на EgAF

Пусть и — эндоморфизм правого Л-модуля Е. Если 1 означает тождественный автоморфизм левого Л-модуля F, то а® 1 есть эндоморфизм коммутативной группы E(g)AF (п° 2). При этом, согласно (4) и (5), для любых эндоморфизмов U1, иг Л-модуля E

Имеем li2)<g)I = (Ii1Ig)l)-+-(w2(g) 1) И (U1OU2)^I = (U1Ig) 1) о (и2® 1).

Отсюда, в частности, следует, что если В — кольцо и E наделено структурой левого (соответственно правого) 5-модуля, внешний закон которого перестановочен (гл. I, § 5, определение 5) с внешним законом структуры Л-модуля в Е, то тензорное произведение E(^)aF канонически неделимо структурой левого

(W1-J-Jt2)Ig)и= (ijj®и) -г (U2&v), I Ugl(Vi^V2) = (UQV1)jT(UgiV2). )

(4)

(и' о и)® (y' °v) = (к'® v') ° (« ® v).

(О)
464

ПРИЛОЖЕНИЕ II К ГЛАВЕ III

(соответственно правого) S-модуля, при которой

р-(.г®г/) = (Px) ®г/

{соответственно (х(Эг/)-Р= (:ф )<gy)

для всех р Є j&, х(Е?\ у 6 F.

Точно так же, если F наделено структурой левого (соответственно правого) С-модуля, внешний закон которого перестановочен с внешним законом структуры Л-модуля в F, то Eg AF канонически паделимо структурой левого (соответственно прав го) С-модуля, при которой

y-(x<gy)^xg,(yy)

(соответственно (%<gy)-y— xg(yy))

для всех Y 6 С, х?Е, у ?F. При этом, если Eg AF одновременно наделено структурой 5-модуля и структурой С-модуля, то, вследствие предыдущих формул, внешние законы этих двух структур переста новочны.

Пусть E'—правый Л-модуль, F'—левый Л-модуль, и: Е—>Е' и гк F—>F' — А-линейные отображения. Если EuE' наделены структурами (скажем, левого) S-модуля, внешние законы которых перестановочны с внешними законами структур Л-модуля, и если и в-линейно, то Ulgv В-линейно, ибо

(Ulg)V) (р (Xlgy)) = (UIgv) ((Px) (gy) = и (Pz)IgIU (у) =

= фи (x))gv (у) = P- (и (х)gv (у))

для всех P 6 В, х?Е, у Z.F. Точно так же, если FnF' наделены структурами С-модуля, внешние законы которых перестановочны с внешними законами структур Л-модуля, и если v С-линейно, то u(gv С-линейно.

Пусть Г — центр кольца Л. Гомотетии, определяемые в E (соответственно в F) элементами из Г, являются эндоморфизмами структуры Л-модуля в E (соответственно в F). Тем самым, согласно предыдущему, это определяет в EgAF две структуры Г-модуля с внешними законами (у,xigy)—>(xy)tgy и (у, xigy)—>x(g(yy); по определению E(gAF, эти две структуры совпадают. Если E' — правый Л-модуль, F' — левый Л-модуль, а и: Е—>Е' и v: F—>F'— Л-линейные отображения, то u(gv есть Т-линейное отображение
4

ПРИЛОЖЕНИЕ II К ГЛАВЕ III

465

EQaF в E'QaF'. Отображение (u,v)—>uQv произведения ХА(Е, E')xXa (F, F') в XT(EQAF, E'<QaF') определяет тогда (называемое каноническим) отображение ХА(Е, E')QV XA(F, F') в Jfr (EQaF, E'(QaF'), которое, очевидно, Г-линейно.

Заметим, что, так же как в п° 4 § 1, обозначение и (Q v может повлечь смешение элемента и Q v из Х\ (JiJ, E')QI,JgA(F, F') с его образом в J?T(EQxF, E'QaF') при упомянутом отображении, который мы в п° 2 также условились обозначать и Q v.

В случае, когда А коммутативно, E(QaF, согласно предыдущему, наделено структурой A-модуля, при которой a (x(Qy) = = (xa)(Qy = xQ(ay) для всех а ?А, х?Е, y?F. Для любого 4-билинейного отображения/произведения ExF в произвольный 4-модуль N существует Z-линейное отображение g модуля EQaF в N такое, что f (х,у) = g(x Q у) для всех х?Е, y?F; так как при этом для всех а ? А имеем
Предыдущая << 1 .. 172 173 174 175 176 177 < 178 > 179 180 181 182 183 184 .. 201 >> Следующая
Реклама

c1c0fc952cf0704ad12d6af2ad3bf47e03017fed

Есть, чем поделиться? Отправьте
материал
нам
Авторские права © 2009 BooksShare.
Все права защищены.
Rambler's Top100

c1c0fc952cf0704ad12d6af2ad3bf47e03017fed