English
Related papers

Related papers: Cubic algebras and Implication Algebras

200 papers

A general deformation theory of algebras which factorise into two subalgebras is studied. It is shown that the classification of deformations is related to the cohomology of a certain double complex reminiscent of the Gerstenhaber-Schack…

Rings and Algebras · Mathematics 2007-05-23 Tomasz Brzezinski

We employ the notions of `sequential function' and `interrogation' (dialogue) in order to define new partial combinatory algebra structures on sets of functions. These structures are analyzed using J. Longley's preorder-enriched category of…

Logic · Mathematics 2009-05-19 Jaap van Oosten

The notion of a KU-valued function on a set is introduced and related properties are investigated. Codes generated by KU-valued functions are established. Moreover, we will provide an algorithm which allows us to find a KU-algebra starting…

Rings and Algebras · Mathematics 2015-05-19 Samy M. Mostafa , Bayumy A. Youssef , Hussein A. Jad

We say that there is a representation of the universal algebra B in the universal algebra A if the set of endomorphisms of the universal algebra A has the structure of universal algebra B. Therefore, the role of representation of the…

Rings and Algebras · Mathematics 2011-11-28 Aleks Kleyn

Given two algebras A and B, sometimes assumed to be C*-algebras, we consider the question of putting algebra or C*-algebra structures on the tensor product A\otimes B. In the C*-case, assuming B to be two-dimensonal, we characterize all…

Operator Algebras · Mathematics 2012-04-03 R. Exel

A method to construct both classical and quantum completely integrable systems from (Jordan-Lie) comodule algebras is introduced. Several integrable models based on a so(2,1) comodule algebra, two non-standard Schrodinger comodule algebras,…

Mathematical Physics · Physics 2009-11-13 Angel Ballesteros , Fabio Musso , Orlando Ragnisco

We investigate the notion of associated graded coalgebra (algebra) of a bialgebra with respect to a subbialgebra (quotient bialgebra) and characterize those which are bialgebras of type one in the framework of abelian braided monoidal…

Category Theory · Mathematics 2010-07-21 A. Ardizzoni , C. Menini

Suppose we wish to embed an (associative) $k$-algebra $A$ in a $k$-algebra $R$ generated in some specified way; e.g., by two elements, or by copies of given $k$-algebras $A_1,$ $A_2,$ $A_3.$ Several authors have obtained sufficient…

Rings and Algebras · Mathematics 2020-11-04 George M. Bergman

A general scheme for determining and studying hydrodynamic type systems describing integrable deformations of algebraic curves is applied to cubic curves. Lagrange resolvents of the theory of cubic equations are used to derive and…

Exactly Solvable and Integrable Systems · Physics 2009-11-11 Y. Kodama , B. Konopelchenko , L. Martinez Alonso , E. Medina

This is a list of some problems and conjectures related to various types of algebras, that is to algebraic operads. Some comments and hints are included.

Rings and Algebras · Mathematics 2011-09-16 Jean-Louis Loday

We introduce tabular algebras, which are simultaneous generalizations of cellular algebras (in the sense of Graham-Lehrer) and table algebras (in the sense of Arad-Blau). We show that if a tabular algebra is equipped with a certain kind of…

Quantum Algebra · Mathematics 2007-05-23 R. M. Green

The Cuntz algebra carries in a natural way the structure of a module algebra over the quantized universal enveloping algebra $U_q(g)$, and the structure of a co-module algebra over the quantum group $G_q$ associated with $U_q(g)$. These two…

q-alg · Mathematics 2008-02-03 A. L. Carey , A. Paolucci , R. B. Zhang

Recent articles have shown the connection between representation theory of quivers and the theory of cluster algebras. In this article, we prove that some cluster algebras of type ADE can be recovered from the data of the corresponding…

Representation Theory · Mathematics 2007-05-23 Philippe Caldero , Frederic Chapoton

The paper gives a soundness and completeness proof for the implicative fragment of intuitionistic calculus with respect to the semantics of computability logic, which understands intuitionistic implication as interactive algorithmic…

Logic in Computer Science · Computer Science 2011-04-15 Giorgi Japaridze

Algebraic hyperstructures represent a natural extension of classical algebraic structures. In a classical algebraic structure, the composition of two elements is an element, while in an algebraic hyperstructure, the composition of two…

Mathematical Physics · Physics 2012-09-12 Akbar Dehghan Nezhad , Mehdi Nadjafikhah , Seyed Mohammad Moosavi Nejad

We introduce a class of monotone $\sigma$-complete effect algebras, called representable, which are $\sigma$-homomorphic images of a class of monotone $\sigma$-complete effect algebras of functions taking values in the interval $[0,1]$ and…

Mathematical Physics · Physics 2015-06-17 Anatolij Dvurečenskij

By combining well-known techniques from both noncommutative algebra and computational commutative algebra, we observe that an algorithmic approach can be applied to the study of irreducible representations of finitely presented algebras. In…

Rings and Algebras · Mathematics 2007-05-23 Edward S. Letzter

Starting from a description of various generalized function algebras based on sequence spaces, we develop the general framework for considering linear problems with singular coefficients or non linear problems. Therefore, we prove…

Functional Analysis · Mathematics 2007-05-23 Antoine Delcroix , Maximilian F. Hasler , Stevan Pilipović , Vincent Valmorin

One important class of tools in the study of the connections between algebraic and topological structures are the "Banach-Stone type theorems", which describe algebraic isomorphisms of algebras (or groups, lattices, etc.) of functions in…

General Topology · Mathematics 2020-01-14 Luiz Gustavo Cordeiro

We exhibit a computational type theory which combines the higher-dimensional structure of cartesian cubical type theory with the internal parametricity primitives of parametric type theory, drawing out the similarities and distinctions…

Logic in Computer Science · Computer Science 2019-07-10 Evan Cavallo , Robert Harper