We give necessary and sufficient conditions for weak and strong embeddability of amalgams in each subvariety of the category of all nilpotent groups of class at most two; this generalizes B. Maier's result for the latter class. We also discuss dominions (in the sense of Isbell), and characterize the weak, strong, and special amalgamation bases for each subvariety, contrasting the resulting classes with one another.
Let $L$ be a nilpotent algebra of class two over a compact discrete valuation ring $A$ of characteristic zero or of sufficiently large positive characteristic. Let $q$ be the residue cardinality of $A$. The ideal zeta function of $L$ is a Dirichlet series enumerating finite-index ideals of $L$. We prove that there is a rational function in $q$, $q^m$, $q^{-s}$, and $q^{-ms}$ giving the ideal zeta function of the amalgamation of $m$ copies of $L$ over the derived subring, for every $m \geq 1$, up to an explicit factor. More generally, we prove this for the zeta functions of nilpotent quiver rep…
A finitely generated group G is termed parafree if it is residually nilpotent and it has the same isomorphism types of nilpotent quotients as some free group. The two main results of this MSc. Thesis characterise the parafreeness of two constructions, namely amalgamated products with cyclic amalgams and cyclic HNN extensions.
Let $G$ be a free product of two groups with amalgamated subgroup, $π$ be either the set of all prime numbers or the one-element set \{$p$\} for some prime number $p$. Denote by $Σ$ the family of all cyclic subgroups of group $G$, which are separable in the class of all finite $π$-groups. Obviously, cyclic subgroups of the free factors, which aren't separable in these factors by the family of all normal subgroups of finite $π$-index of group $G$, the subgroups conjugated with them and all subgroups, which aren't $π^{\prime}$-isolated, don't belong to $Σ$. Some sufficient conditions are obtaine…
We study the strong, weak, and special amalgamation bases in the varieties of nilpotent groups of class two and exponent n, where n is odd. The main result is a characterization of the special amalgamation bases for these varieties. We also characterize the weak and strong bases. For special amalgamation bases, we show that there are groups which are special bases in varieties of finite exponent but not in the variety of all nil-2 groups, whereas for weak and strong bases we show this is not the case. We also show that in these varieties, as well as the variety of all nil-2 groups, a group has…
We clarify the structure of nilpotent Lie groups which are multiplication groups of $3$-dimensional simply connected topological loops and prove that non-solvable Lie groups acting minimally on $3$-dimensional manifolds cannot be the multiplication group of $3$-dimensional topological loops. Among the nilpotent Lie groups for any filiform groups ${\mathcal F}_{n+2}$ and ${\mathcal F}_{m+2}$ with $n, m > 1$, the direct product ${\mathcal F}_{n+2} \times \mathbb R$ and the direct product ${\mathcal F}_{n+2} \times _Z {\mathcal F}_{m+2}$ with amalgamated center $Z$ occur as the multiplication gro…
In a 1985 paper, Berthold J. Maier gave necessary and sufficient conditions for the weak embeddability of amalgams of two nilpotent groups of class two over a common subgroup. Then he derived simpler conditions for some special cases. One of his subsequent results is incorrect, and we provide a counterexample. Finally, we provide a fix for the result.
We classify all non-collapsing Curtis-Tits and Phan amalgams with $3$-spherical diagram over all fields. In particular, we show that amalgams with spherical diagram are unique, a result required by the classification of finite simple groups. We give a simple condition on the amalgam which is necessary and sufficient for it to arise from a group of Kac-Moody type. This also yields a definition of a large class of groups of Kac-Moody type in terms of a finite presentation.
A discrete countable group Γis said to be ME rigid if any discrete countable group that is measure equivalent to Γis virtually isomorphic to Γ. In this paper, we construct ME rigid groups by amalgamating two groups satisfying rigidity in a sense of measure equivalence. A class of amalgamated free products is introduced, and discrete countable groups which are measure equivalent to a group in that class are investigated.
An amalgam of groups can be viewed as a Sudoku game inside a group. You are given a set of subgroups and their intersections and you need to decide what the largest group containing such a structure can be. In a recent paper (0907.1388v1) we used Bass-Serre theory of graphs of groups to classify all possible amalgams of Curtis-Tits shape with a given diagram. This note describes the method for general rank two amalgams.
We show that the class of amalgamated free products of two free groups over a cyclic subgroup admits amenable, faithful and transitive actions on infinite countable sets. This work generalizes the results on such actions for doubles of free group on 2 generators.
Geometric methods proposed by Stallings for treating finitely generated subgroups of free groups were successfully used to solve a wide collection of decision problems for free groups and their subgroups. It turns out that Stallings' methods can be effectively generalized for the class of amalgams of finite groups. In the present paper we employ subgroup graphs constructed by the generalized Stallings' folding algorithm to solve various algorithmic problems in amalgams of finite groups.
We show that the word problem for an amalgam $[S_1,S_2;U,ω_1,ω_2]$ of inverse semigroups may be undecidable even if we assume $S_1$ and $S_2$ (and therefore $U$) to have finite $\mathcal{R}$-classes and $ω_1,ω_2$ to be computable functions, interrupting a series of positive decidability results on the subject. This is achieved by encoding into an appropriate amalgam of inverse semigroups 2-counter machines with sufficient universality, and relating the nature of certain \sch graphs to sequences of computations in the machine.
We obtain a criterion for quasiconvexity of a subgroup of an amalgamated free product of two word hyperbolic groups along a virtually cyclic subgroup. The result provides a method of constructing new word hyperbolic group in class (Q), that is such that all their finitely generated subgroups are quasiconvex. It is known that free groups, hyperbolic surface groups and most 3-dimensional Kleinian groups have property (Q). We also give some applications of our results to one-relator groups and exponential groups.
The classification of Curtis-Tits amalgams with {connected}, triangle free, simply-laced diagram over a field of size at least $4$ was completed in~\cite{BloHof2014b}. Orientable amalgams are those arising from applying the Curtis-Tits theorem to groups of Kac-Moody type, and indeed, their universal completions are central extensions of those groups of Kac-Moody type. The paper~\cite{BloHof2014a} exhibits concrete (matrix) groups as completions for all Curtis-Tits amalgams with diagram $\widetilde{A}_{n-1}$. For non-orientable amalgams these groups are symmetry groups of certain unitary forms …
Garside groups are a natural lattice-theoretic generalisation of the braid groups and spherical type Artin--Tits groups. Here we show that the class of Garside groups is closed under some free products with cyclic amalgamated subgroups. We deduce that every tree product of infinite cyclic groups is a Garside group. Moreover, we study those cyclic HNN extensions of Garside groups that are Garside groups as well. Using a theorem of Pietrowski, we conclude this paper by stating that a non-cyclic one-relator group is Garside if and only if its centre is nontrivial.
In the 1980's Stallings showed that every finitely generated subgroup of a free group is canonically represented by a finite minimal immersion of a bouquet of circles. In terms of the theory of automata, this is a minimal finite inverse automaton. This allows for the deep algorithmic theory of finite automata and finite inverse monoids to be used to answer questions about finitely generated subgroups of free groups. In this paper we attempt to apply the same methods to other classes of groups. A fundamental new problem is that the Stallings folding algorithm must be modified to allow for ``sew…
We study the notion of weak amalgamation in the context of diagonal conjugacy classes. Generalizing results of Kechris and Rosendal, we prove that for every countable structure $M$, Polish group $G$ of permutations of $M$, and $n \geq 1$, $G$ has a comeager $n$-diagonal conjugacy class iff the family of all $n$-tuples of $G$-extendable bijections between finitely generated substructures of $M$, has the joint embedding property and the weak amalgamation property. We characterize limits of weak Fraïssé classes that are not homogenizable. Finally, we investigate $1$- and $2$-diagonal conjugacy cl…
A maximal abelian normal subgroup A in a nilpotent group N is self-centralizing. This makes their role an important one in determining the structure of the nilpotent group. For example if A is finite then N is also finite. In the free nilpotent group of class 2 such a group is always a cyclic extension of the center. However this need not be true in an arbitrary finitely generated class two nilpotent group. We show that three generator nilpotent groups violating this condition can be easily found. However in the case when there are four or more generators certain conditions must hold.
In this paper we consider the problem of classification of the nilpotent class 2 finitely generated torsion free groups up to the geometric equivalence. By a very easy technique it is proved that this problem is equivalent to the problem of classification of the complete (in the Maltsev sense) nilpotent torsion free finite rank groups up to the isomorphism. This result, allows us to once more comprehend the complication of the problem of the classification of the quasi-varieties of nilpotent class 2 groups. It is well known that the variety of a nilpotent class s (for every s) groups is Noethe…
Let p be a prime number. We give the explicit structure of 2- nilpotent multiplier for each finite 2-generator p-group of class two. Moreover, 2-capable groups in that class are characterized.
Let $N$ be a finitely generated nilpotent group. Algorithm is constructed such, that for every automorphism $ϕ\in Aut(N)$ defines the Reidemeister number $R(ϕ).$ It is proved that any free nilpotent group of rank $r = 2$ or $r = 3$ and class $c \geq 4r,$ or rank $r \geq 4$ and class $c \geq 2r,$ belongs to the class $R_{\infty}.$
We give new characterizations to ensure that a free product of groups with amalgamation has a simple reduced group C*-algebra, and provide a concrete example of an amalgam with trivial kernel, such that its reduced group C*-algebra has a unique tracial state, but is not simple. Moreover, we show that there is a radical class of groups for which the reduced group C*-algebra of any group is simple precisely when the group has a trivial radical corresponding to this class.
A celebrated theorem of Curtis and Tits on groups with finite BN-pair shows that roughly speaking these groups are determined by their local structure. This result was later extended to Kac-Moody groups by P.~Abramenko and B.~Mühlherr. Their theorem states that a Kac-Moody group $G$ is the universal completion of an amalgam of rank two (Levi) subgroups, as they are arranged inside $G$ itself. Taking this result as a starting point, we define a Curtis-Tits structure over a given diagram to be an amalgam of groups such that the sub-amalgam corresponding to a two-vertex sub-diagram is the Curtis-…
We determine which amalgamated products of surface groups identified over multiples of simple closed curves are not fundamental groups of 3-manifolds. We prove each surface amalgam considered is virtually the fundamental group of a 3-manifold. We prove that each such surface group amalgam is abstractly commensurable to a right-angled Coxeter group from a related family. In an appendix, we determine the quasi-isometry classes among these surface amalgams and their related right-angled Coxeter groups.
We develop a cohomological method to classify amalgams of groups. We generalize this to simplicial amalgams in any concrete category. We compute the non-commutative 1-cohomology for several examples of amalgams defined over small simplices.
We establish sufficient conditions for the C$^*$-simplicity of two classes of groups. The first class is that of groups acting on trees, such as amalgamated free products, HNN-extensions, and their normal subgroups; for example normal subgroups of Baumslag-Solitar groups. The second class is that of fundamental groups of compact 3-manifolds, related to the first class by their Kneser-Milnor and JSJ-decompositions. Much of our analysis deals with conditions on an action of a group $Γ$ on a tree $T$ which imply the following three properties: abundance of hyperbolic elements, better called stron…
It has recently been proved that the class of unital exact C*-algebras is closed under taking reduced amalgamated free products. In particular, this implied that the class of exact discrete groups is closed under taking amalgamated free products. Here a proof is presented of a special case: that the class of exact discrete groups is closed under taking free products (with amalgamation over the identity element). The proof of this special case is considerably simpler than in full generality.
The class of all subdirectly irreducible groups belonging to a variety generated by a finite nilpotent group can be axiomatised by a finite set of elementary sentences.
We check that the connected centralisers of nilpotent elements in the orthogonal and symplectic groups have Levi decompositions in even characteristic. This provides a justification for the identification of the isomorphism classes of the reductive quotients as stated in [Liebeck, Seitz; Unipotent and Nilpotent Classes in Simple Algebraic Groups and Lie Algebras].
Let $\mathcal{X}_S$ denote the class of spaces homeomorphic to two closed orientable surfaces of genus greater than one identified to each other along an essential simple closed curve in each surface. Let $\mathcal{C}_S$ denote the set of fundamental groups of spaces in $\mathcal{X}_S$. In this paper, we characterize the abstract commensurability classes within $\mathcal{C}_S$ in terms of the ratio of the Euler characteristic of the surfaces identified and the topological type of the curves identified. We prove that all groups in $\mathcal{C}_S$ are quasi-isometric by exhibiting a bilipschitz …
We classify the nilpotent Lie rings of order $p^8$ with maximal class for $p \ge 5$. This also provides a classification of the groups of order $p^8$ with maximal class for $p \ge 11$ via the Lazard correspondence.
In this paper we introduce the concept of a Cayley graph automatic group (CGA group or graph automatic group, for short) which generalizes the standard notion of an automatic group. Like the usual automatic groups graph automatic ones enjoy many nice properties: these group are invariant under the change of generators, they are closed under direct and free products, certain types of amalgamated products, and finite extensions. Furthermore, the Word Problem in graph automatic groups is decidable in quadratic time. However, the class of graph automatic groups is much wider then the class of auto…
We describe the structure of the automorphism groups of algebras Morita equivalent to the first Weyl algebra $ A_1 $. In particular, we give a geometric presentation for these groups in terms of amalgamated products, using the Bass-Serre theory of groups acting on graphs. A key rôle in our approach is played by a transitive action of the automorphism group of the free algebra $ \c < x, y > $ on the Calogero-Moser varieties $ \CC_n $ defined in \cite{BW}. Our results generalize well-known theorems of Dixmier and Makar-Limanov on automorphisms of $ A_1 $, answering an old question of Stafford (s…
