Namespaces
Variants
Actions

Difference between revisions of "Subgroup series"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
m (tex,MR,ZBL,MSC, refs)
Line 1: Line 1:
A finite chain of subgroups of a [[Group|group]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s090/s090880/s0908801.png" /> contained in each other:
+
{{MSC|20}}
 +
{{TEX|done}}
  
<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/s/s090/s090880/s0908802.png" /></td> <td valign="top" style="width:5%;text-align:right;">(*)</td></tr></table>
+
 
 +
A ''Subgroup series of a [[Group|group]] $G$ is
 +
a finite chain of subgroups of $G$ contained in each other:
 +
$$E=G_0\subseteq G_1\subseteq \cdots \subseteq G_n=G\label{1}$$
  
 
or
 
or
  
<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/s/s090/s090880/s0908803.png" /></td> </tr></table>
+
$$G=G_1\supseteq G_2\supseteq \cdots \supseteq G_{n+1}=E.$$
 
+
One also considers infinite chains of imbedded subgroups (increasing and decreasing), which may be indexed by a sequence of numbers or even by elements of an ordered set. They are often called subgroup systems (cf.
One also considers infinite chains of imbedded subgroups (increasing and decreasing), which may be indexed by a sequence of numbers or even by elements of an ordered set. They are often called subgroup systems (cf. [[Subgroup system|Subgroup system]]).
+
[[Subgroup system|Subgroup system]]).
 
 
An important part in group theory is played by subnormal, normal and central series. A subgroup series (*) is called subnormal if each group in the chain is a normal subgroup of the subsequent term. If also each subgroup <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s090/s090880/s0908804.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s090/s090880/s0908805.png" />, is normal in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s090/s090880/s0908806.png" />, the series (*) is called a normal series in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s090/s090880/s0908807.png" />. There is also a different terminology, in which the name normal series is given to what is here called subnormal, while for the second concept defined here one uses the term  "invariant subgroup seriesinvariant series" . The quotient groups <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s090/s090880/s0908808.png" /> are called factors, while the number <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s090/s090880/s0908809.png" /> is the length of the subnormal series. A normal series (*) is called central if all its factors are central, i.e. <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s090/s090880/s09088010.png" /> lies in the centre of the group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s090/s090880/s09088011.png" /> for all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s090/s090880/s09088012.png" />, or, which is equivalent, the commutator of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s090/s090880/s09088013.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s090/s090880/s09088014.png" /> lies in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s090/s090880/s09088015.png" /> for all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s090/s090880/s09088016.png" />. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s090/s090880/s09088017.png" /> is the centre of the group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s090/s090880/s09088018.png" /> (respectively, if the commutator of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s090/s090880/s09088019.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s090/s090880/s09088020.png" /> coincides with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s090/s090880/s09088021.png" />) for all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s090/s090880/s09088022.png" />, then the series (*) is called the upper central series (respectively, the lower central series) of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s090/s090880/s09088023.png" />. Let a subnormal (respectively, normal or central) series be given in a group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s090/s090880/s09088024.png" /> together with a certain subgroup <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s090/s090880/s09088025.png" />, and let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s090/s090880/s09088026.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s090/s090880/s09088027.png" /> Then the chain
 
  
<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/s/s090/s090880/s09088028.png" /></td> </tr></table>
+
An important part in group theory is played by subnormal, normal and central series. A subgroup series (1) is called subnormal if each group in the chain is a normal subgroup of the subsequent term. If also each subgroup $G_i$, $i=0,\dots,n$, is normal in $G$, the series (*) is called a normal series in $G$. There is also a different terminology, in which the name normal series is given to what is here called subnormal, while for the second concept defined here one uses the term  "invariant subgroup seriesinvariant series" . The quotient groups $G_{i+1}/G_i$ are called factors, while the number $n$ is the length of the subnormal series. A normal series (1) is called central if all its factors are central, i.e. $G_{i+1}/G_i$ lies in the centre of the group $G/G_i$ for all $i$, or, which is equivalent, the commutator of $G_{i+1}$ and $G$ lies in $G_i$ for all $i$. If $G_{i+1}/G_i$ is the centre of the group $G/G_{i}$ (respectively, if the commutator of $G_{i+1}$ and $G$ coincides with $G_i$) for all $i$, then the series (1) is called the upper central series (respectively, the lower central series) of $G$. Let a subnormal (respectively, normal or central) series be given in a group $G$ together with a certain subgroup $H\subseteq G$, and let $H_i=G_i\cap H$, $i=0,\dots,n$. Then the chain
  
is a subnormal (respectively, normal or central) series in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s090/s090880/s09088029.png" />, while the factors of this series are isomorphic to subgroups of the corresponding factors in the series (*). If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s090/s090880/s09088030.png" /> is a quotient group of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s090/s090880/s09088031.png" />, the chain
+
$$E=H_0\subseteq H_1\subseteq \cdots \subseteq H_n=H$$
 +
is a subnormal (respectively, normal or central) series in $H$, while the factors of this series are isomorphic to subgroups of the corresponding factors in the series (*). If $G/N$ is a quotient group of $G$, the chain
  
<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/s/s090/s090880/s09088032.png" /></td> </tr></table>
+
$$E=G_0N/N\subseteq G_1N/N\subseteq \cdots \subseteq G_nN/N=G/N$$
 +
is a subnormal (respectively, normal or central) series in $G/N$, and the factors in this series are homomorphic images of the corresponding factors in the series (*).
  
is a subnormal (respectively, normal or central) series in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s090/s090880/s09088033.png" />, and the factors in this series are homomorphic images of the corresponding factors in the series (*).
+
Two subnormal (in particular, normal) series in a group are said to be isomorphic if they have the same length and if there is a bijection between their factors such that corresponding factors are isomorphic. If every subgroup of one of the series coincides with one of the subgroups of the other, the second series is called a refinement of the first. A normal series which cannot be refined is called a principal series (or chief series); while a subnormal series which cannot be refined is called a composition series. The factors in these series are called chief and composition factors, respectively. Any two subnormal (respectively, normal or central) series of a group have isomorphic subnormal (respectively, normal or central) refinements. In particular, any two chief (composition) series are isomorphic (see
 
+
[[Jordan–Hölder theorem|Jordan–Hölder theorem]]).
Two subnormal (in particular, normal) series in a group are said to be isomorphic if they have the same length and if there is a bijection between their factors such that corresponding factors are isomorphic. If every subgroup of one of the series coincides with one of the subgroups of the other, the second series is called a refinement of the first. A normal series which cannot be refined is called a principal series (or chief series); while a subnormal series which cannot be refined is called a composition series. The factors in these series are called chief and composition factors, respectively. Any two subnormal (respectively, normal or central) series of a group have isomorphic subnormal (respectively, normal or central) refinements. In particular, any two chief (composition) series are isomorphic (see [[Jordan–Hölder theorem|Jordan–Hölder theorem]]).
 
  
 
====References====
 
====References====
<table><TR><TD valign="top">[1]</TD> <TD valign="top"> M.I. Kargapolov,  J.I. [Yu.I. Merzlyakov] Merzljakov,  "Fundamentals of the theory of groups" , Springer  (1979)  (Translated from Russian)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top"> S.N. Chernikov,  "Groups with given properties of subgroup systems" , Moscow  (1980)  (In Russian)</TD></TR></table>
+
{|
 +
|-
 +
|valign="top"|{{Ref|Ch}}||valign="top"|  S.N. Chernikov,  "Groups with given properties of subgroup systems", Moscow  (1980)  (In Russian) 
 +
|-
 +
|valign="top"|{{Ref|KaMe}}||valign="top"| M.I. Kargapolov,  J.I. [Yu.I. Merzlyakov] Merzljakov,  "Fundamentals of the theory of groups", Springer  (1979)  (Translated from Russian)  {{MR|0551207}}  {{ZBL|0549.20001}}
  
 +
|-
 +
|valign="top"|{{Ref|Ro}}||valign="top"|  D.J.S. Robinson,  "A course in the theory of groups", Springer  (1980)  {{MR|1357169}} {{MR|1261639}} {{MR|0648604}}  {{ZBL|0836.20001}} {{ZBL|0483.20001}}
  
 +
|-
 +
|valign="top"|{{Ref|Su}}||valign="top"|  M. Suzuki,  "Group theory", '''1''', Springer  (1986)  {{MR|0815926}}  {{ZBL|0586.20001}}
  
====Comments====
+
|-
 
+
|}
 
 
====References====
 
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  M. Suzuki,  "Group theory" , '''1''' , Springer  (1986)</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  D.J.S. Robinson,  "A course in the theory of groups" , Springer  (1980)</TD></TR></table>
 

Revision as of 17:36, 27 November 2013

2020 Mathematics Subject Classification: Primary: 20-XX [MSN][ZBL]


A Subgroup series of a group $G$ is a finite chain of subgroups of $G$ contained in each other: $$E=G_0\subseteq G_1\subseteq \cdots \subseteq G_n=G\label{1}$$

or

$$G=G_1\supseteq G_2\supseteq \cdots \supseteq G_{n+1}=E.$$ One also considers infinite chains of imbedded subgroups (increasing and decreasing), which may be indexed by a sequence of numbers or even by elements of an ordered set. They are often called subgroup systems (cf. Subgroup system).

An important part in group theory is played by subnormal, normal and central series. A subgroup series (1) is called subnormal if each group in the chain is a normal subgroup of the subsequent term. If also each subgroup $G_i$, $i=0,\dots,n$, is normal in $G$, the series (*) is called a normal series in $G$. There is also a different terminology, in which the name normal series is given to what is here called subnormal, while for the second concept defined here one uses the term "invariant subgroup seriesinvariant series" . The quotient groups $G_{i+1}/G_i$ are called factors, while the number $n$ is the length of the subnormal series. A normal series (1) is called central if all its factors are central, i.e. $G_{i+1}/G_i$ lies in the centre of the group $G/G_i$ for all $i$, or, which is equivalent, the commutator of $G_{i+1}$ and $G$ lies in $G_i$ for all $i$. If $G_{i+1}/G_i$ is the centre of the group $G/G_{i}$ (respectively, if the commutator of $G_{i+1}$ and $G$ coincides with $G_i$) for all $i$, then the series (1) is called the upper central series (respectively, the lower central series) of $G$. Let a subnormal (respectively, normal or central) series be given in a group $G$ together with a certain subgroup $H\subseteq G$, and let $H_i=G_i\cap H$, $i=0,\dots,n$. Then the chain

$$E=H_0\subseteq H_1\subseteq \cdots \subseteq H_n=H$$ is a subnormal (respectively, normal or central) series in $H$, while the factors of this series are isomorphic to subgroups of the corresponding factors in the series (*). If $G/N$ is a quotient group of $G$, the chain

$$E=G_0N/N\subseteq G_1N/N\subseteq \cdots \subseteq G_nN/N=G/N$$ is a subnormal (respectively, normal or central) series in $G/N$, and the factors in this series are homomorphic images of the corresponding factors in the series (*).

Two subnormal (in particular, normal) series in a group are said to be isomorphic if they have the same length and if there is a bijection between their factors such that corresponding factors are isomorphic. If every subgroup of one of the series coincides with one of the subgroups of the other, the second series is called a refinement of the first. A normal series which cannot be refined is called a principal series (or chief series); while a subnormal series which cannot be refined is called a composition series. The factors in these series are called chief and composition factors, respectively. Any two subnormal (respectively, normal or central) series of a group have isomorphic subnormal (respectively, normal or central) refinements. In particular, any two chief (composition) series are isomorphic (see Jordan–Hölder theorem).

References

[Ch] S.N. Chernikov, "Groups with given properties of subgroup systems", Moscow (1980) (In Russian)
[KaMe] M.I. Kargapolov, J.I. [Yu.I. Merzlyakov] Merzljakov, "Fundamentals of the theory of groups", Springer (1979) (Translated from Russian) MR0551207 Zbl 0549.20001
[Ro] D.J.S. Robinson, "A course in the theory of groups", Springer (1980) MR1357169 MR1261639 MR0648604 Zbl 0836.20001 Zbl 0483.20001
[Su] M. Suzuki, "Group theory", 1, Springer (1986) MR0815926 Zbl 0586.20001
How to Cite This Entry:
Subgroup series. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Subgroup_series&oldid=13439
This article was adapted from an original article by N.S. Romanovskii (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article