 Furthermore, we define the degree of formula_116 as formula_123.The set of all divisors formula_124 of the curve formula_70 forms an Abelian group where the addition is defined pointwise as follows formula_126.It is easy to see that formula_127 acts as the identity element and that the inverse of formula_128 equals formula_129.