Related papers: On identities in Thompson's group

We describe a procedure for constructing a generalized Thompson group out of a family of groups that is equipped with what we call a cloning system. The previously known Thompson groups F, V, Vbr and Fbr arise from this procedure using,…

By extending type theory with a universe of definitionally associative and unital polynomial monads, we show how to arrive at a definition of opetopic type which is able to encode a number of fully coherent algebraic structures. In…

The so-called Tits class, associated to an adjoint absolutely almost simple algebraic group, provides a cohomological obstruction for this group to admit an outer automorphism. If the group has inner type, this obstruction is the only one.…

In this short note we present a simple combinatorial trick which can be effectively applied to show the non--existence of sharply transitive sets of permutations in certain finite permutation groups.

We identify the obstructions for the functoriality and the uniqueness of the totalization functor, (partially) defined on the category of simplicial objects in the homotopy category of a stable model category, and we use a result from the…

We introduce a class of inverse monoids that can be regarded as non-commutative generalizations of Boolean algebras. These inverse monoids are related to a class of \'etale topological groupoids, under a non-commutative generalization of…

Let G be a group and H be a subgroup of G which is either finite or of finite index in G. In this note, we give some characterizations for normality of H in G. As a consequence we get a very short and elementary proof of the Main Theorem of…

We show that representations of the Thompson group $F$ in the automorphisms of a noncommutative probability space yield a large class of bilateral stationary noncommutative Markov processes. As a partial converse, bilateral stationary…

We show that for a large class of varieties of algebras, the equational theory of the congruence lattices of the members is not finitely based.

In this paper, we prove that if two finite groups G and H have isomorphic Burnside rings, then G and H are the same order type groups, and give an example to show that the Burnside rings of the same order type groups are not necessarily…

We show that the automorphism group of the disk complex is isomorphic to the handlebody group. Using this, we prove that the outer automorphism group of the handlebody group is trivial.

We generalized the Lodha-Moore group into $n$-adic and showed analogues in the Lodha-Moore group of properties between the Thompson group $F$ and the generalized Thompson group $F(n)$.

A theorem of Thompson provides a non-self-adjoint variant of the classical Schur-Horn theorem by characterizing the possible diagonal values of a matrix with given singular values. We prove an analogue of Thompson's theorem for II_1…

For a finite group $G$ denote by $N(G)$ the set of conjugesy class sizes of $G$. We show that every finite group $G$ with the property $N(G)=N(Alt_n), n>4$ or $N(G)=N(Sym_n), n>22$ is non-solvable.

The Neretin group $\mathcal{N}_{d,k}$ is the totally disconnected locally compact group consisting of almost automorphisms of the tree $\mathcal{T}_{d,k}$. This group has a distinguished open subgroup $\mathcal{O}_{d,k}$. We prove that this…

We prove the decidability of the elementary theory of a free group.

The aim of this paper is to introduce a group containing the mapping class groups of all genus zero surfaces. Roughly speaking, such a group is intended to be a discrete analogue of the diffeomorphism group of the circle. One defines indeed…

We show that the \s{\phi}-labeled Thompson groups and the twisted Brin--Thompson groups are boundedly acyclic. This allows us to prove several new embedding results for groups. First, every group of type $F_n$ embeds quasi-isometrically…

We analyze certain subgroups of real and complex forms of the Lie group E8, and deduce that any "Theory of Everything" obtained by embedding the gauge groups of gravity and the Standard Model into a real or complex form of E8 lacks certain…

Let $\Gamma$ be either the mapping class group of a closed surface of genus $\geq 2$, or the automorphism group of a free group of rank $\geq 3$. Given any homological representation $\rho$ of $\Gamma$ corresponding to a finite cover, and…