2 votos

¿Qué hace $Z_2(S)$ significa que $S$ es un grupo.

En un artículo de Bob Oliver "Simple fusion systems over p-groups with abelian subgroup of index p" en Notation 2.2., define un conjunto $Z_2 = Z_2(S)$ donde $S$ es un no-abeliano $p$ -grupo. El problema es que no sé qué $Z_2(S)$ significa. Yo sé $Z(S)$ es el centro, pero nunca he visto $Z_2(S)$ . ¿Puede alguien ayudarme?

2voto

seanyboy Puntos 3170

Como señala I.M. Soloveichik en los comentarios, $Z_2(G)$ presumiblemente se refiere a la segundo centro del grupo $G$ es decir, el segundo término del serie central superior .

Se trata de un subgrupo de $G$ y tiene varias definiciones equivalentes:

  • Es la imagen inversa de $Z\bigl(G/Z(G)\bigr)$ bajo el homomorfismo cociente $G \to G/Z(G)$ .

  • Es el conjunto $\{g\in G \mid [g,h]\in Z(G)\text{ for all }h\in G\}$ .

  • Es el conjunto $\{g\in G \mid [[g,h],k]=1\text{ for all }h,k\in G\}$ .

Tenga en cuenta que $Z_2(G)$ es un subgrupo normal (y de hecho característico) de $G$ y que $Z_2(G)$ siempre contiene $Z(G)$ . Además, $Z_2(G)$ es igual a $G$ si y sólo si $G$ es nilpotente de clase 2 es decir, si y sólo si $G$ es un extensión central de un grupo abeliano.

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X