![$M,N,L$ $M,N,L$](/lib/exe/fetch.php?cache=&media=latex%3Ad55c6ccbd3022b5dd56657cdcc5ad036.png)
![$ R $ $ R $](/lib/exe/fetch.php?cache=&media=latex%3Ab46cf622bd4bd0496b9433b3a811c5d8.png)
проверено. единицы вроде как не требуется
Пусть — ассоциативное коммутативное кольцо,
— (левые)
-модули.1)
Определение 1. Отображение называется билинейным2), если оно
-линейно по каждому аргументу, то есть
Пример 1. Рассмотрим -линейное отображение
, определенное правилом
. Такое отображение является билинейным, что следует из аксиом ассоциативного кольца.
Пусть — ассоциативное коммутативное кольцо,
— (левые)
-модули.
Определение 2. Билинейное отображение в кольцо
называется билинейной формой3) на
, а также спариванием4) между
и
.
Замечание. Как правило рассматривается случай, когда , при этом говорят о билинейной форме на
.
Определение 3. Если билинейная форма на модуле
удовлетворяет условию
, то она называется симметрической5).
Определение 4. Если билинейная форма на модуле
удовлетворяет условию
, то она называется кососимметрической6).
В случае, когда и
— свободные
-модули, билинейная форма однозначно определяется своими значениями на базисных элементах модулей.
Определение 5. Пусть и
— конечномерные свободные
-модули с базисами
и
, соответственно. Матрицей билинейной формы7)
называется матрица
, где
.
Предложение 1. Если элементы модулей и
определены координатами в выбранных базисах,
,
, то
.