He aquí lo que la vista previa me permite ver:
En finitos solucionable grupos que se comportan como nilpotent grupos con respecto a la Frattini subgrupo.
Deje Φ(G) denotar la Frattini subgrupo de un grupo de G.
Si G es finita nilpotent grupo y U≤GN⊲, entonces se sabe que \Phi(U)\le \Phi(G)\Phi(G/N)=\Phi(G)N \big/ N.
El objetivo de este artículo es caracterizar los finita solucionable grupos para que el Frattini grupo también tiene la propiedad descrita.
Resulta muy útil para esto, para utilizar el lenguaje y teoría de las clases de grupos, como se describe por ejemplo en [1].
Todos los grupos considerados se supone que son finitos y solucionable (a menos que se indique lo contrario).
Deje \mathfrak N denotar la clase de finito nilpotent grupos, \mathfrak S la clase de finito solucionable grupos, y \mathfrak E la clase de grupos finitos.
El cierre operador E_\Phi se define como sigue:
Si \mathfrak Z es una clase de grupos finitos, vamos a E_\Phi\mathfrak Z=\{\,G\mid G\text{ has a normal subgroup $N$ with $N\le \Phi(G)$ and $G/N\in\mathfrak Z$}\,\}.
(Ver también [1, II (1.6)]). Una clase de \mathfrak Z se llama una formación, si es cerrado bajo tomando epimorphic imágenes y subdirect productos.
Local formaciones se define en [1, IV, §3] y de la escuela primaria propiedades de Schunck clases se pueden encontrar en [1, III, §2].
Si \mathfrak F es una formación, denotamos con a G^{\mathfrak F} el menor subgrupo normal de GG/G^{\mathfrak F}\in\mathfrak F.
Definición.
Deje \mathfrak X=\{\, G\in \mathfrak S\mid U\le V\le G\to \Phi(U)\le \Phi(V)\,\} \mathfrak F=\{\,G\in\mathfrak S\mid \text{All Sylow subgroups of $G$ are elementary abelian}\,\}.
Las clases correspondientes si uno permite que todos los grupos finitos para G son denotadas como \overline {\mathfrak X}\overline { \mathfrak F}. Las clases de \mathfrak X \overline {\mathfrak X} son obviamente cerrado en tomar subgrupos, y \mathfrak F \overline {\mathfrak F} son formaciones cerradas en virtud de los subgrupos.
[Fin de la primera página; busca en mi copia (análisis de la libgen enlace en los comentarios) como algunas de texto puede ser falta aquí?]
Lema 1. Deje G ser un número finito (no necesariamente solucionable) del grupo, cuyos subgrupos de Sylow son todas las escuelas primarias abelian. A continuación,\Phi(G) = 1. Si G es solucionable, entonces el p-longitud de G \leq 1 por cada prime p.
Prueba. Supongamos \Phi(G) > 1. A continuación hay algunos de los mejores p p- subgrupo de Sylow P\Phi(G)P > 1. Deje Q p- subgrupo de Sylow de GP \leq Q. Desde Q es elemental abelian por supuesto, P tiene un complemento en Q. Por un teorema de Gaschütz [2,I,17.4], P, tiene un complemento en G. Pero esto es imposible, ya 1 < P \leq \Phi(G). Por lo tanto \Phi(G) = 1. El resto de la instrucción de la siguiente manera [2,VI,un 6.6].
\newcommand{\X}{\mathfrak{X}} \newcommand{\Xbar}{\overline{\X}}\newcommand{\F}{\mathfrak{F}} \newcommand{\Fbar}{\overline{\F}}
Lema 2. Deje G ser un grupo finito. A continuación, los siguientes son equivalentes:
G \in \X (resp. \Xbar).
Si U \leq G, \Phi(U) = U^\F (resp. \Phi(U) = U^\Fbar).
\newcommand{\implies}{\Rightarrow}
Prueba. (1 \implies 2). Si U \leq G \in \X,U \in \X. Por lo tanto Lento todo subgrupos de U/\Phi(U) han trivial Frattini subgrupos, y son primarias abelian. Por lo tanto U^\F \leq \Phi(U). Por el Lema 1, del mismo modo \Phi(U) \leq U^\F. De ello se desprende que \Phi(U) = U^\F. La prueba de G \in \Xbar es análogo.
(2 \implies 1). Si U \leq V \leq G, U^\F \leq V^\F \F es cerrado bajo tomando subgrupos. Por lo tanto \Phi(U) \leq \Phi(G); por lo G \in \X. La prueba de G \in \Xbar es análogo.
Lema 3. La clase \X es cerrado bajo tomando el cociente de los grupos, y así es \Xbar.
Prueba. Deje N \lhd G \in \X, y deje U/N \leq G/N. Por El Lema 2, \Phi(U) = U^\F. De esto se sigue por [1, IV, 1.17] que (U/N)^\F = (U^FN)/N = \Phi(U)N/N \leq \Phi(U/N). Entonces, por el Lema 1, (U/N)^\F = \Phi(U/N). Se sigue por el Lema 2 G/N \in \X.
\newcommand{\S}{\mathfrak{S}}
Definición Deje \X' = LF(h) ser la clase local, definido localmente por h donde h(p) = \F \cap \S_p. Como h(p) es cerrado bajo tomando subgrupos, \X' también es cerrado bajo tomando subgrupos, por [1,IV,3.14].
Lema 4. Tenemos X' = E_\Phi \F. Por lo tanto E_\Phi \F es cerrado bajo tomando subgrupos.
Prueba. Por [1, IV, (2.9)], E_\Phi \F es un Schunck clase. Así por [1, III, (2.11)] cualquier grupo G de orden mínimo en \X' \setminus E_\Phi \F es primitivo. Si el mínimo normal subgrupo de Gp -, G/N p- grupo en \F. Pero, a continuación,G \in \F, contradiciendo G \notin E_\Phi \F. Esta muestra \X' \subseteq E_\Phi \F.
[Fin de la segunda página (pág.535)]
Por el contrario, si G es un grupo de orden mínimo en E_\Phi \F \setminus \X', G es de nuevo primitiva, por lo \Phi(G) = 1. Por lo tanto G \in \F. Pues es fácil ver que \F \subseteq \X', de nuevo, esto conduce a una contradicción. En suma, podemos concluir que los \X' = E_\Phi \F.