Namespaces
Variants
Actions

Difference between revisions of "Normal series"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
m (tex,MR,ZBL,MSC, refs)
 
Line 1: Line 1:
A series of normal subgroups
+
{{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/n/n067/n067630/n0676301.png" /></td> </tr></table>
+
A ''normal series of a group $G$ is
 +
a series of normal subgroups
 +
$$G=H_1\supseteq H_2\supseteq \cdots \supseteq H_{n+1} = \{1\} $$
 +
of $G$ (see
 +
[[Subgroup series|Subgroup series]]). If each term of the series is normal not in the whole group but only in the preceding term, then the series is called subnormal. Apart from finite series one also considers infinite descending or ascending normal and subnormal series, the terms of which are indexed by (transfinite) ordinal numbers. One considers also more general normal and subnormal systems, the terms of which are indexed by the elements of an ordered set.
  
of a group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067630/n0676302.png" /> (see [[Subgroup series|Subgroup series]]). If each term of the series is normal not in the whole group but only in the preceding term, then the series is called subnormal. Apart from finite series one also considers infinite descending or ascending normal and subnormal series, the terms of which are indexed by (transfinite) ordinal numbers. One considers also more general normal and subnormal systems, the terms of which are indexed by the elements of an ordered set.
+
A factor of the series is the quotient group of some term of the series by the following (or preceding, if the series has ascending order of terms). The length of a series is the number of its factors other than the trivial one. A normal series that cannot be refined further is called a chief series (cf.
 +
[[Principal series|Principal series]]) and a subnormal one a composition series (cf.
 +
[[Composition sequence|Composition sequence]]). The factors of such series are called chief and composition factors. Two normal (subnormal) series are called isomorphic if a one-to-one correspondence can be set up between their factors such that corresponding factors are isomorphic. Any two normal (subnormal) series have isomorphic refinements (Schreier's theorem). In particular, any two chief (composition) series are isomorphic (the
 +
[[Jordan–Hölder theorem|Jordan–Hölder theorem]]).
  
A factor of the series is the quotient group of some term of the series by the following (or preceding, if the series has ascending order of terms). The length of a series is the number of its factors other than the trivial one. A normal series that cannot be refined further is called a chief series (cf. [[Principal series|Principal series]]) and a subnormal one a composition series (cf. [[Composition sequence|Composition sequence]]). The factors of such series are called chief and composition factors. Two normal (subnormal) series are called isomorphic if a one-to-one correspondence can be set up between their factors such that corresponding factors are isomorphic. Any two normal (subnormal) series have isomorphic refinements (Schreier's theorem). In particular, any two chief (composition) series are isomorphic (the [[Jordan–Hölder theorem|Jordan–Hölder theorem]]).
+
There is also another (older) terminology, in which a normal series is what is called above subnormal and for the concept called here a  "normal series"  one uses the term invariant series .
 
 
There is also another (older) terminology, in which a normal series is what is called above subnormal and for the concept called here a  "normal series"  one uses the term "invariant seriesinvariant series" .
 
 
 
 
 
 
 
====Comments====
 
  
  
 
====References====
 
====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top"> M. Hall jr.,  "The theory of groups" , Macmillan  (1959)  pp. Sect. 8.4</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top"> A.G. Kurosh,  "The theory of groups" , '''1''' , Chelsea  (1955)  pp. §16  (Translated from Russian)</TD></TR></table>
+
{|
 +
|-
 +
|valign="top"|{{Ref|Ha}}||valign="top"| M. Hall jr.,  "The theory of groups", Macmillan  (1959)  pp. Sect. 8.4 {{MR|0103215}}  {{ZBL|0084.02202}}
 +
|-
 +
|valign="top"|{{Ref|Ku}}||valign="top"| A.G. Kurosh,  "The theory of groups", '''1''', Chelsea  (1955)  pp. §16  (Translated from Russian) {{MR|0071422}}  {{ZBL|0111.02502}}
 +
|-
 +
|}

Latest revision as of 16:43, 27 November 2013

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

A normal series of a group $G$ is a series of normal subgroups $$G=H_1\supseteq H_2\supseteq \cdots \supseteq H_{n+1} = \{1\} $$ of $G$ (see Subgroup series). If each term of the series is normal not in the whole group but only in the preceding term, then the series is called subnormal. Apart from finite series one also considers infinite descending or ascending normal and subnormal series, the terms of which are indexed by (transfinite) ordinal numbers. One considers also more general normal and subnormal systems, the terms of which are indexed by the elements of an ordered set.

A factor of the series is the quotient group of some term of the series by the following (or preceding, if the series has ascending order of terms). The length of a series is the number of its factors other than the trivial one. A normal series that cannot be refined further is called a chief series (cf. Principal series) and a subnormal one a composition series (cf. Composition sequence). The factors of such series are called chief and composition factors. Two normal (subnormal) series are called isomorphic if a one-to-one correspondence can be set up between their factors such that corresponding factors are isomorphic. Any two normal (subnormal) series have isomorphic refinements (Schreier's theorem). In particular, any two chief (composition) series are isomorphic (the Jordan–Hölder theorem).

There is also another (older) terminology, in which a normal series is what is called above subnormal and for the concept called here a "normal series" one uses the term invariant series .


References

[Ha] M. Hall jr., "The theory of groups", Macmillan (1959) pp. Sect. 8.4 MR0103215 Zbl 0084.02202
[Ku] A.G. Kurosh, "The theory of groups", 1, Chelsea (1955) pp. §16 (Translated from Russian) MR0071422 Zbl 0111.02502
How to Cite This Entry:
Normal series. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Normal_series&oldid=30783
This article was adapted from an original article by A.L. Shmel'kin (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article