Сопряжение

Билинейная карта в математике

В математике спаривание — это R - билинейное отображение декартова произведения двух R - модулей , где лежащее в основе кольцо R коммутативно .

Определение

Пусть R — коммутативное кольцо с единицей и M , N и L — R -модули .

Спариванием является любое R -билинейное отображение . То есть удовлетворяет ${\displaystyle e:M\times N\to L}$

${\displaystyle e(r\cdot m,n)=e(m,r\cdot n)=r\cdot e(m,n)}$,

${\displaystyle e(m_{1}+m_{2},n)=e(m_{1},n)+e(m_{2},n)}$и ${\displaystyle e(m,n_{1}+n_{2})=e(m,n_{1})+e(m,n_{2})}$

для любого и любого и любого . Эквивалентно, спаривание представляет собой R -линейное отображение. ${\displaystyle r\in R}$ ${\displaystyle m,m_{1},m_{2}\in M}$ ${\displaystyle n,n_{1},n_{2}\in N}$

${\displaystyle M\otimes _{R}N\to L}$

где обозначает тензорное произведение M и N.​ ${\displaystyle M\otimes _{R}N}$

Спаривание также можно рассматривать как R -линейное отображение , которое по установке соответствует первому определению . ${\displaystyle \Phi :M\to \operatorname {Hom} _{R}(N,L)}$ ${\displaystyle \Phi (m)(n):=e(m,n)}$

Спаривание называется совершенным , если указанное выше отображение является изоморфизмом R -модулей. ${\displaystyle \Phi }$

Спаривание называется невырожденным справа, если для приведенного выше отображения имеем, что для всех подразумевается ; аналогично называется невырожденным слева, если для всех следует . ${\displaystyle e(m,n)=0}$ ${\displaystyle m}$ ${\displaystyle n=0}$ ${\displaystyle e}$ ${\displaystyle e(m,n)=0}$ ${\displaystyle n}$ ${\displaystyle m=0}$

Спаривание называется альтернирующим, если и для всех m . В частности, это подразумевает , а билинейность показывает . Таким образом, для знакопеременного спаривания . ${\displaystyle N=M}$ ${\displaystyle e(m,m)=0}$ ${\displaystyle e(m+n,m+n)=0}$ ${\displaystyle e(m+n,m+n)=e(m,m)+e(m,n)+e(n,m)+e(n,n)=e(m,n)+e(n,m)}$ ${\displaystyle e(m,n)=-e(n,m)}$

Примеры

Любое скалярное произведение в вещественном векторном пространстве V является спариванием ( в приведенных выше определениях установите M = N = V , R = R ).

Детерминантное отображение (матрицы 2 × 2 над k ) → k можно рассматривать как спаривание . ${\displaystyle k^{2}\times k^{2}\to k}$

Карта Хопфа, записанная как пример спаривания. Например, Харди и др. ^{В [1]} представлено явное построение карты с использованием моделей ЧУМ. ${\displaystyle S^{3}\to S^{2}}$ ${\displaystyle h:S^{2}\times S^{2}\to S^{2}}$

Пары в криптографии

В криптографии часто используется следующее специализированное определение: ^[2]

Пусть – аддитивные группы и мультипликативная группа , все простого порядка . Пусть – генераторы и соответственно . ${\displaystyle \textstyle G_{1},G_{2}}$ ${\displaystyle \textstyle G_{T}}$ ${\displaystyle \textstyle p}$ ${\displaystyle \textstyle P\in G_{1},Q\in G_{2}}$ ${\displaystyle \textstyle G_{1}}$ ${\displaystyle \textstyle G_{2}}$

Пейринг – это карта: ${\displaystyle e:G_{1}\times G_{2}\rightarrow G_{T}}$

для которого справедливо следующее:

1. Билинейность : ${\displaystyle \textstyle \forall a,b\in \mathbb {Z} :\ e\left(aP,bQ\right)=e\left(P,Q\right)^{ab}}$
2. Невырожденность : ${\displaystyle \textstyle e\left(P,Q\right)\neq 1}$
3. Для практических целей должно быть эффективно вычислено . ${\displaystyle \textstyle e}$

Обратите внимание, что в криптографической литературе также принято записывать все группы в мультипликативной записи.

В случаях , когда спаривание называется симметричным. Поскольку отображение циклично , оно будет коммутативным ; то есть для любого мы имеем . Это потому, что для генератора существуют целые числа , такие, что и . Поэтому . ${\displaystyle \textstyle G_{1}=G_{2}=G}$ ${\displaystyle \textstyle G}$ ${\displaystyle e}$ ${\displaystyle P,Q\in G}$ ${\displaystyle e(P,Q)=e(Q,P)}$ ${\displaystyle g\in G}$ ${\displaystyle p}$ ${\displaystyle q}$ ${\displaystyle P=g^{p}}$ ${\displaystyle Q=g^{q}}$ ${\displaystyle e(P,Q)=e(g^{p},g^{q})=e(g,g)^{pq}=e(g^{q},g^{p})=e(Q,P)}$

Спаривание Вейля — важная концепция в криптографии на эллиптических кривых ; например, его можно использовать для атаки на определенные эллиптические кривые (см. Атака MOV). Он и другие пары использовались для разработки схем шифрования на основе личности .

Немного другое использование понятия спаривания

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

Смотрите также

• Двойная система
• Продукт Йонеда

Рекомендации

1. Харди KA1; Вермюлен JJC; Витбуи П.Дж., Нетривиальное спаривание конечных пространств T0, Топология и ее приложения, том 125, номер 3, 20 ноября 2002 г., стр. 533–542.
2. Дэн Боне, Мэтью К. Франклин, Шифрование на основе личности из пары Вейла, SIAM J. of Computing, Vol. 32, № 3, стр. 586–615, 2003.

Внешние ссылки

• Криптобиблиотека на основе пар