English
Related papers

Related papers: Finite Relation Algebras

200 papers

One of the longstanding problems in universal algebra is the question of which finite lattices are isomorphic to the congruence lattices of finite algebras. This question can be phrased as which finite lattices can be represented as…

Combinatorics · Mathematics 2014-12-25 Jeremy F. Alm , John W. Snow

We study approximate equivalence relations up to commensurability, in the presence of a definable measure. As a basic framework, we give a presentation of probability logic based on continuous logic. Hoover's normal form is valid here; if…

Logic · Mathematics 2024-07-30 Ehud Hrushovski

This paper is devoted to the complete algebraic and geometric classification of complex 4 and 5-dimensional antiassociative algebras. In particular, we proved that the variety of complex 4-dimensional antiassociative algebras has dimension…

Rings and Algebras · Mathematics 2024-01-22 Renato Fehlberg Júnior , Ivan Kaygorodov , Crislaine Kuster

We realize the Jiang-Su algebra, all UHF algebras, and the hyperfinite II$_{1}$ factor as Fra\"iss\'e limits of suitable classes of structures. Moreover by means of Fra\"iss\'e theory we provide new examples of AF algebras with strong…

The general concept of nonlinear self-adjointness of differential equations is introduced. It includes the linear self-adjointness as a particular case. Moreover, it embraces the previous notions of self-adjoint and quasi self-adjoint…

Mathematical Physics · Physics 2011-09-09 Nail H. Ibragimov

In this note we prove that every non characteristically filiform Lie algebra is endowed with an affine structure.

Rings and Algebras · Mathematics 2007-05-23 Elisabeth Remm

We prove that the isomorphism problem for separable nuclear C*-algebras is complete in the class of orbit equivalence relations. In fact, already the isomorphism of simple, separable AI C*-algebras is a complete orbit equivalence relation.…

Operator Algebras · Mathematics 2013-07-16 Marcin Sabok

We construct uncountably many mutually nonisomorphic simple separable stably finite unital exact C$^\ast$-algebras which are not isomorphic to their opposite algebras. In particular, we prove that there are uncountably many possibilities…

Operator Algebras · Mathematics 2024-02-14 N. Christopher Phillips , Maria Grazia Viola

We present a detailed study of a parametric Lie algebra encompassing the symmetry algebras of various models, both continuous and discrete. This algebraic structure characterizes the isotropic oscillator (with positive, purely imaginary,…

Mathematical Physics · Physics 2025-12-02 Pavel Drozdov , Giorgio Gubbiotti , Danilo Latini

Let $S$ be a unital associative ring and $S[t;\sigma,\delta]$ be a skew polynomial ring, where $\sigma$ is an injective endomorphism of $S$ and $\delta$ a left $\sigma$-derivation. For each $f\in S[t;\sigma,\delta]$ of degree $m>1$ with a…

Rings and Algebras · Mathematics 2021-04-13 Christian Brown , Susanne Pumpluen

We study a special class of weakly associative algebras: the symmetric Leibniz algebras. We describe the structure of the commutative and skew symmetric algebras associated with the polarization-depolarization principle. We also give a…

Rings and Algebras · Mathematics 2020-08-04 Elisabeth Remm

We describe all irreducible conformal subalgebras of Cend_N. The classification of simple and semisimple associative conformal algebras with finite faithful representation follows from this description.

Quantum Algebra · Mathematics 2007-05-23 Pavel Kolesnikov

We generalize the concept of locally symmetric spaces to parabolic contact structures. We show that symmetric normal parabolic contact structures are torsion--free and some types of them have to be locally flat. We prove that each symmetry…

Differential Geometry · Mathematics 2010-07-27 Lenka Zalabov\' a

We investigate formal deformations of certain classes of nonassociative algebras including classes of K[{\Sigma}3]-associative algebras, Lie-admissible algebras and anti-associative algebras. In a process which is similar to Poisson algebra…

Rings and Algebras · Mathematics 2023-09-18 Elisabeth Remm

We consider continuous relational structures with finite domain $[n] := \{1, \ldots, n\}$ and a many valued logic, $CLA$, with values in the unit interval and which uses continuous connectives and continuous aggregation functions. $CLA$…

Logic in Computer Science · Computer Science 2026-05-28 Vera Koponen

We present a formalization, in the theorem prover Lean, of the classification of solvable Lie algebras of dimension at most three over arbitrary fields. Lie algebras are algebraic objects which encode infinitesimal symmetries, and as such…

Logic in Computer Science · Computer Science 2025-05-27 Viviana del Barco , Gustavo Infanti , Exequiel Rivas , Paul Schwahn

The algebras for all possible Lorentzian and Euclidean kinematics with $\frak{so}(3)$ isotropy except static ones are re-classified. The geometries for algebras are presented by contraction approach. The relations among the geometries are…

Mathematical Physics · Physics 2013-01-25 Chao-Guang Huang , Yu Tian , Xiao-Ning Wu , Zhan Xu , Bin Zhou

Absolute algebras are a new type of algebraic structures, endowed with a meaningful notion of infinite sums of operations without supposing any underlying topology. Opposite to the usual definition of operadic calculus, they are defined as…

Algebraic Topology · Mathematics 2025-05-08 Victor Roca i Lucio

The indecomposable solvable Lie algebras with graded nilradical of maximal nilindex and a Heisenberg subalgebra of codimension one are analyzed, and their generalized Casimir invariants calculated. It is shown that rank one solvable…

Mathematical Physics · Physics 2009-11-11 J M Ancochea , R Campoamor-Stursberg , L Garcia Vergnolle

In this paper we focus on the structure of the variety of Lie algebras with a finite number of ideals and their graph representations using Hasse diagrams. The large number of necessary conditions on the algebraic structure of this type of…

Rings and Algebras · Mathematics 2023-07-11 Pilar Benito , Jorge Roldán-López