Related papers: Typability in partial groupoids

We introduce and study a relative cancellation property for associative algebras. We also prove a characterization result for polynomial rings which partially answers a question of Kraft.

Computations in the cohomology of finite groups.

We prove some anologues for algebras of recent group-theoretic results (due to Khukhro, Klyachko, Makarenko, Milentyeva, and Shumyatsky) on large characteristic subgroups satisfying a given property.

Let $A$ be an additively cancellative semialgebra over an additively cancellative semifield $K$ as defined in [9]. For a given partial action $\alpha$ of a group $G$ on an algebra, the associativity of partial skew group ring together with…

We give a few properties equivalent to the Bloch-Kato conjecture (now the norm residue isomorphism theorem).

In this work, the notion of a twisted partial Hopf action is introduced as a unified approach for twisted partial group actions, partial Hopf actions and twisted actions of Hopf algebras. The conditions on partial cocycles are established…

We work out the theory of fractional isomorphism of graphons as a generalization to the classical theory of fractional isomorphism of finite graphs. The generalization is given in terms of homomorphism densities of finite trees and it is…

In this paper, we construct a combinatorial algebra of partial isomorphisms that gives rise to a "projective limit" of the centers of the group algebras C[GL(n,Fq)]. It allows us to prove a GL(n,Fq)-analogue of an old theorem of Farahat and…

We give a new characterization of partial groups as a subcategory of symmetric (simplicial) sets. This subcategory has an explicit reflection, which permits one to compute colimits in the category of partial groups. We also introduce the…

In this paper we suggest a definition for a C*-algebra attached to an injective morphism of some \'Etale groupoid. We take into account all the peculiarities of such objects and present some interesting relations with already well-known…

We construct a braided structure on the algebra of K\"ahler differential forms of a commutative algebra twisted by an endomorphism. This generalises the construction done in M. Karoubi, Quantum Methods in Algebraic Topology, see…

A new algebraic treatment of dependent type theory is proposed using ideas derived from topos theory and algebraic set theory.

We extend to semi-abelian categories the notion of characteristic subobject, which is widely used in group theory and in the theory of Lie algebras. Moreover, we show that many of the classical properties of characteristic subgroups of a…

We investigate the concept of definable, or inner, automorphism in the logical setting of partial Horn theories. The central technical result extends a syntactical characterization of the group of such automorphisms (called the covariant…

We prove a theorem of Tits type about automorphism groups for compact Kahler manifolds, which has been conjectured in the paper [KOZ].

I show how to associate a Clifford algebra to a graph. I describe the structure of these Clifford graph algebras and provide many examples and pictures. I describe which graphs correspond to isomorphic Clifford algebras and also discuss…

We investigate the algebra of an ample groupoid, introduced by Steinberg, over a semifield S. In particular, we obtain a complete characterization of congruence-simpleness for Steinberg algebras of second-countable ample groupoids,…

Working in any model theoretic structure, we single out a class of definable bipartite graphs that admit definable, close to perfect matchings. We use this result to prove a strengthening of Tarski's theorem for the definable setting.

In the paper, a method of describing the outer derivations of the group algebra of a finitely presentable group is given. The description of derivations is given in terms of characters of the groupoid of the adjoint action of the group.

We present some plausible definitions for the tangent grupoid of a manifold M, as well as some of the known applications of the structure. This is a kind of introductory note.