Involutory groups (Q1076668)

By an involutory group the author means a system \({\mathfrak G}=<G,G_ 0,I_ G>\) consisting of a profinite group G, an open normal subgroup \(G_ 0\) of it of index 2, and a nonempty family \(I_ G\) of involutions of \(G\setminus G_ 0\), closed both in the topology of G and with respect to conjugation in the group G. The main example: if \(<F,P>\) is a proper preordered field and \(F_ 0\geq F(i)\), \(i^ 2=-1\), is a Galois extension of F then the Galois group \(G=Aut_ F F_ 0\) carries the following structure of involutory group: \(G_ 0\) is the stabilizer of F(i) in G and \(I_ G=\{\sigma |\) \(\sigma^ 2=1\) and at least one (total) ordering \(L\supseteq P\) of the field F extends to \(F_ 0^{\sigma}\}.\) The present paper is devoted to the study of some properties of classes of involutory groups which are needed for investigating classes of regularly r-closed fields [the author, Dokl. Akad. Nauk SSSR 266, No.3, 538-540 (1982; Zbl 0555.12010)]. The main tool are the so-called CDM- representations (CDM is an abbreviation of Cherlin-van den Dries- Macyntire), which are the models of \(\omega\)-type predicate calculus, associated with involutory groups.