FANDOM


Template:About The concept of pairing treated here occurs in mathematics.

DefinitionEdit

Let R be a commutative ring with unity, and let M, N and L be three R-modules.

A pairing is any R-bilinear map e:M \times N \to L. That is, it satisfies

e(rm,n)=e(m,rn)=re(m,n),
e(m_1+m_2,n)=e(m_1,n)+e(m_2,n) and e(m,n_1+n_2)=e(m,n_1)+e(m,n_2)

for any r \in R and any m,m_1,m_2 \in M and any n,n_1,n_2 \in N . Or equivalently, a pairing is an R-linear map

M \otimes_R N \to L

where M \otimes_R N denotes the tensor product of M and N.

A pairing can also be considered as an R-linear map \Phi : M \to \operatorname{Hom}_{R} (N, L) , which matches the first definition by setting \Phi (m) (n) := e(m,n) .

A pairing is called perfect if the above map  \Phi is an isomorphism of R-modules.

A pairing is called alternating if for the above map we have  e(m,m) = 0 .

A pairing is called non-degenerate if for the above map we have that  e(m,n) = 0 for all m implies  n=0 .

ExamplesEdit

Any scalar product on a real vector space V is a pairing (set M = N = V, R = R in the above definitions).

The determinant map (2 × 2 matrices over k) → k can be seen as a pairing k^2 \times k^2 \to k.

The Hopf map S^3 \to S^2 written as h:S^2 \times S^2 \to S^2 is an example of a pairing. In [1] for instance, Hardie et al. present an explicit construction of the map using poset models.

Pairings in cryptographyEdit

In cryptography, often the following specialized definition is used [2]:

Let \textstyle G_1 be an additive and \textstyle G_2 a multiplicative group both of prime order \textstyle p. Let \textstyle P, Q be generators \textstyle \in G_1.

A pairing is a map:  e: G_1 \times G_1 \rightarrow G_2

for which the following holds:

  1. Bilinearity: \textstyle \forall P,Q \in G_1,\, a,b \in \mathbb{Z}_p^*:\ e\left(aP, bQ\right) = e\left(P, Q\right)^{ab}
  2. Non-degeneracy: \textstyle \forall P \in G_1,\,P \neq \infty:\ e\left(P, P\right) \neq 1
  3. For practical purposes, \textstyle e has to be computable in an efficient manner

Note that is also common in cryptographic literature for both groups to be written in multiplicative notation.

The Weil pairing is a pairing important in elliptic curve cryptography, e.g. it may be used to attack certain elliptic curves (see MOV attack). It and other pairings have been used to develop identity-based encryption schemes.

Slightly different usages of the notion of pairingEdit

Scalar products on complex vector spaces are sometimes called pairings, although they are not bilinear. For example, in representation theory, one has a scalar product on the characters of complex representations of a finite group which is frequently called character pairing.

ReferencesEdit

  1. A nontrivial pairing of finite T0 spaces Authors: Hardie K.A.1; Vermeulen J.J.C.; Witbooi P.J. Source: Topology and its Applications, Volume 125, Number 3, 20 November 2002 , pp. 533-542(10)
  2. Dan Boneh, Matthew K. Franklin, Identity-Based Encryption from the Weil Pairing Advances in Cryptology - Proceedings of CRYPTO 2001 (2001)

External linksEdit

Template:Use dmy dateses:Emparejamiento de:Bilineare Abbildung

Ad blocker interference detected!


Wikia is a free-to-use site that makes money from advertising. We have a modified experience for viewers using ad blockers

Wikia is not accessible if you’ve made further modifications. Remove the custom ad blocker rule(s) and the page will load as expected.