Related papers: Enumeration of Bi-commutative AG-groupoids

The purpose of this paper is to study the generalization of inverse semigroups (without order). An ordered semigroup S is called an inverse ordered semigroup if for every a 2 S, any two inverses of a are H-related. We prove that an ordered…

We propose a definition of compact quantum groupoids in the setting of C*-algebras, associate to such a quantum groupoid a regular C*-pseudo-multiplicative unitary, and use this unitary to construct a dual Hopf C*-bimodule and to pass to a…

This is an introduction for algebraists to the theory of algebras and Hopf algebras in braided categories. Such objects generalise super-algebras and super-Hopf algebras, aswell as colour-Lie algebras. Basic facts about braided categories C…

Let $A$ be an $n$-dimensional algebra over a field $k$ and $a(A)$ its quantum symmetry semigroup. We prove that the automorphisms group ${\rm Aut}_{\rm Alg} (A)$ of $A$ is isomorphic to the group $U \bigl( G(a (A)^{\rm o} ) \bigl)$ of all…

Let $G$ be a commutative algebraic group defined over a number field $K$ that is disjoint over $K$ to $\mathbb G_a$ and satisfies the condition of semistability. Consider a linear form $l$ on the Lie algebra of $G$ with algebraic…

Action Lie groupoids are used to model spaces of orbits of actions of Lie groups on manifolds. For each such action groupoid $M\rtimes H$ we construct a locally convex bialgebroid $\mathord{\mathrm{Dirac}}(M\rtimes H)$ with an antipode over…

Right feeble groups are defined as groupoids $(X,*)$ such that (i) $x, y\in X$ implies the existence of $a, b \in X$ such that $a*x = y$ and $b*y = x$. Furthermore, (ii) if $x, y, z \in X$ then there is an element $w\in X$ such that…

This is Part II in our multi-part series of papers developing the theory of a subclass of locally compact quantum groupoids ("quantum groupoids of separable type"), based on the purely algebraic notion of weak multiplier Hopf algebras. The…

Inspired by the work of Paterson on $C^{\ast}$-algebras of directed graphs, we show how to associate a groupoid $\mathfrak{G}_{\mathcal{G}}$ to an ultragraph $\mathcal{G}$ in such a way that the $C^*$-algebra of $\mathfrak{G}_{\mathcal{G}}$…

For a Lie groupoid G over a smooth manifold M we construct the adjoint action of the etale Lie groupoid G# of germs of local bisections of G on the Lie algebroid g of G. With this action, we form the associated convolution…

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…

An answer to the question investigated in this paper brings a new characterization of internal groupoids such that: (a) it holds even when finite limits are not assumed to exist; (b) it is a full subcategory of the category of…

We define a general notion of abstract double Lie algebroid. We show (1) that the double Lie algebroid of a double Lie groupoid is a double Lie algebroid in this sense; (2) that the double cotangent constructed from Lie algebroid structures…

A classical theorem states that the group of automorphisms of a manifold $M$ preserving a $G$-structure of finite type is a Lie group. We generalize this statement to the category of $cs$ manifolds and give some examples, some of which…

We say that a group G is a cube group if it is generated by a set S of involutions such that the corresponding Cayley graph Cay(G,S) is isomorphic to a cube. Equivalently, G is a cube group if it acts on a cube such that the action is…

We call a unital locally convex algebra $A$ a continuous inverse algebra if its unit group $A^\times$ is open and inversion is a continuous map. For any smooth action of a, possibly infinite-dimensional, connected Lie group $G$ on a…

We generalise the construction of the Lie algebroid of a Lie groupoid so that it can be carried out in any tangent category. First we reconstruct the bijection between left invariant vector fields and source constant tangent vectors based…

A crossed module is (A,H,d,\la) where d:A\to H is a homomorphism of groups and H acts on A, with conditions leading to a groupoid A\lcross H{\to\atop \to}H as an example of a strict 2-group. We give the corresponding notion of a quantum…

Bicommutative algebras are nonassociative algebras satisfying the polynomial identities of right- and left-commutativity (xy)z=(xz)y and x(yz)=y(xz). We study subvarieties of the variety of all bicommutative algebras over a field of…

Motivated by some alternatives to the classical logical model of boolean algebra, this paper deals with algebraic structures which extend skew lattices by locally invertible elements. Following the meme of the Ehresmann-Schein-Nambooripad…