相关论文: Semi-Cohen Boolean algebras

Term algebras are important objects in computer science and are correspondingly well-studied. A natural generalization is to quotient these algebras by finitely many ground term equations, obtaining what we call almost free algebras. One of…

For an effect algebra $A$, we examine the category of all morphisms from finite Boolean algebras into $A$. This category can be described as a category of elements of a presheaf $R(A)$ on the category of finite Boolean algebras. We prove…

A coset relation algebra is one embeddable into some full coset relation algebra, the latter is an algebra constructed from a system of groups, a coordinated system of isomorphisms between quotients of these groups, and a system of cosets…

Under some hypotheses (symmetry, confluence), we enumerate all quadratically presented algebras, generated by creation and destruction operators, in which number operators exist. We show that these are algebras of bosons, fermions, their…

We introduce and study a new class of algebras, which we name \textit{quantum generalized Heisenberg algebras} and denote by $\mathcal{H}_q (f,g)$, related to generalized Heisenberg algebras, but allowing more parameters of freedom, so as…

A set $A$ of integers is called total if there is an algorithm which, given an enumeration of $A$, enumerates the complement of $A$, and called cototal if there is an algorithm which, given an enumeration of the complement of $A$,…

Lie algebras are an important class of algebras which arise throughout mathematics and physics. We report on the formalisation of Lie algebras in Lean's Mathlib library. Although basic knowledge of Lie theory will benefit the reader, none…

We give a description of the connected graded algebras which are finitely generated and presented of global dimension 2 or 3 and which are Gorenstein. These algebras are constructed from multilinear forms. We generalize the construction by…

Starting with a given generalized boson algebra U_<q>(h(1)) known as the bosonized version of the quantum super-Hopf U_q[osp(1/2)] algebra, we employ the Hopf duality arguments to provide the dually conjugate function algebra Fun_<q>(H(1)).…

We prolonge the list of C*-algebras for which all extensions by any stable separable C*-algebra are semi-invertible. In particular, we handle certain amalgamations, both of C*-algebras and of groups. Concerning groups we consider both…

We develop the basic constructions of homological algebra in the (appropriately defined) unbounded derived categories of modules over algebras over coalgebras over noncommutative rings (which we call semialgebras over corings). We define…

A formal context consists of objects, properties, and the incidence relation between them. Various notions of concepts defined with respect to formal contexts and their associated algebraic structures have been studied extensively,…

Hom-Bol algebras are defined as a twisted generalization of (left) Bol algebras. Hom-Bol algebras generalize multiplicative Hom-Lie triple systems in the same way as Bol algebras generalize Lie triple systems. The notion of an $n$th derived…

Algebraic logic studies algebraic theories related to proposition and first-order logic. A new algebraic approach to first-order logic is sketched in this paper. We introduce the notion of a quantifier theory, which is a functor from the…

A graded-division algebra is an algebra graded by a group such that all nonzero homogeneous elements are invertible. This includes division algebras equipped with an arbitrary group grading (including the trivial grading). We show that a…

We introduce a family of dense subalgebras of the Toeplitz algebra and give conditions under which our algebras are quasi-free. As a corollary, we show that the smooth Toeplitz algebra introduced by Cuntz is quasi-free.

We present a comonadic approach to pretorsion theories on semiexact categories, i.e. categories equipped with a closed ideal of null morphisms that admits all kernels and all cokernels. We first prove that bihereditary pretorsion theories…

Quantum algebras are a mathematical tool which provides us with a class of symmetries wider than that of Lie algebras, which are contained in the former as a special case. After a self-contained introduction to the necessary mathematical…

Cohen and Taylor, following an idea of Plesken, introduced a Lie algebra to the complex group algebra of a finite group and determined its structure, based on the character theory of the group. We show how the definition of this Plesken Lie…

We investigate the combinatorial structure of the set of maximal antichains in a Boolean algebra ordered by almost refinement. We also consider the reaping relation and its associated cardinal invariants, focusing in particular on reduced…