WikiDer > Сопряжение

Pairing

В математика, а спаривание является р-билинейная карта из продукта двух р-модули к основному звенеть р. Когда р поле и два модуля равны, это дает билинейная форма. Таким образом, билинейные пары дают обобщение внутренние продукты (в том числе скалярное произведение).

Определение

Позволять р быть коммутативное кольцо с единица измерения, и разреши M, N и L быть р-модули.

А спаривание есть ли р-билинейная карта . То есть удовлетворяет

,
и

для любого и любой и любой . Эквивалентно спаривание - это р-линейная карта

куда обозначает тензорное произведение из M и N.

Спаривание также можно рассматривать как р-линейная карта, что соответствует первому определению, задав.

Спаривание называется идеально если карта выше является изоморфизмом р-модули.

Спаривание называется невырожденный справа если для приведенной выше карты у нас есть это для всех подразумевает ; по аналогии, называется невырожденный слева если для всех подразумевает .

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

Примеры

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

Детерминантное отображение (2 × 2 матрицы над k) → k можно рассматривать как пару .

В Карта Хопфа написано как это пример пары. Например, Hardie et al.[1] представить явное построение карты с использованием моделей poset.

Спаривания в криптографии

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

Позволять быть аддитивными группами и мультипликативный группа, все премьер порядок . Позволять быть генераторы из и соответственно.

Спаривание - это карта:

для которого имеет место следующее:

  1. Билинейность:
  2. Невырожденность:
  3. Для практических целей должно быть вычислимый эффективно

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

В случаях, когда спаривание называется симметричным. В качестве является циклический, карта будет коммутативный; то есть для любого , у нас есть . Это потому, что для генератора , существуют целые числа , такой, что и . Следовательно .

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

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

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

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

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

  1. ^ Hardie K.A.1; Vermeulen J.J.C .; Витбуи П. Дж. Нетривиальное спаривание конечных пространств T0, Топология и ее приложения, Том 125, номер 3, 20 ноября 2002 г., стр. 533-542.
  2. ^ Дэн Боне, Мэтью К. Франклин, Шифрование на основе личности с помощью пары Вейля, SIAM J. of Computing, Vol. 32, No. 3, pp. 586-615, 2003.

внешняя ссылка