English
Related papers

Related papers: Representability for distributive quasi relation a…

200 papers

We introduce the concept of a quasiresiduated lattice and prove that every lattice effect algebra can be organized into a commutative quasiresiduated lattice with divisibility. Also conversely, every such a lattice can be converted into a…

Logic · Mathematics 2019-05-15 Ivan Chajda , Helmut Länger

In his article "Arithmetic Fujita Approximations", Huayi Chen introduces the notion of an approximable graded algebra and asks if any such algebra is a subalgebra of the graded section ring of a big line bundle on an algebraic variety. We…

Algebraic Geometry · Mathematics 2017-03-07 Catriona Maclean

A quantitative model of concurrent interaction is introduced. The basic objects are linear combinations of partial order relations, acted upon by a group of permutations that represents potential non-determinism in synchronisation. This…

Logic in Computer Science · Computer Science 2011-07-08 Emmanuel Beffara

We introduce the notion of quadri-algebras. These are associative algebras for which the multiplication can be decomposed as the sum of four operations in a certain coherent manner. We present several examples of quadri-algebras: the…

Quantum Algebra · Mathematics 2007-05-23 Marcelo Aguiar , Jean-Louis Loday

A series of nonrepresentable relation algebras is constructed from groups. We use them to prove that there are continuum many subvarieties between the variety of representable relation algebras and the variety of coset relation algebras. We…

Logic · Mathematics 2025-02-12 H. Andréka , S. Givant , I. Németi

We study multiplicative nested sums, which are generalizations of harmonic sums, and provide a calculation through multiplication of index matrices. Special cases interpret the index matrices as stochastic transition matrices of random…

Combinatorics · Mathematics 2017-12-27 Lin Jiu , Diane Yahui Shi

We introduce a derived representation scheme associated with a quiver, which may be thought of as a derived version of a Nakajima variety. We exhibit an explicit model for the derived representation scheme as a Koszul complex and by doing…

K-Theory and Homology · Mathematics 2020-06-17 Stefano D'Alesio

Representable implication algebras are known to be axiomatised by a finite number of equations (making the representation and finite representation problems decidable here). We show that this also holds in the context of unary (and binary)…

Logic · Mathematics 2023-01-09 Andrew Lewis-Smith Jaš Šemrl

The objective of this paper is to determine the finite dimensional, indecomposable representations of the algebra that is generated by two complex structures over the real numbers. Since the generators satisfy relations that are similar to…

Representation Theory · Mathematics 2008-04-24 Steven Gindi

A large family of relations among multiple zeta values may be described using the combinatorics of shuffle and quasi-shuffle algebras. While the structure of shuffle algebras have been well understood for some time now, quasi-shuffle…

Number Theory · Mathematics 2022-10-05 Adam Keilthy

The spatiality of derivations of quasi *-algebras is investigated by means of representation theory. Moreover, in view of physical applications, the spatiality of the limit of a family of spatial derivations is considered.

Mathematical Physics · Physics 2009-04-01 F. Bagarello , A. Inoue , C. Trapani

A relation algebra is called measurable when its identity is the sum of measurable atoms, and an atom is called measurable if its square is the sum of functional elements. In this paper we show that atomic measurable relation algebras have…

Logic · Mathematics 2025-02-12 S. Givant , H. Andréka

We generalize the notion of saturated order to infinite partial orders and give both a set-theoretic and an algebraic characterization of such orders. We then study the proof theoretic strength of the equivalence of these characterizations…

Logic · Mathematics 2010-10-13 Damir D. Dzhafarov

Automatic presentations, also called FA-presentations, were introduced to extend finite model theory to infinite structures whilst retaining the solubility of fundamental decision problems. This paper studies FA-presentable algebras. First,…

Logic · Mathematics 2015-10-21 Alan J. Cain , Nik Ruškuc

We discuss the representation theory of the bialgebra end(A) introduced by Manin. As a side result we give a new proof that Koszul algebras are distributive and furthermore we show that some well-known N-Koszul algebras are also…

Rings and Algebras · Mathematics 2017-05-17 Benoit Kriegk , Michel Van den Bergh

The First and Second Representation Theorem for sign-indefinite quadratic forms are extended. We include new cases of unbounded forms associated with operators that do not necessarily have a spectral gap around zero. The kernel of the…

Functional Analysis · Mathematics 2015-09-25 Stephan Schmitz

The authors developed in a recent paper natural dualities for finitely generated quasivarieties of Sugihara algebras. They thereby identified the admissibility algebras for these quasivarieties which, via the Test Spaces Method devised by…

Rings and Algebras · Mathematics 2019-03-12 L. M. Cabrer , H. A. Priestley

We introduce the notion of almost representations of Lie algebras and quantum tori, and establish an Ulam-stability type phenomenon: every irreducible almost representation is close to a genuine irreducible representation. As an…

Mathematical Physics · Physics 2022-02-01 Louis Ioos , David Kazhdan , Leonid Polterovich

The representation theory of the generalized deformed oscillator algebras (GDOA's) is developed. GDOA's are generated by the four operators ${1,a,a^{\dag},N}$. Their commutators and Hermiticity properties are those of the boson oscillator…

q-alg · Mathematics 2009-10-30 C. Quesne , N. Vansteenkiste

We introduce a class of noncommutatative algebras called representation complete intersections (RCI). A graded associative algebra A is said to be RCI provided there exist arbitrarily large positive integers n such that the scheme Rep_n(A),…

Algebraic Geometry · Mathematics 2007-05-23 Pavel Etingof , Victor Ginzburg