English
Related papers

Related papers: Coupled bialgebras and Lions trees

200 papers

The first-order theory of finite and infinite trees has been studied since the eighties, especially by the logic programming community. Following Djelloul, Dao and Fr\"uhwirth, we consider an extension of this theory with an additional…

Logic in Computer Science · Computer Science 2020-08-10 Fabian Zaiser , C. -H. Luke Ong

We introduce the concept of braided anti-flexible bialgebra and construct cocycle bicrossproduct anti-flexible bialgebras. As an application, we solve the extending problem for anti-flexible bialgebras by using some non-abelian cohomology…

Rings and Algebras · Mathematics 2022-11-08 Tao Zhang , Hui-Jun Yao

The extending structures and unified products for Zinbiel algebras are developed. Some special cases of unified products such as crossed products and matched pair of Zinbiel algebras are studied. It is proved that the extending structures…

Rings and Algebras · Mathematics 2023-01-03 Tao Zhang , Ling Zhang

This paper studies how to use relation algebras, which are useful for high-level specification and verification, for proving the correctness of lower-level array-based implementations of algorithms. We give a simple relation-algebraic…

Logic in Computer Science · Computer Science 2026-04-08 Walter Guttmann

The aim of this work is to study the ring-theoretic properties of the diagonals of a Rees algebra, which from a geometric point of view are the homogeneous coordinate rings of embeddings of blow-ups of projective varieties along a…

Commutative Algebra · Mathematics 2007-05-23 Olga Lavila-Vidal

A Com-PreLie bialgebra is a commutative bialgebra with an extra preLie product satisfying some compatibilities with the product and coproduct. We here give a classification of connected, cocommutative Com-PreLie bialgebras over a field of…

Rings and Algebras · Mathematics 2025-05-15 Loïc Foissy

Motivated by the Poisson Dixmier-Moeglin equivalence problem, a systematic study of commutative unitary rings equipped with a {\em biderivation}, namely a binary operation that is a derivation in each argument, is here begun, with an eye…

Commutative Algebra · Mathematics 2021-11-08 Omar Leon Sanchez , Rahim Moosa

Pairwise ordered tree alignment are combinatorial objects that appear in RNA secondary structure comparison. However, the usual representation of tree alignments as supertrees is ambiguous, i.e. two distinct supertrees may induce identical…

Quantitative Methods · Quantitative Biology 2016-03-08 Cedric Chauve , Julien Courtiel , Yann Ponty

We introduce the notion of a bicocycle double cross product (resp. sum) Lie group (resp. Lie algebra), and a bicocycle double cross product bialgebra, generalizing the unified products. On the level of Lie groups the construction yields a…

Quantum Algebra · Mathematics 2022-04-05 O. Esen , P. Guha , S. Sütlü

The theory of unified product and extending structures for alternative and pre-alternative algebras are developed. It is proved that the extending structures of these algebras can be classified by using some non-abelian cohomology and…

Rings and Algebras · Mathematics 2021-08-24 Tao Zhang , Shuxian Cui , Jing Si

A cohomology theory of root systems emerges naturally in the context of Automorphic Lie Algebras, where it helps formulating some structure theory questions. In particular, one can find concrete models for an Automorphic Lie Algebra by…

Rings and Algebras · Mathematics 2020-02-24 Vincent Knibbeler , Sara Lombardo , Jan A. Sanders

The notion of a bimodule herd is introduced and studied. A bimodule herd consists of a $B$-$A$ bimodule, its formal dual, called a pen, and a map, called a shepherd, which satisfies untiality and coassociativity conditions. It is shown that…

Rings and Algebras · Mathematics 2008-06-10 Tomasz Brzezinski , Joost Vercruysse

Motivated by some results in classical differential geometry, we give a constructive procedure for building up a connection over a (twisted) tensor product of two algebras, starting from connections defined on the factors. The curvature for…

Quantum Algebra · Mathematics 2010-03-15 Javier López Peña

The varying-coefficient model is a strong tool for the modelling of interactions in generalized regression. It is easy to apply if both the variables that are modified as well as the effect modifiers are known. However, in general one has a…

Methodology · Statistics 2017-05-25 Moritz Berger , Gerhard Tutz , Matthias Schmid

In this paper, we explore the extending structures problem by the unified product for pre-Poisson algebras. In particular, the crossed product and the factorization problem are investigated. Furthermore, a special case of extending…

Rings and Algebras · Mathematics 2025-04-22 Qianwen Zhu , Guilai Liu , Qinxiu Sun

Let $\mathfrak{g}$ be a Lie algebra, $E$ a vector space containing $\mathfrak{g}$ as a subspace. The paper is devoted to the \emph{extending structures problem} which asks for the classification of all Lie algebra structures on $E$ such…

Rings and Algebras · Mathematics 2014-07-01 A. L. Agore , G. Militaru

In the paper we introduce the notion of twisted derivation of a bialgebra. Twisted derivations appear as infinitesimal symmetries of the category of representations. More precisely they are infinitesimal versions of twisted automorphisms of…

Quantum Algebra · Mathematics 2012-04-24 Alexei Davydov

In this article we study modules over wild canonical algebras which correspond to extension bundles [9] over weighted projective lines. We prove that all modules attached to extension bundles can be established by matrices with coefficients…

Rings and Algebras · Mathematics 2021-04-12 Dawid Kędzierski , Hagen Meltzer

Plane increasing trees are rooted labeled trees embedded into the plane such that the sequence of labels is increasing on any branch starting at the root. Relaxed binary trees are a subclass of unlabeled directed acyclic graphs. We…

Combinatorics · Mathematics 2018-07-12 Michael Wallner

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…

Optimization and Control · Mathematics 2019-01-29 Müllhaupt , Philippe
‹ Prev 1 3 4 5 6 7 10 Next ›