Como se sabe que cualquier grupo de orden primo es ciclico, lo que se requiere es encontrar un subgrupo de "E" de orden q (q primo) para tener un isomorfismo con formula_24 donde el problema del logaritmo discreto sea intratable.