Related papers: Walker's cancellation theorem

Walker's Cancellation theorem for abelian groups tells us that if $A$ is finitely generated and $G$ and $H$ are such that $A \oplus G \cong A \oplus H$, then $G \cong H$. Michael Deveau showed that the theorem can be effectivized, but not…

A long standing problem, which has its roots in low-dimensional homotopy theory, is to classify all finite groups $G$ for which the integral group ring $\mathbb{Z}G$ has stably free cancellation (SFC). We extend results of R. G. Swan by…

We obtain a partial classification of the finite groups $G$ for which the integral group ring $\mathbb{Z} G$ has projective cancellation, i.e. for which $P \oplus \mathbb{Z} G \cong Q \oplus \mathbb{Z} G$ implies $P \cong Q$ for projective…

The theory of small cancellation groups is well known. In this paper we introduce the notion of Group-like Small Cancellation Ring. This is the main result of the paper. We define this ring axiomatically, by generators and defining…

We study the positive theory of groups acting on trees and show that under the presence of weak small cancellation elements, the positive theory of the group is trivial, i.e. coincides with the positive theory of a non-abelian free group.…

We prove that a group obtained as a quotient of the free product of finitely many cubulable groups by a finite set of relators satisfying the classical $C'(1/6)$--small cancellation condition is cubulable. This yields a new large class of…

Let B be a unital C*-algebra, let A be a unital subalgebra, and let E be a conditional expectation from B to A with index-finite type and a quasi-basis of n elements. Then the topological stable rank satisfies \tsr (B) \leq \tsr (A) + n -…

An abelian group $A$ is said to be cancellable if whenever $A \oplus G$ is isomorphic to $A \oplus H$, $G$ is isomorphic to $H$. We show that the index set of cancellable rank 1 torsion-free abelian groups is $\Pi^0_4$ $m$-complete, showing…

In the present paper we develop a small cancellation theory for associative algebras with a basis of invertible elements. Namely, we study quotients of a group algebra of a free group and introduce three axioms for the corresponding…

We prove a connexity theorem for abelian varieties in characteristic $0$: if $X$ is an abelian variety and $V\rightarrow X$ and $W\rightarrow X$ two morphisms, then, under certain hypotheses, the fiber product of $V$ and $W$ over $X$ is…

Controlled topology is one of the main tools for proving the isomorphism conjecture concerning the algebraic $K$-theory of group rings. In this article we dive into this machinery in two examples: when the group is infinite cyclic and when…

We give a new proof of the main theorem in the theory of C(6) small cancellation complexes. We prove the fundamental theorem of cubical small cancellation theory for C(9) cubical small cancellation complexes.

We show that finite Milnor-Witt correspondences satisfy a cancellation theorem with respect to the pointed multiplicative group scheme. This has several notable applications in the theory of Milnor-Witt motives and Milnor-Witt motivic…

We show that the category of motivic spaces with transfers along finite flat morphisms, over a perfect field, satisfies all the properties we have come to expect of good categories of motives. In particular we establish the analog of…

The Isomorphism Conjecture is a conceptional approach towards a calculation of the algebraic K-theory of a group ring RG, where G is an infinite group. In this paper we prove the conjecture in dimensions n<2 for fundamental groups of closed…

Let $A$ be a separable simple exact ${\cal Z}$-stable $C^*$-algebra. We show that the unitay group of ${\tilde A}$ has the cancellation property. If $A$ has continuous scale, the Cuntz semigroup of $\tilde A$ has the strict comparison…

Let $X$ and $X'$ be affine algebraic varieties over a field $\mathbb{k}$. The celebrated Zariski Cancellation Problem asks as to when the existence of an isomorphism $X\times\mathbb{A}^n\cong X'\times\mathbb{A}^n$ implies $X\cong X'$. In…

The cancellation problem asks if two complex algebraic varieties X and Y of the same dimension such that X\times\mathbb{C} and Y\times\mathbb{C} are isomorphic are isomorphic. Iitaka and Fujita established that the answer is positive for a…

We extend fundamental results of small cancellation theory to groups whose presentations satisfy the generalizations of the classical C(6) and C(7) conditions in graphical small cancellation theory. Using these graphical small cancellation…

An unital C*-algebra A is said to have cancellation of projections if the semigroup D(A) of Murray-von Neumann equivalence classes of projections in matrices over A is cancellative. It has long been known that stable rank one implies…