Cancellation and elementary equivalence of groups

If A and B are groups such that $\text{A x}\text{Z}\text{? B x}\text{Z}$, then A and B are elementarily equivalent. From this follows the existence of finitely generated torsion-free nilpotent groups which are elementarily equivalent without being isomorphic.     

Embedding of baumslag-solitar groups into the generalized Baumslag-Solitar groups

A finitely generated group G that acts on a tree so that all vertex and edge stabilizers are infinite cyclic groups is called a generalized Baumslag-Solitar group or GBS-group. Let p and q be coprime integers other than 0, 1, and ?1. We prove that the Baumslag-Solitar group BS(p, q) embeds into G if and only if the equation x ^?1 y ^p x = y ^q is solvable in G for y ≠ 1; i.e., $\tfrac{p} {q} $ ∈ Δ(G), where Δ is the modular homomorphism.     

Isomorphism and elementary equivalence of multilinear maps

In [14], we proved that two finitely generated finite-by-nilpotent groups G,H are elementarily equivalent if and only if Z×G and Z×H are isomorphic. In the present paper, we obtain similar characterizations of elementary equivalence for the following classes of structures:

1. the (n+2)-tuples (A ₁…,A _n+1,f),where n≥2 is an integerA ₁…,A _n+1 are disjoint finitely generated abelian groups and f A ₁×…×A _n →A _n+1: is a n-linear map;

2. the triples (A,B f), where n≥2 is an integerA,B are disjoint finitely generated abelian groups and f : A ⁿ →B is a n-linear map;

3. the couples (A,f), where n≥2 is an integerA is a finitely generated abelian group and f:A ⁿ →A is a n-linear map.

For each class, we show that elementary equivalence does not imply isomorphism. In particular, we give an example of two nonisomorphic finitely generated torsion-free Lie rings which are elementarily equivalent.     

Operator norm localization property of relative hyperbolic group and graph of groups

In this article we study the spaces which have operator norm localization property. We prove that a finitely generated group Γ which is strongly hyperbolic with respect to a collection of finitely generated subgroups {H₁,…,Hn} has operator norm localization property if and only if each Hi, i=1,2,…,n, has operator norm localization property. Furthermore we prove the following result. Let π be the fundamental group of a connected finite graph of groups with finitely generated vertex groups GP. If GP has operator norm localization property for all vertices P then π has operator norm localization property.     

Φ-Harmonic functions on discrete groups and the first ℓΦ-cohomology

We study the first cohomology groups of a countable discrete group G with coefficients in a G-module ?^Φ(G), where Φ is an N-function of class Δ₂(0) ∩ ?₂(0). Developing the ideas of Puls and Martin-Valette for a finitely generated group G, we introduce the discrete Φ-Laplacian and prove a theorem on the decomposition of the space of Φ-Dirichlet finite functions into the direct sum of the spaces of Φ-harmonic functions and ?^Φ(G) (with an appropriate factorization). We prove also that if a finitely generated group G has a finitely generated infinite amenable subgroup with infinite centralizer then \(\bar H^1\) (G, ?^Φ(G)) = 0. In conclusion, we show the triviality of the first cohomology group for the wreath product of two groups one of which is nonamenable.     

Mapping tori of endomorphisms of free groups

For al large class of endomorphisms of finitely generated free groups we prove that their mapping tori groups are word-hyperbolic if and only if they don’t contain Baumslag-Solitar subgroups.     

Isomorphism of Hilbert modules over stably finite C-algebras

It is shown that if A is a stably finite C^∗-algebra and E is a countably generated Hilbert A-module, then E gives rise to a compact element of the Cuntz semigroup if and only if E is algebraically finitely generated and projective. It follows that if E and F are equivalent in the sense of Coward, Elliott and Ivanescu (CEI) and E is algebraically finitely generated and projective, then E and F are isomorphic. In contrast to this, we exhibit two CEI-equivalent Hilbert modules over a stably finite C^∗-algebra that are not isomorphic.     

