View source for Ideal series

{{TEX|done}}
''of a semi-group $S$''

A sequence of sub-semi-groups

$$A_1\subset A_2\subset\ldots\subset A_m=S\tag{*}$$

such that $A_i$ is a (two-sided) ideal of $A_{i+1}$, $i=1,\dots,m-1$. The sub-semi-group $A_1$ and the Rees factor semi-groups $A_{i+1}/A_i$ (see [[Semi-group|Semi-group]]) are called the factors of the series \ref{*}. Two ideal series are said to be isomorphic if a one-to-one correspondence can be established between the factors such that corresponding factors are isomorphic. An ideal series

$$B_1\subset B_2\subset\ldots\subset B_n=S$$

is said to be a refinement of \ref{*} if every $A_i$ occurs among the $B_j$. An ideal series is a composition series if it does not have proper refinements. Any two ideal series of a semi-group have isomorphic refinements; in particular, in a semi-group having a composition series all such series are isomorphic (the analogue of the theorems of Schreier and Jordan–Hölder for normal series in groups, see [[#References|[1]]], [[#References|[2]]]). An ideal series is a chief series if its terms are ideals in the whole semi-group and if it has no proper refinements consisting of ideals of the semi-group. If a semi-group has a composition series, then it also has a chief series; the converse is false. In a semi-group with a chief series, its factors are isomorphic to the chief factors (cf. [[Principal factor|Principal factor]]) of $S$.

As for normal series in groups, the concepts mentioned above (as well as their properties) naturally generalize to the case of infinite systems of nested sub-semi-groups. In particular, an ascending ideal series in a semi-group $S$ is a totally ordered sequence

$$A_1\subset\ldots\subset A_\alpha\subset A_{\alpha+1}\subset\ldots\subset A_\beta=S,$$

where at limit points there stand the unions of the preceding members, and $A_\alpha$ is an ideal of $A_{\alpha+1}$ for all $\alpha<\beta$.

====References====
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  A.G. Kurosh,   "The theory of groups" , '''1–2''' , Chelsea  (1955–1956)  (Translated from Russian)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  A.H. Clifford,   G.B. Preston,   "Algebraic theory of semi-groups" , '''1–2''' , Amer. Math. Soc.  (1961–1967)</TD></TR></table>