Preservation of stability under finite extension of a group

Classification theory, stability, and related concepts in model theory (03C45) Model-theoretic algebra (03C60) FC-groups and their generalizations (20F24)

Review text

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.

Recommendations

Cites work

Cited in

(1)

Pseudo-Stabilization of Prolonged Group Actions I. The Order Zero Case

This page was built for publication: Preservation of stability under finite extension of a group

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1102269)