Finitely Presented, Coherent, and Ultrasimplicial Ordered Abelian Groups

We study notions such as finite presentability and coherence, for partially ordered abelian groups and vector spaces. Typical results are the following: (i) A partially ordered abelian group G is finitely presented if and only if G is finitely generated as a group, G⁺ is well-founded as a partially ordered set, and the set of minimal elements of G⁺\ {0} is finite. (ii) Torison-free, finitely presented partially ordered abelian groups can be represented as subgroups of some Zⁿ, with a finitely generated submonoid of (Z⁺)ⁿ as positive cone. (iii) Every unperforated, finitely presented partially ordered abelian group is Archimedean. Further, we establish connections with interpolation. In particular, we prove that a divisible dimension group G is a directed union of simplicial subgroups if and only if every finite subset of G is contained into a finitely presented ordered subgroup.     

Strong Morita equivalence of higher-dimensional noncommutative tori. II

We show that two C*-algebraic noncommutative tori are strongly Morita equivalent if and only if they have isomorphic ordered K ₀-groups and centers, extending N. C. Phillips’s result in the case that the algebras are simple. This is also generalized to the twisted group C*-algebras of arbitrary finitely generated abelian groups. This research was supported by a grant from the Natural Sciences and Engineering Research Council of Canada, held by George A. Elliott.     

Macpherson's chern classes of singular algebraic varieties

Sacerdote [Sa] has shown that the non-Abelian free groups satisfy precisely the same universal-existential sentences Th(F₂)??? in a first-order language Lo appropriate for group theory. It is shown that in every model of Th(F₂)??? the maximal Abelian subgroups are elementarily equivalent to locally cyclic groups (necessarily nontrivial and torsion free). Two classes of groups are interpolated between the non-Abelian locally free groups and Remeslennikov’s ?-free groups. These classes are the almost locally free groups and the quasi-locally free groups. In particular, the almost locally free groups are the models of Th(F₂)??? while the quasi-locally free groups are the ?-free groups with maximal Abelian subgroups elementarily equivalent to locally cyclic groups (necessarily nontrivial and torsion free). Two principal open questions at opposite ends of a spectrum are: (1.) Is every finitely generated almost locally free group free? (2.) Is every quasi-locally free group almost locally free? Examples abound of finitely generated quasi-locally free groups containing nontrivial torsion in their Abelianizations. The question of whether or not almost locally free groups have torsion free Abelianization is related to a bound in a free group on the number of factors needed to express certain elements of the derived group as a product of commutators     

Arithmetic groups with isomorphic finite quotients

Two finitely generated groups have the same set of finite quotients if and only if their profinite completions are isomorphic. Consider the map which sends (the isomorphism class of) an S-arithmetic group to (the isomorphism class of) its profinite completion. We show that for a wide class of S-arithmetic groups, this map is finite to one, while the fibers are of unbounded size.     

A fixed point theorem for exponentially bounded groups

A fixed point property for linear actions of locally compact groups is presented. It is shown, in particular, that if G is either a finitely generated, discrete solvable group or a connected group then G has this fixed point property if, and only if, G is exponentially bounded.     

On the Howson Property of HNN-Extensions with Nilpotent Base Group and Amalgamated Free Products of Nilpotent Groups

We give necessary and sufficient conditions under which an amalgamated free product of finitely generated nilpotent groups is a Howson group (that is the intersection of any two finitely generated subgroups is finitely generated). Also we prove that if G = ? t, K | t ^?1 At = B ?, where K is a finitely generated and infinite nilpotent group and A, B non-trivial infinite proper subgroups of K, then G is not a Howson group. The problem of deciding when an ascending HNN-extension of a finitely generated nilpotent group is a Howson group is still open.     

Finite generation of iterated wreath products

