Preservation of stability under finite extension of a group (Q1102269): Difference between revisions

Let H be a normal subgroup of the group G and \(B=G/H\). According to O. Schreier there is a factor set \(f: B\times B\to H\) and a map \(\pi\) : \(B\to Aut(H)\) such that G can be reconstructed from B, H, f, \(\pi\). Following the reviewer [The model theory of FC-groups, in: Mathematical Logic in Latin America, Proc. Symp., Santiago 1978, 163-190 (1980; Zbl 0437.03014)], a structure \({\mathcal E}(B,H,f,\pi)\) is introduced and shown that for H parametrically definable in G and G/H finite, it holds that G is \(\lambda\)-stable iff \({\mathcal E}(B,H,f,\pi)\) is \(\lambda\)-stable iff \((H,\pi_{\alpha})_{\alpha \in B}\) is \(\lambda\)-stable. Using this result the author proves that if G is a stable FC-group then the spectrum of G coincides with the spectrum of its center: \(I(\lambda,G)=I(\lambda,Z(G))\) for all \(\lambda \geq \aleph_ 0\). It is also proved that a stable FC-nilpotent group (in the sense of Haimo) is nilpotent by finite. The paper also presents some results concerning constructivizations of group extensions. Remark. The translator's terminology of ``formal subgroups'' should be replaced by ``definable subgroups''. The cyrillic letters \(\Gamma\) P in some of the formulas indicate ``the group generated by''.