Related papers: The groupoid-based logic for lattice effect algebr…
We develop a graphical notation to introduce classical Lie algebras. Although this paper deals with well-known results, our pictorial point of view is slightly different to the traditional one. Our graphical notation is fairly elementary…
We will define two ways to assign cohomology groups to effect algebras, which occur in the algebraic study of quantum logic. The first way is based on Connes' cyclic cohomology. The resulting cohomology groups are related to the state space…
We construct a geometric system from which the Hall algebra can be recovered. This system inherently satisfies higher associativity conditions and thus leads to a categorification of the Hall algebra. We then suggest how to use this…
Svenonius theorem reduces the problem of first-order definability to the problem of relationship between groups of permutations. In the present paper we use this approach to describe the lattice of definable relations for the structure of…
A symplectic Lie group is a Lie group with a left-invariant symplectic form. Its Lie algebra structure is that of a quasi-Frobenius Lie algebra. In this note, we identify the groupoid analogue of a symplectic Lie group. We call the…
This paper gives a $p$-adic analogue of the Mackey theory, which relates representations of a group of type $G=H\times_{t} A $ to systems of imprimitivity.
Some notions of algebraic geometry can be defined for arbitrary varieties of algebras. This leads to universal algebraic geometry. The main idea of the presented theory is to consider interactions between algebra, logic and geometry in…
Involutions of the Clifford algebra of a quadratic space induced by orthogonal symmetries are investigated.
Starting with some motivating examples (classical atlases for a manifold, space of leaves of a foliation, group orbits), we propose to view a Lie groupoid as a generalized atlas for the "virtual structure" of its orbit space, the…
In the two papers of this series, we initiate the development of a new approach to implementing the concept of symmetry in classical field theory, based on replacing Lie groups/algebras by Lie groupoids/algebroids, which are the appropriate…
We investigate the construction and properties of Clifford algebras by a similar manner as our previous construction of the octonions, namely as a twisting of group algebras of Z_2^n by a cocycle. Our approach is more general than the usual…
We fix a path model for the space of filters of the inverse semigroup $\mathcal{S}_\Lambda$ associated to a left cancellative small category $\Lambda$. Then, we compute its tight groupoid, thus giving a representation of its $C^*$-algebra…
Motivated by Quantum Mechanics considerations, we expose some cross product constructions on a groupoid structure. Furthermore, critical remarks are made on some basic formal aspects of the Hopf algebra structure.
Looking at some monoids and (semi)rings (natural numbers, integers and p-adic integers), and more generally, residually finite algebras (in a strong sense), we prove the equivalence of two ways for a function on such an algebra to behave…
The main purpose of this paper is to describe some published results and outline corresponding approaches which when applied to automorphism groups of algebras or groups establish that these groups are linear or non-linear.
In this paper we investigate the problem of which Lie algebras appear as the derived algebra of a Lie algebra. We present new results that further develop this study and address two questions raised in a paper concerned with the…
This article provides an algebraic study of intermediate inquisitive and dependence logics. While these logics are usually investigated using team semantics, here we introduce an alternative algebraic semantics and we prove it is complete…
An alternative proof of the completeness of relational algebra with respect to allowed formulas of first-order logic is presented. The proof relies on the well-known embedding of relational algebra into cylindric algebra, which makes it…
Two Lie algebroids are presented that are linked to the construction of the linearizing output of an affine in the input nonlinear system. The algorithmic construction of the linearizing output proceeds inductively, and each stage has two…
An elegant description of the general form of order automorphisms of effect algebras has been known in the complex case. We present a much simpler proof based on the projective geometry which works also in the real case. As an application…