## 证 有限群的特征一定不是0
## 定义在F17上的椭圆曲线x^3 + 2*x + 3 = y^2 上有点P(2, 7), Q(11, 8), 求 P+Q 和 2P
## 群{a,b,c,e} 子群{a,e} 求子群的所有左陪集
## 求R=Z/6Z的全部零因子