La idea fundamental es reconocer que el grupo "G"={1, 2, …, "p" − 1}, con la operación de multiplicación (bajo módulo "p") forma un grupo.