Abelian subgroup structure of square complex groups and arithmetic of quaternions (Q1771333)

The authors consider the fundamental group \(\Gamma\) of a certain square complex of nonpositive curvature, related to quaternion algebras. A fundamental fact is that in the considered cases \(\Gamma\) is commutative transitive, in the sense that the relation of commutativity is transitive on the nontrivial elements of \(\Gamma\). In particular, \(\Gamma\) is a CSA-group, i.e. all its maximal abelian subgroups \(\Gamma_0\) satisfy \(g\Gamma_0 g^{-1} \cap \Gamma_0 =\{ 1 \}\) for all \(g \in \Gamma \setminus \Gamma_0\)