% Лекция 11 (20.11.23) Тип определяет группу с точностью до изоморфизма. Найти тип не всегда легко. \begin{example} Найдём тип абелевой группы эллиптической кривой $y^2 = x^3 - x$, определённой над $\F_{71}$. Найдём сначала число точек $N$. Заметим, что в сумме (\ref{eq:18}) члены для $x$ и для $-x$ сокращаются друг с другом (то есть функция нечётная): %% TODO: дописать пример 1, 2, 3, 4 \end{example}