Solvable implies Fitting subgroup is self-centralizing

This article gives the statement, and possibly proof, of the fact that in any Property "Page" (as page type) with input value "{{{group property}}}" contains invalid characters or is incomplete and therefore can cause unexpected results during a query or annotation process.[[{{{group property}}}]], the subgroup obtained by applying a given subgroup-defining function (i.e., Property "Page" (as page type) with input value "{{{sdf}}}" contains invalid characters or is incomplete and therefore can cause unexpected results during a query or annotation process.[[{{{sdf}}}]]) always satisfies a particular subgroup property (i.e., Property "Page" (as page type) with input value "{{{property}}}" contains invalid characters or is incomplete and therefore can cause unexpected results during a query or annotation process.[[{{{property}}}]])
View all such subgroup property satisfactions OR [[:Category:Constraints on subgroup-defining functions in {{{group property}}}s|View more information on subgroup-defining functions in {{{group property}}}s]]

[[Category:Constraints on subgroup-defining functions in {{{group property}}}s]]

This article gives the statement, and possibly proof, of a particular subgroup of kind of subgroup in a group being self-centralizing. In other words, the centralizer of the subgroup in the group is contained in the subgroup
View other similar statements

Statement

In a solvable group, the Fitting subgroup is self-centralizing: it contains its centralizer in the whole group.

Facts used

Characteristicity is centralizer-closed
Characteristicity is intersection-closed
Members of the derived series of a group are characteristic subgroups (follows from the fact that characteristicity is commutator-closed)
Characteristicity is quotient-transitive
Characteristicity is transitive

Proof

Given: A solvable group $G$ . $F (G)$ denotes the Fitting subgroup of $G$ , and $C_{G} (F (G))$ denotes its centralizer in $G$

To prove: $C_{G} (F (G)) \leq F (G)$

Proof: Let $C = C_{G} (F (G))$ and $H = C \cap F (G)$ . Note that every element of $H$ commutes with every element of $C$ , so $H \leq Z (C)$ , and in particular, $H$ is normal in $C$ .

Consider the derived series of $C / H$ . Since $G$ is solvable, so is $C / H$ , so its derived series terminates at the identity in finitely many steps. Let $B$ be the inverse image of the term just before the trivial subgroup in this derived series. Then, $B \leq G$ is a subgroup with the property that $[B, B] \leq H$ . But since $H$ commutes with every element of $C$ , it also commutes with every element of $B$ , so $[[B, B], B]$ is trivial. Hence $B$ is nilpotent of class two.

We now show that $B$ is normal, through a series of observations:

$F (G)$ is a characteristic subgroup
Since characteristicity is closed under taking centralizers, $C = C_{G} (F (G))$ is also characteristic in $G$
Since characteristicity is closed under intersections, $H$ is characteristic in $G$
The quotient $B / H$ is a characteristic subgroup of $C / H$ , being a member of the derived series
Hence, using the fact that characteristicity is quotient-transitive, $B$ is a characteristic subgroup of $C$
Since $C$ is already characteristic in $G$ , and using the fact that characteristicity is transitive, we see that $B$ is characteristic in $G$

Thus, $B$ is a characteristic subgroup, hence a normal subgroup. So, $B$ is a nilpotent normal subgroup. Moreover, $B \leq C$ , but $B$ is not contained in $H$ , so $B$ cannot be contained in $F (G)$ , contradicting the defining feature of $F (G)$ as the subgroup generated by all nilpotent normal subgroups.

References

Textbook references

Finite Groups by Daniel Gorenstein, ISBN 0821843427, ^{More info}, Page 218, Theorem 1.3 (Section 6.1)