The Jordan-Hölder theorem with uniqueness for groups and semimodular lattices (Q647323)

The main result of the paper is the following theorem: Assume that \(C=\{ 0= c_0\prec c_1\prec\dots\prec c_n=1\}\) and \(D=\{ 0= d_0\prec d_1\prec\dots\prec d_m=1\}\) are maximal chains of a semimodular lattice \(L\). Then \(n=m\), and there is a permutation \(\pi\) of the set \(\{ 1,\dots,n\}\) such that the interval \([c_{i-1},c_i]\) is up-and-down projective to the interval \([d_{\pi(i)-1}, d_{\pi(i)}]\), for all \(i\); moreover, this permutation \(\pi\) is uniquely determined, and it has the following property: if \(i,j\in\{1,\dots,n\}\) and \([c_{i-1},c_i]\;\slash\kern-0.155cm\searrow [d_{j-1},d_j]\), then \(j\leq \pi(i)\). The authors remark that the first part of this theorem is due to \textit{G. Grätzer} and \textit{J. B. Nation} [Algebra Univers. 64, No. 3--4, 309--311 (2010; Zbl 1216.06006)], and that their contribution is the second part.