Related papers: Small cancelation rings

In this paper, we describe an algorithm that efficiently collect relations in class groups of number fields defined by a small defining polynomial. This conditional improvement consists in testing directly the smoothness of principal ideals…

We generalize the graphical small cancellation theory of Gromov to a graphical small cancellation theory over the free product. We extend Gromov's small cancellation theorem to the free product. We explain and generalize Rips-Segev's…

We consider the logic space of countable (enumerated) groups and show that closed subspaces corresponding to some standard classes of groups have (do not have) generic groups. We also discuss the cases of semigroups and associative rings.

We study the two dual notions of prime avoidance and prime absorbance. We generalize the classical prime avoidance lemma to radical ideals. A number of new criteria are provided for an abstract ring to be C.P. (every set of primes satisfies…

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 -…

We provide examples of classical small-cancellation groups which have non-sigma-compact Morse boundary. These are first known examples of groups with non-sigma-compact Morse boundary. Some small-cancellation groups do have sigma-compact…

We define the graph minor category and prove that the category of contravariant representations of the graph minor category over a Noetherian ring is locally Noetherian. This can be regarded as a categorification of the Robertson--Seymour…

The fusion rules and modular matrix of a rational conformal field theory obey a list of properties. We use these properties to classify rational conformal field theories with not more than six primary fields and small values of the fusion…

A notion of one-dimensional formal ring is presented. It consists of a triple $(A,\Phi,\Psi)$ where $A$ is a unital ring and $\Phi$ and $\Psi$ are two formal power series in $2$ variables ${\Phi(x,y),\Psi(x,y)\in A\llbracket…

Let $G$ be a group given by the presentation [<a_1,...,a_k,b_1,... b_k\,| a_i=u_i(\bar b), b_i=v_i(\bar a) \hbox{for} 1\le i\le k>,] where $k\ge 2$ and where the $u_i\in F(b_1,..., b_k)$ and $w_i\in F(a_1,..., a_k)$ are random words.…

We study relationships between certain algebraic properties of groups and rings definable in a first order structure or $*$-closed in a compact $G$-space. As a consequence, we obtain a few structural results about $\omega$-categorical rings…

Questions of set-theoretic size play an essential role in category theory, especially the distinction between sets and proper classes (or small sets and large sets). There are many different ways to formalize this, and which choice is made…

We describe the K-ring of the classifying space of the generalized quaternion group in terms of generators and the minimal set of relations. We also compute the order of the main generator in the truncated rings.

In this paper we present the first-ever computer formalization of the theory of Gr\"obner bases in reduction rings, which is an important theory in computational commutative algebra, in Theorema. Not only the formalization, but also the…

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 consider a circle of ideas involving differential algebra, local Noetherian rings, and their generic formal fibers. Connecting these ideas gives rise to what we term a "twisted" subring $R$ of a ring $S$. Each such subring $R$ arises as…

Supersymmetric states in M-theory are mapped after compactification to perturbatively non-supersymmetric states in type IIA string theory, with the supersymmetric parts being encoded in the non-perturbative section of the string theory. An…

We extend the classical notion of standardly stratified $k$-algebra (stated for finite dimensional $k$-algebras) to the more general class of rings, possibly without $1,$ with enough idempotents. We show that many of the fundamental…

A computational theory for clustering and a semi-supervised clustering algorithm is presented. Clustering is defined to be the obtainment of groupings of data such that each group contains no anomalies with respect to a chosen grouping…

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…