View source for Wielandt subgroup

<!--This article has been texified automatically. Since there was no Nroff source code for this article, 
the semi-automatic procedure described at https://encyclopediaofmath.org/wiki/User:Maximilian_Janisch/latexlist
was used.
If the TeX and formula formatting is correct, please remove this message and the {{TEX|semi-auto}} category.

Out of 89 formulas, 89 were replaced by TEX code.-->

{{TEX|semi-auto}}{{TEX|done}}
The Wielandt subgroup $\omega ( G )$ of a [[Group|group]] $G$ is defined to be the intersection of the normalizers of all the subnormal subgroups of $G$ (cf. also [[Subnormal subgroup|Subnormal subgroup]]; [[Normal subgroup|Normal subgroup]]; [[Normalizer of a subset|Normalizer of a subset]]). This characteristic subgroup was introduced in 1958 by H. Wielandt [[#References|[a18]]]. Note that $\omega ( G ) = G$ if and only if $G$ is a T-group, i.e. normality is transitive in $G$.

When $G$ is nilpotent (cf. [[Nilpotent group|Nilpotent group]]), $\omega ( G )$ is the intersection of the normalizers of all the subgroups of $G$. The latter is called the norm of $G$ and was introduced by R. Baer [[#References|[a1]]]. In [[#References|[a17]]], E. Schenkman showed that the norm is always contained in the second centre $Z _ { 2 } ( G )$ (cf. also [[Centre of a group|Centre of a group]]). Hence $Z ( G ) \leq \omega ( G ) \leq Z _ { 2 } ( G )$ if $G$ is a nilpotent group.

The upper Wielandt series $\{ \omega _ { \alpha } ( G ) \}$ of a group $G$ is formed by iteration; thus,

\begin{equation*} \omega _ { 0 } ( G ) = 1 \end{equation*}

\begin{equation*} \omega _ { \alpha + 1 } ( G ) / \omega _ { \alpha } ( G ) = \omega ( G / \omega _ { \alpha } ( G ) ) , \, \omega _ { \lambda } ( G ) = \cup _ { \beta &lt; \lambda } \omega _ { \beta } ( G ), \end{equation*}

where $\alpha$ is an ordinal and $\lambda$ a limit ordinal (cf. also [[Ordinal number|Ordinal number]]). If $G = \omega _ { \alpha } ( G )$ for some ordinal $\alpha$, the smallest such $\alpha$ is called the Wielandt length of $G$. If $G$ has finite Wielandt length $n$, then every subnormal subgroup of $G$ has defect at most $n$.

Wielandt [[#References|[a18]]] proved that $\omega ( G )$ contains all the subnormal (non-Abelian) simple subgroups of $G$, and also all the minimal normal subgroups of $G$ that satisfy min-sn, the minimal condition on subnormal subgroups (cf. also [[Group with the minimum condition|Group with the minimum condition]]). This last result implies that $\omega ( G ) \neq 1$ whenever $G$ is a non-trivial group with min-sn. Thus, the Wielandt subgroup is unexpectedly large for groups with min-sn.

A stronger result in this direction was found independently by D.J.S. Robinson [[#References|[a15]]] and J.E. Roseblade [[#References|[a16]]]: If $G$ is a group with min-sn, then $G / \omega ( G )$ is finite. Thus, a subnormal subgroup of $G$ has only finitely many conjugates. In addition, O.H. Kegel [[#References|[a11]]] generalized the first of Wielandt's results by demonstrating that $\omega ( G )$ contains all subnormal perfect T-subgroups of of $G$. Since solvable T-groups are metAbelian ([[#References|[a14]]]), $\omega ^ { \prime \prime } ( G )$ is a perfect T-group. It follows that the join (cf. also [[Join|Join]]) of all the subnormal perfect T-subgroups coincides with $\omega ^ { \prime \prime } ( G )$ in any group $G$. For a smooth treatment of these results see [[#References|[a12]]].

The example of the infinite dihedral group shows that the Wielandt subgroup of a polycyclic group can easily be trivial. In 1991, J. Cossey [[#References|[a7]]] showed that if $G$ is a [[Polycyclic group|polycyclic group]], then $G / C _ { G } ( \omega ( G ) )$ is finite. Cossey also proved that $\omega ( G ) / Z ( G )$ is finite if $G$ is nilpotent-by-Abelian. Subsequently, this conclusion was extended to polycyclic groups that are meta-nilpotent or Abelian-by-finite by R. Brandl, S. Franciosi and F. de Giovanni. These authors were also able to show that if $G$ is a finitely generated solvable-by-finite group of finite Prüfer rank (cf. [[Rank|Rank]]), then $\omega ( G )$ is contained in the FC-centre (cf. also [[Group with a finiteness condition|Group with a finiteness condition]]).

In some ways $\omega ( G )$ might seem to be close to the centre for polycyclic groups $G$. However, Cossey [[#References|[a7]]] has pointed out that there is a nilpotent-by-finite polycyclic group $G$ such that $\omega ( G ) / Z ( G )$ is non-trivial and free Abelian. Cossey [[#References|[a7]]] has also investigated the Wielandt length of a polycyclic group $G$, showing that this exists if and only if $G$ is finite-by-nilpotent (when, of course, the Wielandt length is finite).

The Wielandt length of finite solvable groups has been investigated extensively by several authors, and its connection with other invariants such as the derived length and nilpotent length has been analyzed. Let $G$ be a finite [[Solvable group|solvable group]] with Wielandt length $l$. Since solvable T-groups are metAbelian, the derived length $d$ of $G$ is at most $2 l$. A.R. Camina [[#References|[a5]]] improved this bound by showing that $d \leq l + n - 1$, where $n$ is the nilpotent length of $G$ and $l + n &gt; 2$. Camina also showed that $n \leq l + 1$. Subsequently, R. Bryce and J. Cossey [[#References|[a4]]] gave the improved estimate $d \leq ( 5 l + 2 ) / 3$, which is best possible when $l \equiv 2 ( \operatorname { mod } 3 )$. This work has been extended by C. Casolo [[#References|[a6]]] to infinite solvable groups with finite Wielandt length. For more results on the Wielandt length of finite groups, see [[#References|[a8]]].

In [[#References|[a4]]], a local version of the Wielandt subgroup was introduced, $\omega ^ { p } ( G )$ where $p$ is a prime number; this is the intersection of the normalizers of the $p ^ { \prime }$-perfect subnormal subgroups, i.e. those that have no non-trivial $p ^ { \prime }$-quotients. They showed that

\begin{equation*} \omega ( G ) = \bigcap _ { p } \omega ^ { p } ( G ). \end{equation*}

Another variation of the Wielandt subgroup has been described in [[#References|[a2]]]. The generalized Wielandt subgroup $\iota \ \omega ( G )$ of a group $G$ is defined to be the intersection of the normalizers of all the infinite subnormal subgroups of $G$. Thus, $\iota \omega ( G ) = G$ precisely when $G$ is an IT-group, i.e. all infinite subnormal subgroups of $G$ are normal. The class of IT-groups has been investigated in [[#References|[a10]]] and [[#References|[a9]]]. J.C. Beidleman, M.R. Dixon and D.J.S. Robinson [[#References|[a2]]] showed that the subgroups $\omega ( G )$ and $\iota \ \omega ( G )$ are remarkably close, and indeed they coincide in many cases. In [[#References|[a2]]] the following results were established. Let $G$ be an infinite group; then:

$\iota \ \omega ( G ) / \omega ( G )$ is a residually finite T-group (cf. also [[Residually-finite group|Residually-finite group]]);

$\iota \omega ( G ) = \omega ( G )$ unless the subgroup $S$ generated by all the finite solvable subnormal subgroups of $G$ is Prüfer-by-finite;

if $S$ is Prüfer-by-finite and infinite, then $\iota \ \omega ( G ) / \omega ( G )$ is metAbelian;

if $S$ is finite, so is $\iota \ \omega ( G ) / \omega ( G )$. Finally, $\iota \omega ( G ) = \omega ( G )$ if $G$ is a finitely generated infinite solvable group.

====References====
<table><tr><td valign="top">[a1]</td> <td valign="top">  R. Baer,   "Der Kern, eine charakteristische Untergruppe"  ''Compositio Math.'' , '''1'''  (1934)  pp. 254–283</td></tr><tr><td valign="top">[a2]</td> <td valign="top">  J.C. Beidleman,   M.R. Dixon,   D.J.S. Robinson,   "The generalized Wielandt subgroup of a group"  ''Canad. J. Math.'' , '''47''' :  2  (1995)  pp. 246–261</td></tr><tr><td valign="top">[a3]</td> <td valign="top">  R. Brandl,   S. Franciosi,   F. de Giovanni,   "On the Wielandt subgroup of infinite soluble groups"  ''Glasgow Math. J.'' , '''32'''  (1990)  pp. 121–125</td></tr><tr><td valign="top">[a4]</td> <td valign="top">  R.A. Bryce,   J. Cossey,   "The Wielandt subgroup of a finite soluble group"  ''J. London Math. Soc. (2)'' , '''40'''  (1989)  pp. 244–256</td></tr><tr><td valign="top">[a5]</td> <td valign="top">  A.R. Camina,   "The Wielandt length of finite groups"  ''J. Algebra'' , '''15'''  (1970)  pp. 142–148</td></tr><tr><td valign="top">[a6]</td> <td valign="top">  C. Casolo,   "Soluble groups with finite Wielandt length"  ''Glasgow Math. J.'' , '''31'''  (1989)  pp. 329–334</td></tr><tr><td valign="top">[a7]</td> <td valign="top">  J. Cossey,   "The Wielandt subgroup of a polycyclic group"  ''Glasgow Math. J.'' , '''33'''  (1991)  pp. 231–234</td></tr><tr><td valign="top">[a8]</td> <td valign="top">  J. Cossey,   "Finite groups generated by subnormal T-subgroups"  ''Glasgow Math. J.'' , '''37'''  (1995)  pp. 363–371</td></tr><tr><td valign="top">[a9]</td> <td valign="top">  F. de Giovanni,   S. Franciosi,   "Groups in which every infinite subnormal subgroup is normal"  ''J. Algebra'' , '''96'''  (1985)  pp. 566–580</td></tr><tr><td valign="top">[a10]</td> <td valign="top">  H. Heineken,   "Groups with restrictions on their infinite subnormal subgroups"  ''Proc. Edinburgh Math. Soc.'' , '''31'''  (1988)  pp. 231–241</td></tr><tr><td valign="top">[a11]</td> <td valign="top">  O.H. Kegel,   "Über den Normalisator von subnormalen und erreichbaren Untergruppen"  ''Math. Ann.'' , '''163'''  (1966)  pp. 248–258</td></tr><tr><td valign="top">[a12]</td> <td valign="top">  J.C. Lennox,   S.E. Stonehewer,   "Subnormal subgroups of groups" , Oxford  (1987)</td></tr><tr><td valign="top">[a13]</td> <td valign="top">  E. Ormerod,   "The Wielandt subgroup of a metacyclic $p$-group"  ''Bull. Austral. Math. Soc.'' , '''42'''  (1990)  pp. 499–510</td></tr><tr><td valign="top">[a14]</td> <td valign="top">  D.J.S. Robinson,   "Groups in which normality is a transitive relation"  ''Proc. Cambridge Philos. Soc.'' , '''60'''  (1964)  pp. 21–38</td></tr><tr><td valign="top">[a15]</td> <td valign="top">  D.J.S. Robinson,   "On the theory of subnormal subgroups"  ''Math. Z.'' , '''89'''  (1965)  pp. 30–51</td></tr><tr><td valign="top">[a16]</td> <td valign="top">  J.E. Roseblade,   "On certain subnormal coalition classes"  ''J. Algebra'' , '''1'''  (1964)  pp. 132–138</td></tr><tr><td valign="top">[a17]</td> <td valign="top">  E. Schenkman,   "On the norm of a group"  ''Illinois J. Math.'' , '''4'''  (1960)  pp. 150–152</td></tr><tr><td valign="top">[a18]</td> <td valign="top">  H. Wielandt,   "Über den Normalisator der subnormalen Untergruppen"  ''Math. Z.'' , '''69'''  (1958)  pp. 463–465</td></tr></table>