A homological characterization of hyperbolic groups

A finitely presented group G is hyperbolic iff H ⁽¹⁾ ₁(G,ℝ)=0=⁽¹⁾ ₂(G, ℝ), where H ⁽¹⁾ _* (resp. ⁽¹⁾ _*) denotes the ℓ₁-homology (resp. reduced ℓ₁-homology). If Γ is a graph, then every ℓ₁ 1-cycle in Γ with real coefficients can be approximated by 1-cycles of compact support. A 1-relator group G is hyperbolic iff H ⁽¹⁾ ₁(G,ℝ)=0. Oblatum: 30-IV-1997 & 14-V-1998 / Published online: 14 January 1999     

Examples of locally finite groups

In this paper we construct examples of nonextremal locally finite groups for which every finite unsolvable subgroup is not embedded in any proper infinite subgroup. We also give an example of a locally finite simple group, any proper infinite subgroup of which is bigrade solvable.Translated from Matematicheskie Zametki, Vol. 13, No. 1, pp. 103–106, January, 1973.The author wishes to express his deep gratitude to Yu. M. Gorchakov for help and valuable advice in the preparation of the paper.     

A characterization of minimal locally finite varieties

In this paper we describe a one-variable Mal'cev-like condition satisfied by any locally finite minimal variety. We prove that a locally finite variety is minimal if and only if it satisfies this Mal'cev-like condition and it is generated by a strictly simple algebra which is nonabelian or has a trivial subalgebra. Our arguments show that the strictly simple generator of a minimal locally finite variety is unique, it is projective and it embeds into every member of the variety. We give a new proof of the structure theorem for strictly simple abelian algebras that generate minimal varieties.

     

A characterization of locally finite vertex-transitive graphs

A locally finite graph G with no isolated vertices is vertex-transitive if and only if all its vertex-deleted subgraphs G-v are isomorphic.     

On universal locally finite groups

We deal with the question of existence of a universal object in the category of universal locally finite groups; the answer is negative for many uncountable cardinalities; for example, for 2^ℵ ₀, and assuming G.C.H. for every cardinal whose confinality is >ℵ₀. However, if λ>κ when κ is strongly compact and of λ=ℵ₀, then there exists a universal locally finite group of cardinality λ. The idea is to use the failure of the amalgamation property in a strong sense. We shall also prove the failure of the amalgamation property for universal locally finite groups by transferring the kind of failure of the amalgamation property from LF into ULF. We would like to thank Simon Thomas for reading carefully a preliminary version of this paper, proving Lemma 20 and making valuable remarks. Also we thank the United States—Israel Binational Science Foundation for partially supporting this work.     

Dual-standard subgroups of finite and locally finite groups

A subgroup D of a group G is called dual-standard if, for all subgroups X and Y of G, <XχD,YχD>=<X,Y>χD. When G is finite, Zappa has given some information concerning the way in which D is embedded in G and the structure of G itself. Among other things, Zappa makes reference to the maximal normal Hall subgroup L of G contained in D. In general L can be arbitrary. The main result of this work, however, is to show that the commutator of L with a complement in G is nilpotent.     

Topologization of countable locally finite groups

It is shown that every countable locally finite group admits the antidiscrete Hausdorff group topology.Translated fromAlgebra i Logika, Vol. 34, No. 6, pp. 613-618, November-December, 1995.Supported by the Krasnoyarsk Territory Science Foundation, grant No. 3F0156.     

A characterization of finite soluble groups

Let G be a finite soluble group of order m and let w(x₁, ...,x_n) be a group word. Then the probability that w(g₁, ..., g_n)= 1 (where (g₁, ..., g_n) is a random n-tuple in G) is at leastp^–(m–t), where p is the largest prime divisor ofm and t is the number of distinct primes dividing m. This contrastswith the case of a non-soluble group G, for which Abérthas shown that the corresponding probability can take arbitrarilysmall positive values as n .     

A characterization of congruence permutable locally finite varieties

A variety of universal algebras is said to be congruence permutable if for every algebra A of and every pair of congruences α, β from A we have αβ = βα. We show that if is locally finite (i.e., every finitely generated member of is finite) then congruence permutability is equivalent to a local property of the finite members of , expressible in the language of tame congruence theory. This answers a question of R. McKenzie and D. Hobby.