English
Related papers

Related papers: Right-cancellable protomodular algebras

200 papers

We compare the concepts of protomodular and weakly protomodular objects within the context of unital categories. Our analysis demonstrates that these two notions are generally distinct. To establish this, we introduce left…

Category Theory · Mathematics 2025-11-11 Xabier García-Martínez , Andrea Montoli , Diana Rodelo , Tim Van der Linden

We define an algebraic group over a group $G$ to be a variety - that is, a subset of $G^d$ defined by equations over $G$ - endowed with a group law whose coordinates can be expressed as word maps. In the case where $G$ is a torsion-free…

Group Theory · Mathematics 2026-04-14 Vincent Guirardel , Chloé Perin

I investigate modal group theory for arbitrary homomorphisms. Possibility is interpreted by the existence of a group homomorphism out of the given group, so the semantics is governed by the possibility of collapse: elements may be…

Logic · Mathematics 2026-05-15 Wojciech Aleksander Wołoszyn

We show that the common theory of all modules over a tubular algebra (over a recursive algebraically closed field) is decidable. This result supports a long standing conjecture of Mike Prest which says that a finite-dimensional algebra…

Logic · Mathematics 2024-12-23 Lorna Gregory

We prove that the isomorphism problem for group algebras reduces to group algebras over finite extensions of the prime field. In particular, the modular isomorphism problem reduces to finite modular group algebras.

Representation Theory · Mathematics 2023-07-11 Diego García-Lucas , Ángel del Río

An algebra is said to be quasi-directly finite when any left-invertible element in its unitization is automatically right-invertible. It is an old observation of Kaplansky that the von Neumann algebra of a discrete group has this property;…

Operator Algebras · Mathematics 2010-06-08 Yemon Choi

Regular algebraic $K$-theory for groups is a homology theory for discrete groups closely connected (but different from) group homology. It also gives a version of algebraic $K$-theory for rings by the simple functorial mapping assigning to…

K-Theory and Homology · Mathematics 2024-10-02 Ulrich Haag

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…

Rings and Algebras · Mathematics 2024-01-17 A. Atkarskaya , A. Kanel-Belov , E. Plotkin , E. Rips

The concept of a clone is central to many branches of mathematics, such as universal algebra, algebraic logic, and lambda calculus. Abstractly a clone is a category with two objects such that one is a countably infinite power of the other.…

Logic in Computer Science · Computer Science 2009-07-28 Zhaohua Luo

An algebraic quantum group is a multiplier Hopf algebra with integrals. In this paper we will develop a theory of algebraic quantum hypergroups. It is very similar to the theory of algebraic quantum groups, except that the comultiplication…

Rings and Algebras · Mathematics 2007-05-23 L. Delvaux , A. Van Daele

A series of associative algebras $A_n(V)$ for a vertex operator algebra $V$ over an arbitrary algebraically closed field and nonnegative integers $n$ are constructed such that there is a one to one correspondence between irreducible…

Quantum Algebra · Mathematics 2016-11-22 Li Ren

We survey the present trends in theory of universal arrows to forgetful functors from various categories of topological algebra and functional analysis to categories of topology and topological algebra. Among them are free topological…

funct-an · Mathematics 2008-02-03 Vladimir G. Pestov

In this paper we extend the idea of integration to generic algebras. In particular we concentrate over a class of algebras, that we will call self-conjugated, having the property of possessing equivalent right and left multiplication…

High Energy Physics - Theory · Physics 2016-11-23 Roberto Casalbuoni

We show that every algebraic group scheme over a field with at least 8 elements can be realized as the group of automorphisms of a nonassociative algebra. This is only a modest improvement of the theorem of Gordeev and Popov (2003), but it…

Algebraic Geometry · Mathematics 2022-12-26 James S Milne

We offer a complete classification of right coideal subalgebras which contain all group-like elements for the multiparameter version of the quantum group $U_q(\mathfrak{sl}_{n+1})$ provided that the main parameter $q$ is not a root of 1. As…

Quantum Algebra · Mathematics 2008-04-14 V. Kharchenko , A. V. Lara Sagahon

In this paper motivated by the celebrated fundamental theorem of algebra and its standard proof utilizing Liouville's Theorem, we prove the fundamental theorem of algebra type results for both commutative and noncommutative polynomials in…

Rings and Algebras · Mathematics 2024-02-29 Bamdad R. Yahaghi

We define the completion of an associative algebra $A$ in a set $M=\{M_1,\dots,M_r\}$ of $r$ right $A$-modules in such a way that if $\mathfrak a\subseteq A$ is an ideal in a commutative ring $A$ the completion $A$ in the (right) module…

Algebraic Geometry · Mathematics 2024-10-23 Arvid Siqveland

A super-modular category is a unitary pre-modular category with M\"uger center equivalent to the symmetric unitary category of super-vector spaces. Super-modular categories are important alternatives to modular categories as any unitary…

Quantum Algebra · Mathematics 2018-07-25 Parsa Bonderson , Eric C. Rowell , Qing Zhang , Zhenghan Wang

This article is a survey of conjectures and results on reductive algebraic groups having good reduction at a suitable set of discrete valuations of the base field. Until recently, this subject has received relatively little attention, but…

Number Theory · Mathematics 2020-08-18 Andrei S. Rapinchuk , Igor A. Rapinchuk

Given an associative, not necessarily commutative, ring R with identity, a formal matrix calculus is introduced and developed for pairs of matrices over R. This calculus subsumes the theory of homogeneous systems of linear equations with…

K-Theory and Homology · Mathematics 2009-09-03 Ivo Herzog