Year: 2023
Type: article
Abstract: In this 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 defining relations. We show that the obtained ring is non-trivial. Moreover, we show that this ring enjoys a global filtration that agrees with relations, find a basis of the ring as a linear space and establish the corresponding structure theorems. We also provide a revision of a concept of Gröbner basis for our rings and establish a greedy algorithm for the Ideal Membership Problem.
Authors: A. Atkarskaya, A. Kanel-Belov, E. Plotkin, E. Rips
Language: English
Topic: Rings, Modules, and Algebras
Subfield: Algebra and Number Theory
Field: Mathematics
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W3092434027