Namespaces
Variants
Actions

Difference between revisions of "Fitting chain"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
(TeX)
Line 1: Line 1:
 +
{{TEX|done}}
 
''Fitting series, nilpotent series''
 
''Fitting series, nilpotent series''
  
 
A standard way to decompose a finite [[Solvable group|solvable group]] into nilpotent sections (cf. also [[Nilpotent group|Nilpotent group]]). The Fitting chains achieve this with shortest possible length. This shortest possible length, the length of a Fitting series, is called the [[Fitting length|Fitting length]] of the group. The ascending Fitting chain (or upper nilpotent series) starts at the identity subgroup and builds up, each time with the largest subgroup of the group which contains the previous one and whose quotient by the previous one is nilpotent. The descending Fitting chain (or lower nilpotent series) starts with the group itself and builds successive smallest normal subgroups (cf. [[Normal subgroup|Normal subgroup]]) such that the quotient of the previous subgroup by the new subgroup is nilpotent. In the case of solvable groups, both series terminate, one with the whole group and the other with the identity.
 
A standard way to decompose a finite [[Solvable group|solvable group]] into nilpotent sections (cf. also [[Nilpotent group|Nilpotent group]]). The Fitting chains achieve this with shortest possible length. This shortest possible length, the length of a Fitting series, is called the [[Fitting length|Fitting length]] of the group. The ascending Fitting chain (or upper nilpotent series) starts at the identity subgroup and builds up, each time with the largest subgroup of the group which contains the previous one and whose quotient by the previous one is nilpotent. The descending Fitting chain (or lower nilpotent series) starts with the group itself and builds successive smallest normal subgroups (cf. [[Normal subgroup|Normal subgroup]]) such that the quotient of the previous subgroup by the new subgroup is nilpotent. In the case of solvable groups, both series terminate, one with the whole group and the other with the identity.
  
Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130110/f1301101.png" /> be a [[Finite group|finite group]]. Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130110/f1301102.png" /> denote the [[Fitting subgroup|Fitting subgroup]] of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130110/f1301103.png" />, and let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130110/f1301104.png" /> denote the smallest normal subgroup of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130110/f1301105.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130110/f1301106.png" /> is nilpotent. The upper Fitting series is
+
Let $G$ be a [[Finite group|finite group]]. Let $\mathcal F(G)$ denote the [[Fitting subgroup|Fitting subgroup]] of $G$, and let $G^\mathcal N$ denote the smallest normal subgroup of $G$ such that $G/G^\mathcal N$ is nilpotent. The upper Fitting series is
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130110/f1301107.png" /></td> </tr></table>
+
$$F_0=\mathcal F_0(G)\leq F_1=\mathcal F_1(G)\leq\ldots\leq F_n=\mathcal F_n(G)\leq\dots,$$
  
where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130110/f1301108.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130110/f1301109.png" /> for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130110/f13011010.png" />. The lower Fitting series is
+
where $F_0=1$ and $F_i=\mathcal F(G/F_{i-1})$ for $i=1,2,\dots$. The lower Fitting series is
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130110/f13011011.png" /></td> </tr></table>
+
$$H_0\geq H_1\geq H_2\geq\ldots\geq H_n\geq\dots,$$
  
where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130110/f13011012.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130110/f13011013.png" /> for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130110/f13011014.png" />. Each term in each of these series is a [[Characteristic subgroup|characteristic subgroup]] of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130110/f13011015.png" />.
+
where $H_0=G$ and $H_i=(H_{i-1})^\mathcal N$ for $i=1,2,\dots$. Each term in each of these series is a [[Characteristic subgroup|characteristic subgroup]] of $G$.
  
These characteristic subgroups are basic in describing the solvable group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130110/f13011016.png" />. The ascending Fitting factors <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130110/f13011017.png" /> are nilpotent subgroups, and they give important information about the structure of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130110/f13011018.png" />. Analogues of these concepts can also be obtained by replacing throughout the term  "nilpotent"  by some suitable other collection of groups, such as a Fitting class. Further details can be found in [[#References|[a1]]], [[#References|[a2]]], [[#References|[a3]]].
+
These characteristic subgroups are basic in describing the solvable group $G$. The ascending Fitting factors $\mathcal F_i(G)/\mathcal F_{i-1}(G)$ are nilpotent subgroups, and they give important information about the structure of $G$. Analogues of these concepts can also be obtained by replacing throughout the term  "nilpotent"  by some suitable other collection of groups, such as a Fitting class. Further details can be found in [[#References|[a1]]], [[#References|[a2]]], [[#References|[a3]]].
  
 
====References====
 
====References====
 
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  K. Doerk,  T. Hawkes,  "Finite soluble groups" , de Gruyter  (1992)</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  B. Huppert,  "Endliche Gruppen I" , Springer  (1967)</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top">  B. Huppert,  N. Blackburn,  "Finite groups II" , Springer  (1982)</TD></TR></table>
 
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  K. Doerk,  T. Hawkes,  "Finite soluble groups" , de Gruyter  (1992)</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  B. Huppert,  "Endliche Gruppen I" , Springer  (1967)</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top">  B. Huppert,  N. Blackburn,  "Finite groups II" , Springer  (1982)</TD></TR></table>

Revision as of 13:53, 13 November 2014

Fitting series, nilpotent series

A standard way to decompose a finite solvable group into nilpotent sections (cf. also Nilpotent group). The Fitting chains achieve this with shortest possible length. This shortest possible length, the length of a Fitting series, is called the Fitting length of the group. The ascending Fitting chain (or upper nilpotent series) starts at the identity subgroup and builds up, each time with the largest subgroup of the group which contains the previous one and whose quotient by the previous one is nilpotent. The descending Fitting chain (or lower nilpotent series) starts with the group itself and builds successive smallest normal subgroups (cf. Normal subgroup) such that the quotient of the previous subgroup by the new subgroup is nilpotent. In the case of solvable groups, both series terminate, one with the whole group and the other with the identity.

Let $G$ be a finite group. Let $\mathcal F(G)$ denote the Fitting subgroup of $G$, and let $G^\mathcal N$ denote the smallest normal subgroup of $G$ such that $G/G^\mathcal N$ is nilpotent. The upper Fitting series is

$$F_0=\mathcal F_0(G)\leq F_1=\mathcal F_1(G)\leq\ldots\leq F_n=\mathcal F_n(G)\leq\dots,$$

where $F_0=1$ and $F_i=\mathcal F(G/F_{i-1})$ for $i=1,2,\dots$. The lower Fitting series is

$$H_0\geq H_1\geq H_2\geq\ldots\geq H_n\geq\dots,$$

where $H_0=G$ and $H_i=(H_{i-1})^\mathcal N$ for $i=1,2,\dots$. Each term in each of these series is a characteristic subgroup of $G$.

These characteristic subgroups are basic in describing the solvable group $G$. The ascending Fitting factors $\mathcal F_i(G)/\mathcal F_{i-1}(G)$ are nilpotent subgroups, and they give important information about the structure of $G$. Analogues of these concepts can also be obtained by replacing throughout the term "nilpotent" by some suitable other collection of groups, such as a Fitting class. Further details can be found in [a1], [a2], [a3].

References

[a1] K. Doerk, T. Hawkes, "Finite soluble groups" , de Gruyter (1992)
[a2] B. Huppert, "Endliche Gruppen I" , Springer (1967)
[a3] B. Huppert, N. Blackburn, "Finite groups II" , Springer (1982)
How to Cite This Entry:
Fitting chain. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Fitting_chain&oldid=17024
This article was adapted from an original article by Alexandre Turull (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article