Related papers: Walker's cancellation theorem

We generalize the small cancellation theory over hyperbolic groups developed by Olshanskii to the case of relatively hyperbolic groups. This allows us to construct infinite finitely generated groups with exactly $n$ conjugacy classes for…

We investigate the class of root systems $R$ obtained by extending an $A_1$-type irreducible root system by a free abelian group $G$. In this context there is a Weyl group $W$ and a group $U$ with the presentation by conjugation. Both…

Let A be a ring of dimension d and let P be a projective A-module of rank d. We prove that if for every finite extension R of A, R^d is cancellative, then P is cancellative. This gives an alternate proof of Bhatwadekar's result: every…

Whitney's broken circuit theorem gives a graphical example to reduce the number of the terms in the sum of the inclusion-exclusion formula by a predicted cancellation. So far, the known cancellations for the formula strongly depend on the…

Let $V$ and $W$ be finite dimensional real vector spaces and let $G\subset\GL(V)$ and $H\subset\GL(W)$ be finite subgroups. Assume for simplicity that the actions contain no reflections. Let $Y$ and $Z$ denote the real algebraic varieties…

Let $\mathcal{G}$ be a countably infinite group of unitary operators on a complex separable Hilbert space $H$. Let $X = \{x_{1},...,x_{r}\}$ and $Y = \{y_{1},...,y_{s}\}$ be finite subsets of $H$, $r < s$, $V_{0} = \bar{span}…

If $A$, $B$, $C$ are subsets in a finite simple group of Lie type $G$ at least two of which are normal with $|A||B||C|$ relatively large, then we establish a stronger conclusion than $ABC = G$. This is related to a theorem of Gowers and is…

The null vectors of an arbitrary highest weight representation of the $WA_2$ algebra are constructed. Using an extension of the enveloping algebra by allowing complex powers of one of the generators, analysed by Kent for the Virasoro…

We investigate several properties of Kronecker (direct, tensor) products of graphs that are planar and $3$-connected (polyhedral, $3$-polytopal). This class of graphs was recently characterised and constructed by the second author [15]. Our…

By a transfer principle Pascal's Theorem is equivalent to a theorem about point pairs on the real line. It appears that Pascal's Theorem is equivalent to the vanishing of a common invariant of six quadratic forms. Using the q-deformed…

We establish connections between the concepts of Noetherian, regular coherent, and regular n-coherent categories for Z-linear categories with finitely many objects and the corresponding notions for unital rings. These connections enable us…

We generalize a version of small cancellation theory to the class of acylindrically hyperbolic groups. This class contains many groups which admit some natural action on a hyperbolic space, including non-elementary hyperbolic and relatively…

In this note, we give a proof of the famous theorem of M. Morse dealing with the cancellation of a pair of non-degenerate critical points of a smooth function. Our proof consists of a reduction to the one-dimensional case where the question…

We prove that if two finite metacyclic groups have isomorphic rational group algebras, then they are isomorphic. This contributes to understand where is the line separating positive and negative solutions to the Isomorphism Problem for…

Consider an absolutely simple abelian variety A defined over a number field K. For most places v of K, we study how the reduction A_v of A modulo v splits up to isogeny. Assuming the Mumford-Tate conjecture for A and possibly increasing K,…

Let k be an infinite perfect field of positive characteristic p and assume that strong resolution of singularities holds over k. We prove that, if X is a d-dimensional noetherian scheme whose underlying reduced scheme is essentially of…

We give a counterexample to a conjecture by Miasnikov, Ventura and Weil, stating that an extension of free groups is algebraic if and only if the corresponding morphism of their core graphs is onto, for every basis of the ambient group. In…

Many results have been established that show how arithmetic conditions on conjugacy class sizes affect group structure. A conjugacy class in $G$ is called vanishing if there exists some irreducible character of $G$ which evaluates to zero…

The celebrated Wedderburn-Artin theorem states that a simple left artinian ring is isomorphic to the ring of matrices over a division ring. We give a short and self-contained proof which avoids the use of modules.

We prove the vanishing of bounded cohomology with separable dual coefficients for many groups of interest in geometry, dynamics, and algebra. These include compactly supported structure-preserving diffeomorphism groups of certain manifolds;…