En primer lugar, sé que el grupo algebraico debe ser no singular y el índice del componente de identidad debe ser finito.
Ahora bien, dada una variedad algebraica (especialmente para una curva algebraica o una superficie algebraica cuya imagen es bella) con estas condiciones, ¿cómo juzgar si podemos darle una estructura de grupo y convertirla en un grupo algebraico?