A pairing is a map: ,  which satisfies the following properties:
Let  be a Finite field over prime ,  two additive cyclic groups of prime order  and  another cyclic group of order  written multiplicatively.