Existential equivalence of ordered abelian groups with parameters (Q914661)

From MaRDI portal
Revision as of 10:08, 30 July 2024 by Openalex240730090724 (talk | contribs) (Set OpenAlex properties.)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Existential equivalence of ordered abelian groups with parameters
scientific article

    Statements

    Existential equivalence of ordered abelian groups with parameters (English)
    0 references
    1990
    0 references
    \textit{Yu. Sh. Gurevich} and \textit{A. I. Kokorin} [Algebra Logika, Sem. 2, No.1, 37-39 (1963)] have shown that any two non-trivial ordered abelian groups (o-groups, for short) satisfy the same existential sentences. Let now G, H be non-trivial o-groups with a common o-subgroup \(G_ 0\). The paper presents a necessary and sufficient criterion for G and H to be existentially equivalent over \(G_ 0\). As a corollary, various algebraic criteria are given for deciding whether an o-subgroup G is existentially closed in an o-group H. Corresponding results are proved for o-groups in which congruences are regarded as atomic relations. The proofs employ effective quantifier elimination procedures in suitable relational extensions of the language of o-groups.
    0 references
    existential equivalence
    0 references
    pure subgroups
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references