Take the 2-minute tour ×
Cryptography Stack Exchange is a question and answer site for software developers, mathematicians and others interested in cryptography. It's 100% free, no registration required.

I can't get the point of prime order bilinear pairings:$\mathbb{G}\times\mathbb{G}\rightarrow\mathbb{G}_T$,$g=$ generator of $\mathbb{G}$ , $N=p*q$, $p$ and $q$ primes and $e(g,g)^N=1$. why $e(g,g)^N=1$ holds? Why is it 1?

share|improve this question
add comment

1 Answer

up vote 1 down vote accepted

If $N$ is the order of the group $\mathbb{G}_T$, then for any element $x \in \mathbb{G}_T$ we have that $x^N = 1$. This follows from the Lagrange theorem. Since $e(g,g) \in \mathbb{G}_T$, the same applies to it.

share|improve this answer
    
So the reason is because: $e(g,g)^N=e(g^q,g^p)=e(1,1)=1$ Right? If i have e$(g^q,x) =e(1,x)$ this is equal to 1 also? –  curious Sep 27 '12 at 13:14
1  
No, if the order of $g$ is the composite $N$, then $g^q$ and $g^p$ will be different than $1$. The reason that $e(g,g)^N = 1$ holds is that $e(g,g)$ is the generator of $\mathbb{G}_T$ and has order $N$. –  Conrado PLG Sep 27 '12 at 16:22
    
$e(g^{a1},g^{a2})^N=1$ holds also? –  curious Sep 27 '12 at 16:52
    
Yes, since $e(g^{a_1},g^{a_2})^N = e(g,g)^{N a_1 a_2} = (e(g,g)^N)^{a_1 a_2} = 1^{a_1 a_2} = 1$. –  Conrado PLG Sep 27 '12 at 19:03
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.