Related papers: Co-Hopfian virtually free groups and elementary eq…

We prove that the Andre-Quillen homology and cohomology modules of F-finite Z(p)-algebras are finitely generated.

For any finite group Q not of prime power order, we construct a group G that is virtually of type F, contains infinitely many conjugacy classes of subgroups isomorphic to Q, and contains only finitely many conjugacy classes of other finite…

V.I. Kopeiko proved that over a euclidean ring, the symplectic group defined with respect to the standard skew-symmetric matrix is same as the elementary symplectic group. Here we generalise the result of Kopeiko for a symplectic group…

We obtain a homological characterisation of virtually free-by-cyclic groups among groups that are hyperbolic and virtually compact special. As a consequence, we show that many groups known to be coherent actually possess the stronger…

It is proved that all finitely generated subgroups of generalized free product of two groups are finitely separable provided that free factors have this property and amalgamated subgroups are normal in corresponding factors and satisfy the…

It is shown that any finitely generated non-elementary Fuchsian group has among its homomorphic images all but finitely many of the alternating groups. This settles in the affirmative a conjecture of Graham Higman.

If G is a semidirect product N by H with N normal and finitely generated then G has the property that every finite group is a quotient of some finite index subgroup of G if and only if one of N and H has this property. This has applications…

For a torsion free finitely generated nilpotent group G we naturally associate four finite dimensional nilpotent Lie algebras over a field of characteristic zero. We show that if G is a relatively free group of some variery of nilpotent…

It is well known that if two finite groups have the same symmetric tensor categories of representations over C, then they are isomorphic. We study the following question: when do two finite groups G1,G2 have the same tensor categories of…

We prove the quasi-Hopf algebra version of the Nichols-Zoeller theorem: A finite-dimensional quasi-Hopf algebra is free over any quasi-Hopf subalgebra.

In this paper, we prove that the semigroups of invertible matrices with nonnegative elements over linearly oredered associative rings are elementarily equivalent if and only if the matrices have the same dimension and the rings are…

Consider unbounded reduced Abelian p-groups (p > 2) A and A'. In this paper, we prove that if the automorphism groups Aut A and Aut A' are elementary equivalent then the groups A and A' are equivalent in the second order logic bounded by…

Every countable group $G$ can be embedded in a finitely generated group $G^*$ that is hopfian and complete, i.e. $G^*$ has trivial centre and every epimorphism $G^*\to G^*$ is an inner automorphism. Every finite subgroup of $G^*$ is…

We prove that under a symmetry assumption all cocycles on Hopf *-algebras arise from generating functionals. This extends earlier results of R.Vergnioux and D.Kyed and has two quantum group applications: all quantum L\'evy processes with…

We exhibit two finitely generated residually finite groups $G$ and $H$ with isomorphic profinite completions $\widehat{G} \cong \widehat{H}$, such that $G$ is co-Hopfian while $H$ is not. The construction utilizes Wise's residually finite…

We prove that if a finite group $G$ has a representation with fixity $f$, then it acts freely and homologically trivially on a finite CW-complex homotopy equivalent to a product of $f+1$ spheres. This shows, in particular, that every finite…

Fiedorowicz suggested that it was likely that every finite simply connected CW complex is homotopy equivalent to the classifying space of a finite semigroup. We prove that every finite wedge of simply connected Moore spaces of finitely…

We prove that all finitely generated fully residually free groups (limit groups) have a sequence of finite dimensional unitary representations that `strongly converge' to the regular representation of the group. The corresponding statement…

We give a general framework of equivariant model category theory. Our groups G, called Hopf groups, are suitably defined group objects in any well-behaved symmetric monoidal category V. For any V, a discrete group G gives a Hopf group,…

We construct a "diagonal" cofibrantly generated model structre on the category of simplicial objects in the category of topological categories sCat_{Top}, which is the category of diagrams [\Delta^{op}, Cat_{Top}]. Moreover, we prove that…