Related papers: Bianchi groups are conjugacy separable

We classify Algebraic Ricci Solitons of three-dimensional Lorentzian Lie groups. All algebraic Ricci solitons that we obtain are sol-solitons. In particular, we prove that, contrary to the Riemannian case, Lorentzian Ricci solitons need not…

We consider three families of groups: the Bianchi groups SL(2,O) where O is the ring of integers of an imaginary, quadratic field; the groups SL*(2,O) where O is a *-order of a definite, rational quaternion algebra with an orthogonal…

We prove that if a non-atomic separable Banach lattice in a weak Hilbert space, then it is lattice isomorphic to $L_2(0,1)$.

We establish the existence of two rigid triples of conjugacy classes in the algebraic group $G_{2}$ in characteristic $5$, complementing results of the second author with Liebeck and Marion. As a corollary, the finite groups $G_{2}(5^n)$…

We determine the normalizer in $SL_{2}(\mathbb{R})$ of several families of congruence subgroups of $SL_{2}(\mathbb{Z})$. In addition, we show how these tools can be used to evaluate the groups of automorphisms and the discriminant kernels…

We prove that fundamental groups of non-orientable 3-manifolds have a solvable conjugacy problem, and construct an algorithm. Together with our earlier work on the conjugacy problem in groups on orientable geometrizable 3-manifolds, all…

This paper gives an elementary proof of the result that the conjugacy classes of pairs (X,Y) of unimodular 2x2 complex matrices is an affine 3-space, parametrized by the traces of X, Y and XY. Identities for triples of elements of SL(2,C)…

We prove a simplicity criterion for certain twin tree lattices. It applies to all rank two Kac-Moody groups over finite fields with non-trivial commutation relations, thereby yielding examples of simple non-uniform lattices in the product…

General theory determines the notion of separable MV-algebra (equivalently, of separable unital lattice-ordered Abelian group). We establish the following structure theorem: An MV-algebra is separable if, and only if, it is a finite product…

We show that the subgroup lattice of any finite group satisfies Frankl's Union-Closed Conjecture. We show the same for all lattices with a modular coatom, a family which includes all supersolvable and dually semimodular lattices. A common…

We prove the Arad-Herzog conjecture for various families of finite simple groups- if A and B are nontrivial conjugacy classes, then AB is not a conjugacy class. We also prove that if G is a finite simple group of Lie type and A and B are…

In this paper we classify the finite groups satisfying the following property $P_4$: their orders of representatives are set-wise relatively prime for any 4 distinct non-central conjugacy classes.

We prove that the conjugacy problem in right-angled Artin groups (RAAGs), as well as in a large and natural class of subgroups of RAAGs, can be solved in linear-time. This class of subgroups contains, for instance, all graph braid groups…

We investigate Levi subgroups of a connected reductive algebraic group G, over a ground field K. We parametrize their conjugacy classes in terms of sets of simple roots and we prove that two Levi K-subgroups of G are rationally conjugate if…

We use information theory to study recovering sets $\R_L$ and strongly cancellative sets $\C_L$ on different lattices. These sets are special classes of recovering pairs and cancellative sets previously discussed in [1], [3] and [5]. We…

Although the conjugacy classes of the general linear group are known, it is not obvious (from the canonic form of matrices) that two permutation matrices are similar if and only if they are conjugate as permutations in the symmetric group,…

We prove noncoherence of certain families of lattices in the isometry group of the hyperbolic n-space for n greater than 3. For instance, every nonuniform arithmetic lattice in SO(n,1) is noncoherent, provided that n is at least 6.

Quandles are self-distributive, right-invertible, idempotent algebras. A group with conjugation for binary operation is an example of a quandle. Given a quandle $(Q, \ast)$ and a positive integer $n$, define $a\ast_n b = (\cdots (a\ast…

We classify the real and strongly real conjugacy classes in $GL_n(q)$, $SL_n(q)$, $PGL_n(q)$, $PSL_n(q)$, and all quasi-simple covers of $PSL_n(q)$. In each case we give a formula for the number of real, and the number of strongly real,…

We introduce and systematically study linear sofic groups and linear sofic algebras. This generalizes amenable and LEF groups and algebras. We prove that a group is linear sofic if and only if its group algebra is linear sofic. We show that…