Related papers: The epimorphism relation among countable groups is…

We show that for any countable homogeneous ordered graph $G$, the conjugacy problem for automorphisms of $G$ is Borel complete. In fact we establish that each such $G$ satisfies a strong extension property called ABAP, which implies that…

This article proves the existence of completely positive quasimultiplicative maps from the group algebra of imprimitive reflection groups to the set of bounded operators, and uses those linear maps to define creation and annihilation…

We investigate the complexity of isomorphism relations for classes of finitely generated and n-generated computably enumerable (c.e.) algebras, presented via c.e. presentations -- that is, as quotients of term algebras over decidable sets…

By definition, a group $G$ is quasi-perfect, if $G$ is perfect or the commutator subgroup of $G$ is perfect. In this note we give a description of quasi-perfect Dyer groups by properties of the corresponding Dyer graphs.

In this paper we prove that, in the category of chain complexes, partial algebras can be functorially replaced by quasi-isomorphic algebras. In particular, partial algebras contain all of the important homological and homotopical…

We show that the endomorphisms of a compact connected group that extend to endomorphisms of every compact overgroup are precisely the trivial one and the inner automorphisms; this is an analogue, for compact connected groups, of results due…

In this paper, we develop an Isabelle/HOL library of order-theoretic fixed-point theorems. We keep our formalization as general as possible: we reprove several well-known results about complete orders, often with only antisymmetry or…

A morphism of linear algebraic groups $\phi:K\rightarrow G$ is called an epimorphism if it admits right cancellation. A subgroup $H\leq G$ is epimorphic if the inclusion map is an epimorphism. For $G$ a simple algebraic group over an…

We improve a result of Prokhorov and Shramov on the rank of finite $p$-subgroups of the birational automorphism group of a rationally connected variety. Known examples show that they are sharp in many cases.

Abelian groups having partial orderings compatible with their binary operations have long been studied in the literature. In particular, lattice-ordered abelian groups constitute a universal-algebraic variety, and thus form a category which…

We construct a correspondence between epimorphisms $\varphi \colon \pi_1(M) \to F_r$ from the fundamental group of a compact manifold $M$ onto the free group of rank $r$, and systems of $r$ framed non-separating hypersurfaces in $M$, which…

We prove that the automorphism group of a general complete intersection $X$ in a projective space is trivial with a few well-understood exceptions. We also prove that the automorphism group of a complete intersection $X$ acts on the…

We consider endomorphism actions of arbitrary discrete semigroups on a connected metrizable topological group G. We give necessary and sufficient conditions for expansiveness of such actions when G is a Lie group or a compact…

We prove that a homomorphism between free groups of finite rank equipped with the bi-invariant word metrics is a quasi-isometry if and only if it is an isomorphism.

For a group $G$, we construct a quasi morphism from its left orderings and the map from the space of left orderings to the second bounded cohomology. We show that these maps reflect various properties of the group orderings.

Planar locally finite graphs which are almost vertex transitive are discussed. If the graph is 3-connected and has at most one end then the group of automorphisms is a planar discontinuous group and its structure is well-known. A general…

The presented material is devoted to the equivalent conversion from the vertex graphs to the edge graphs. We suggest that the proved theorems solve the problem of the isomorphism of graphs, the problem of the graph's enumeration with the…

In this paper, we extend the ideas of graph pebbling to oriented graphs and find a classification for all graphs with fully traversable pebbling assignments that are isomorphic to their assignment graph. We then give some cases in which a…

We consider groups of orientation-preserving real analytic diffeomorphisms of the circle which have a finite image under the rotation number function. We show that if such a group is nondiscrete with respect to the $C^1$-topology then it…

It is proved that the relation of isomorphism between separable Banach spaces is a complete analytic equivalence relation, i.e., that any analytic equivalence relation Borel reduces to it. Thus, separable Banach spaces up to isomorphism…