Showing 1–4 of 4 results for author: Belegradek, O

The space of minimal structures

Authors: Oleg Belegradek

Abstract: For a signature L with at least one constant symbol, an L-structure is called minimal if it has no proper substructures. Let S_L be the set of isomorphism types of minimal L-structures. The elements of S_L can be identified with ultrafilters of the Boolean algebra of quantifier-free L-sentences, and therefore one can define a Stone topology on S_L. This topology on S_L generalizes the topology of… ▽ More For a signature L with at least one constant symbol, an L-structure is called minimal if it has no proper substructures. Let S_L be the set of isomorphism types of minimal L-structures. The elements of S_L can be identified with ultrafilters of the Boolean algebra of quantifier-free L-sentences, and therefore one can define a Stone topology on S_L. This topology on S_L generalizes the topology of the space of n-marked groups. We introduce a natural ultrametric on S_L, and show that the Stone topology on S_L coincide with the topology of the ultrametric space S_L iff the ultrametric space S_L is compact iff L is locally finite (that is, L contains finitely many n-ary symbols for any n). As one of the applications of compactness of the Stone topology on S_L, we prove compactness of certain classes of metric spaces in the Gromov-Hausdorff topology. This slightly refines the known result based on Gromov's ideas that any uniformly totally bounded class of compact metric spases is precompact. △ Less

Submitted 2 March, 2013; originally announced March 2013.

Comments: 17 pages

MSC Class: 03C98; 51F99; 06E15; 03C20

Theory of square-like abelian groups is decidable

Authors: Oleg Belegradek

Abstract: A group is called square-like if it is universally equivalent to its direct square. It is known that the class of all square-like groups admits an explicit first order axiomatization but its theory is undecidable. We prove that the theory of square-like abelian groups is decidable. This answers a question posed by D. Spellman. A group is called square-like if it is universally equivalent to its direct square. It is known that the class of all square-like groups admits an explicit first order axiomatization but its theory is undecidable. We prove that the theory of square-like abelian groups is decidable. This answers a question posed by D. Spellman. △ Less

Submitted 10 February, 2006; originally announced February 2006.

Comments: 10 pages, AMS-LaTeX, minor formatting change in abstract

MSC Class: 20A15 (Primary); 20K99; 20E26; 03C60; 03D35 (Secondary)

Endomorphisms of relatively hyperbolic groups

Authors: Igor Belegradek, Andrzej Szczepanski, Oleg V. Belegradek

Abstract: We generalize some results of Paulin and Rips-Sela on endomorphisms of hyperbolic groups to relatively hyperbolic groups, and in particular prove the following. (1) If G is a finitely generated non-elementary relatively hyperbolic group with slender parabolic subgroups, and either G is not co-Hopfian or Out(G) is infinite, then G splits over a slender group. (2) If a finitely generated non-p… ▽ More We generalize some results of Paulin and Rips-Sela on endomorphisms of hyperbolic groups to relatively hyperbolic groups, and in particular prove the following. (1) If G is a finitely generated non-elementary relatively hyperbolic group with slender parabolic subgroups, and either G is not co-Hopfian or Out(G) is infinite, then G splits over a slender group. (2) If a finitely generated non-parabolic subgroup H of a non-elementary relatively hyperbolic group is not Hopfian, then H acts non-trivially on an R-tree. (3) Every non-elementary relatively hyperbolic group has a non-elementary relatively hyperbolic quotient that is Hopfian. (4) Any finitely presented group is isomorphic to a finite index subgroup of Out(H) for some Kazhdan group H. (This sharpens a result of Ollivier-Wise). △ Less

Submitted 10 August, 2007; v1 submitted 20 January, 2005; originally announced January 2005.

Comments: final version

MSC Class: 20F65

Quasi-o-minimal groups

Authors: Oleg Belegradek, Ya'acov Peterzil, Frank Wagner

Abstract: The authors investigate the structure of quasi-o-minimal groups. Among other results, they show that quasi-o-minimal groups are abelian, that quasi-o-minimal densely ordered archimedian groups are divisible, and that every divisible quasi-o-minimal group is o-miminal. The authors investigate the structure of quasi-o-minimal groups. Among other results, they show that quasi-o-minimal groups are abelian, that quasi-o-minimal densely ordered archimedian groups are divisible, and that every divisible quasi-o-minimal group is o-miminal. △ Less

Submitted 13 May, 1997; originally announced May 1997.

Comments: Abstract added in migration.

Report number: FI-MT1997-007