CMS/SMC
Canadian Mathematical Society
www.cms.math.ca
Canadian Mathematical Society
  location:  Publicationsjournals
Publications        
Search results

Search: MSC category 20F06 ( Cancellation theory; application of van Kampen diagrams [See also 57M05] )

  Expand all        Collapse all Results 1 - 3 of 3

1. CJM 2011 (vol 64 pp. 241)

Allcock, Daniel
Triangles of Baumslag-Solitar Groups
Our main result is that many triangles of Baumslag-Solitar groups collapse to finite groups, generalizing a famous example of Hirsch and other examples due to several authors. A triangle of Baumslag-Solitar groups means a group with three generators, cyclically ordered, with each generator conjugating some power of the previous one to another power. There are six parameters, occurring in pairs, and we show that the triangle fails to be developable whenever one of the parameters divides its partner, except for a few special cases. Furthermore, under fairly general conditions, the group turns out to be finite and solvable of derived length $\leq3$. We obtain a lot of information about finite quotients, even when we cannot determine developability.

Categories:20F06, 20F65

2. CJM 2010 (vol 62 pp. 481)

Casals-Ruiz, Montserrat; Kazachkov, Ilya V.
Elements of Algebraic Geometry and the Positive Theory of Partially Commutative Groups
The first main result of the paper is a criterion for a partially commutative group $\mathbb G$ to be a domain. It allows us to reduce the study of algebraic sets over $\mathbb G$ to the study of irreducible algebraic sets, and reduce the elementary theory of $\mathbb G$ (of a coordinate group over $\mathbb G$) to the elementary theories of the direct factors of $\mathbb G$ (to the elementary theory of coordinate groups of irreducible algebraic sets). Then we establish normal forms for quantifier-free formulas over a non-abelian directly indecomposable partially commutative group $\mathbb H$. Analogously to the case of free groups, we introduce the notion of a generalised equation and prove that the positive theory of $\mathbb H$ has quantifier elimination and that arbitrary first-order formulas lift from $\mathbb H$ to $\mathbb H\ast F$, where $F$ is a free group of finite rank. As a consequence, the positive theory of an arbitrary partially commutative group is decidable.

Categories:20F10, 03C10, 20F06

3. CJM 2005 (vol 57 pp. 416)

Wise, Daniel T.
Approximating Flats by Periodic Flats in \\CAT(0) Square Complexes
We investigate the problem of whether every immersed flat plane in a nonpositively curved square complex is the limit of periodic flat planes. Using a branched cover, we reduce the problem to the case of $\V$-complexes. We solve the problem for malnormal and cyclonormal $\V$-complexes. We also solve the problem for complete square complexes using a different approach. We give an application towards deciding whether the elements of fundamental groups of the spaces we study have commuting powers. We note a connection between the flat approximation problem and subgroup separability.

Keywords:CAT(0), periodic flat planes
Categories:20F67, 20F06

© Canadian Mathematical Society, 2014 : https://cms.math.ca/