Los regímenes de grupo se consideran (¿normalmente?) sobre algún régimen fijo $S$ . Un esquema de grupo finito $G$ es un esquema de grupo que es finito en $S$ que es no es lo mismo como ser de tipo finito en $S$ . Esto significa que localmente, por ejemplo, para $G=\operatorname{Spec}(A)$ y $S=\operatorname{Spec}(k)$ el anillo $A$ se genera finitamente como un $k$ -módulo. Si $k$ es un campo, significa que $A$ es un espacio vectorial de dimensión finita. Por lo tanto, si $S$ es el espectro de un campo algebraicamente cerrado, entonces la condición implica inmediatamente que $G$ es un conjunto finito de puntos cuando se considera como una variedad.
¿tiene relación el esquema de grupo finito con el grupo?
Aplausos para la geometría algebraica. ¡Claro que sí! Un esquema de grupo es una generalización de un grupo. Tomemos mi ejemplo anterior, es decir, supongamos $S$ para ser el espectro de un campo algebraicamente cerrado y ver $G$ como $k$ -variedad. Entonces podemos identificar $G$ con sus puntos cerrados y los morfismos de esquema que le dan su estructura de esquema de grupo también convierten este conjunto de puntos cerrados en un grupo finito.
Por lo tanto, un ejemplo de esquema de grupo no abeliano se construye fácilmente a partir de un grupo no abeliano. Incrustar $\mathfrak S_3 \subseteq \Bbb C^{3\times 3}$ como matrices de permutación y que $I\subseteq\Bbb C[x_{ij}\mid1\le i,j\le3]$ sea el ideal con $Z(I)=\mathfrak S_3$ . Entonces, $I$ también define un subesquema cerrado $G$ de $\Bbb A^{3\times 3}$ que se convierte en un esquema de grupo no abeliano al restringirle el morfismo de mulitplicación de matrices.
