椭圆曲线码的自同构群

设K是以F_q为常数域的单变量函数域,如果K是可离生成的且亏格为1的守恒域,则称K是椭圆函数域(定义见文献1],p.190).我们总假设K中有一阶素除子且个数≥6,并用K(1)记作K中一阶素除子集合。在K(1)中取定一个元P_∞,那么我们可以在K(1)中定义一个加法,使K(1)是一个Abel群,P_∞是这个群中零元素,用〈K(1),⊕,P_∞〉记之,加法按如