The layer \(E(G)\) is the product of all quasisimple components. Since distinct components commute, it is a canonical central product concentrating semisimple nonsolvable structure. [@isaacs2008]
Definition
The letter \(E\) is conventional in layer/component theory and should not be confused with notation for an elementary abelian group.
Core result
Automorphisms permute components. Their pairwise commutation makes the product central, and their perfectness makes the layer perfect. Modulo the center, their simple quotients intersect trivially.
Structural properties
- If there are no components, then \(E(G)=1\).
- If \(G\) is nonabelian simple, then \(E(G)=G\).
- \([E(G),F(G)]=1\).
- The layer center comes from identifications among component centers.
- \(F^*(G)=F(G)E(G)\).
The layer complements the Fitting subgroup on the nonsolvable side; together they form the self-centralizing generalized Fitting layer.
Example and boundary
Knowledge network
Components are the building blocks, the Fitting subgroup is the solvable block, and the generalized Fitting subgroup combines them.
Proof and sources
Perfectness, semisimple central quotient, and centralization of solvable normal subgroups are Theorems 9.4-9.8. [@isaacs2008]
