Algebraic systems whose elementary theory is compatible with an arbitrary group

DOI10.1007/BF01978874MaRDI QIDQ761534zbMATH OpenFDO

Authors V. A. Baranskii

Publication date 1983

Published in Algebra and Logic (Search for Journal in Brave)

Full work available at URL https://eudml.org/doc/187245

zbMATH Keywords

connected non-countable graphdistributive algebraic latticeelementary theoriesfinite subgraphs

Mathematics Subject Classification ID

Basic properties of first-order languages and structures (03C07) Graphs and abstract algebra (groups, rings, fields, etc.) (05C25) Applications of logic to group theory (20A15) Infinite automorphism groups (20B27)

Review text

The graphs considered here have no loops and multiple edges. If A is a graph, Lt(A) is the set composed of A and all finite subgraphs of A. Lt(A) is a distributive algebraic lattice; moreover, Aut(A)\(\cong Aut(Lt(A))\). The author constructs for every connected non-countable graph A, a connected graph Gr(A) such that: (i) A and Gr(A) have the same cardinality and Aut(A)\(\cong Aut(Gr(A))\), (ii) if A, B are connected non- countable graphs, then the elementary theories of Gr(A) and Gr(B) coincide and the elementary theories of LT(Gr(A)) and LT(Gr(B)) coincide. Since for every group G there is a connected non-countable graph A such that \(G\cong Aut(A)\), the elementary theory of Gr(A) (LT(Gr(A))), for all connected non-countable graphs A is compatible with any group.

Recommendations

• The group of the countable universal graph
• Automorphism groups of countable algebraically closed graphs and endomorphisms of the random graph
• Independence of equational theories and automorphism groups of lattices
• scientific article; zbMATH DE number 3893167
• scientific article; zbMATH DE number 4008425

Cited in

(3)

• scientific article; zbMATH DE number 4008425 (Why is no real title available?)
• Automorphism groups of countable algebraically closed graphs and endomorphisms of the random graph
• The problem of finite axiomatizability for strongly minimal graph theories

This page was built for publication: Algebraic systems whose elementary theory is compatible with an arbitrary group

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