Related papers: A construction of free digroup

The purpose of this note is to observe that a homomorphism of discrete groups $f:\Gamma\to G$ arises as the induced map $\pi_0(\mathfrak{M})\to \pi_0(\mathfrak{X})$ on path components of some closed normal inclusion of topological groups…

Two graphs are homomorphism indistinguishable over a graph class $\mathcal{F}$, denoted by $G \equiv_{\mathcal{F}} H$, if $\operatorname{hom}(F,G) = \operatorname{hom}(F,H)$ for all $F \in \mathcal{F}$ where $\operatorname{hom}(F,G)$…

In this short note we prove that the Farrell-Jones Fibered Isomorphism Conjecture in L-theory, after inverting 2, is true for a group whose some derived subgroup is free.

We prove that for arbitrary two finitely generated subgroups A and B having infinite index in a free group F, there is a subgroup H of finite index in B such that the subgroup generated by A and H has infinite index in F. The main corollary…

The process of replacing an arbitrary Boolean function by a bijective one, a fundamental tool in reversible computing and in cryptography, is interpreted algebraically as a particular instance of a certain group homomorphism from the X-fold…

Let $k$ be an arbitrary field of characteristic 0. We prove that the group of automorphisms of a free Poisson field $P(x,y)$ in two variables $x,y$ over $k$ is isomorphic to the Cremona group $\mathrm{Cr}_2(k)$. We also prove that the…

Let K be a number field, let A be a finite dimensional semisimple K-algebra and let Lambda be an O_K-order in A. It was shown in previous work that, under certain hypotheses on A, there exists an algorithm that for a given (left)…

We prove that if $\Gamma$ is a countable group without a subgroup isomorphic to $\mathbb{Z}^2$ that acts faithfully and minimally by orientation preserving homeomorphisms on the circle, then it has a free orbit. We give examples showing…

In this short note we prove that a definable set $X$ over $\mathbb F_n$ is superstable only if $X(\mathbb F_n)=X(\mathbb F_{\omega})$.

We show that a Fell bundle B = {B_t}_{t \in F}, over an arbitrary free group F, is amenable, whenever it is orthogonal (in the sense that B_x^* B_y = 0, if x and y are distinct generators of F) and semi-saturated (in the sense that B_{ts}…

We prove that the automorphism group of a Fra\"iss\'e structure M equipped with a notion of stationary independence is universal for the class of automorphism groups of substructures of M. Furthermore, we show that this applies to certain…

Let $X$ and $Y$ be spaces and $M$ be an abelian group. A homotopy invariant $f\colon [X,Y]\to M$ is called straight if there exists a homomorphism $F\colon L(X,Y)\to M$ such that $f([a])=F(\langle a\rangle)$ for all $a\in C(X,Y)$. Here…

We prove that every AF-algebra is isomorphic to a crossed product of a commutative AF-algebra by a partial automorphism. The case of UHF-algebras is treated in detail.

Given nontrivial finite groups $A$ and $B$, not both of order 2, we prove that every finite simple group of sufficiently large rank is an image of the free product $A \ast B$. To show this, we prove that every finite simple group of…

A continuous family of non-outer conjugate aperiodic automorphisms whose crossed-products are all isomorphic is given on every interpolated free group factor. An explicit "duality" relationship between compact co-commutative Kac algebra…

Let $V$ be a finite graph and let $\phi:V\rightarrow V$ be an irreducible train track map whose mapping torus has word-hyperbolic fundamental group $G$. Then $G$ acts freely and cocompactly on a CAT(0) cube complex.

Automorphic loops are loops in which all inner mappings are automorphisms. This variety of loops includes groups and commutative Moufang loops. A half-isomorphism $f : G \longrightarrow K$ between multiplicative systems $G$ and $K$ is a…

Let $G$ be the group of automorphisms of a free group $F_\infty$ of infinite order. Let $H$ be the stabilizer of first $m$ generators of $F_\infty$. We show that the double cosets of $\Gamma$ with respect to $H$ admit a natural semigroup…

A group is self-simulable if all its computable actions admit SFT covers, which means roughly that they can be implemented with finitely many tiling constraints. We prove that a graph product of infinite finitely-generated groups is…

This paper proves the following result: Assume $G$ is a triangle free planar graph, $X$ is an independent set of $G$. If $L$ is a list assignment of $G$ such that $\mid L(v)\mid = 4$ for each vertex $v \in V(G)-X$ and $\mid L(v)\mid = 3$…