Let (G _n , X _n ) be a sequence of finite transitive permutation groups with uniformly bounded number of generators. We prove that the infinitely iterated permutational wreath product ${\ldots\wr G_2\wr G_1}Let (G _n , X _n ) be a sequence of finite transitive permutation groups with uniformly bounded number of generators. We prove that the infinitely iterated permutational wreath product ?\wr G₂\wr G₁{\ldots\wr G_2\wr G_1} is topologically finitely generated if and only if the profinite abelian group ?_{n 3 1} G_n/G￠_n{\prod_{n\geq 1} G_n/G'_n} is topologically finitely generated. As a corollary, for a finite transitive group G the minimal number of generators of the wreath power G\wr ?\wr G\wr G{G\wr \ldots\wr G\wr G} (n times) is bounded if G is perfect, and grows linearly if G is non-perfect. As a by-product we construct a finitely generated branch group, which has maximal subgroups of infinite index.     

A Ramsey-type theorem for traceable graphs

A graph G is traceable if there is a path passing through all the vertices of G. It is proved that every infinite traceable graph either contains arbitrarily large finite chordless paths, or contains a subgraph isomorphic to graph A, illustrated in the text. A corollary is that every finitely generated infinite lattice of length 3 contains arbitrarily large finite fences. It is also proved that every infinite traceable graph containing no chordless four-point path contains a subgraph isomorphic to K_ω,ω. The versions of these results for finite graphs are discussed.     

On Some Elementary Properties of Soluble Groups of Derived Length 2

Conditions are found for a soluble group of derived length 2 with few relations to be universally equivalent to a free soluble group of derived length 2. The Fitting radical of a soluble group of derived length 2 with few relations coincides with the derived subgroup. Also, if an n-generator soluble group is elementarily equivalent to a free soluble group of rank m and derived length k then for k=2 or k>2 and n=m the groups are isomorphic.     

Frattini子群是无限循环群的有限生成幂零群

完整地确定了Frattini子群是无限循环群的有限生成幂零群的结构,证明了下面的定理.设G是有限生成幂零群,则G的Frattini子群是无限循环群当且仅当G可以分解为G=S×F×T,其中F是秩为s的自由Abel群,T=Z_m_1⊕Zm_2⊕…⊕Z_m_u,m_1,m_2,…,m_u都是大于1的没有平方因子的自然数,m_1|m_2|…|m_u,■式中d_1,d_2,…,d_r都是正整数,d_1|d_2|…|d_r.进一步,(d_1,d2,…,d_r;s;m_1…,m_2,…,m_u)是群G的同构不变量,即若群H也是Frattini子群是无限循环群的有限生成幂零群,那么G同构于H的充要条件是它们有相同的不变量.     

FINITELY GENERATED G′ AND POSITIVE LAWS

We conjecture that a finitely generated relatively free group G has a finitely generated commutator subgroup G′ if and only if G satisfies a positive law. We confirm this conjecture for groups G in the large class, containing all residually finite and all soluble groups.     

Free algebras over Bezout domains are Sylvester domains

Let λ be a finitary geometric theory and δ its classifying topos. We prove that δ is Boolean if and only if (1) every first-order formula in the language of λ is ?-provably equivalent to a geometric formula and (2) for any finite list of varibles, x, there are, up to ?-provable equivalence, only finitely many formulas, in the language of λ with free variables among x. We use this characterization to show that, when δ is Boolean, it is an atomic topos and can be viewed as a finite coproduct of topoi of continuous G-sets for topological groups G satisfying a certain finiteness condition.     

Commutative semigroups whose homomorphic images in groups are groups

In this paper we study commutative semigroups whose every homomorphic image in a group is a group. We find that for a commutative semigroup S, this property is equivalent to S being a union of subsemigroups each of which either has a kernel or else is isomorphic to one of a sequence T₀, T₁, T₂, ... of explicitly given, countably infinite semigroups without idempotents. Moreover, if S is also finitely generated then this property is equivalent to S having a kernel.