Related papers: Relation algebras and groups

We show that the dimension of the Cuntz semigroup of a C*-algebra is determined by the dimensions of the Cuntz semigroups of its separable sub-C*-algebras. This allows us to remove separability assumptions from previous results on the…

The relationship according to which one physical theory encompasses the domain of empirical validity of another is widely known as "reduction." Here it is argued that one popular methodology for showing that one theory reduces to another,…

Motivated by a balanced ternary representation of the Collatz map we define the map $C_\mathbb{R}$ on the positive real numbers by setting $C_\mathbb{R}(x)=\frac{1}{2}x$ if $[x]$ is even and $C_\mathbb{R}(x)=\frac{3}{2}x$ if $[x]$ is odd,…

Orbit-finite models of computation generalise the standard models of computation, to allow computation over infinite objects that are finite up to symmetries on atoms, denoted by $\mathbb{A}$. Set theory with atoms is used to reason about…

C*-algebras are rings, sometimes nonunital, obeying certain axioms that ensure a very well-behaved representation theory upon Hilbert space. Moreover, there are some well-known features of the representation theory leading to subtle…

There are several 3+1 parameter quantities in physics (like vector + scalar potentials, 4-currents, space-time, 4-momentum). In most cases (but space-time), the 3- and the 1-parameter characterised elements of these quantities differ in the…

The representation dimension was defined by M. Auslander in 1970 and is, due to spectacular recent progress, one of the most interesting homological invariants in representation theory. The precise value is not known in general, and is very…

Let $n$ be a natural number. Recall that a C*-algebra is said to be $n$-subhomogeneous if all its irreducible representations have dimension at most $n$. In this short note, we give various approximation properties characterising…

We consider algebras over a field K defined by a presentation K <x_1,..., x_n : R >, where $R$ consists of n choose 2 square-free relations of the form x_i x_j = x_k x_l with every monomial x_i x_j, i different from j, appearing in one of…

The purpose of this contribution is to review some aspects of the loop space formulation of pure gauge theories having the connection defined over a Lie algebra. The emphasis is focused on the discussion of the Mandelstam identities, which…

In previous work with Harman, we introduced a new class of representations for an oligomorphic group $G$, depending on an auxiliary piece of data called a measure. In this paper, we look at this theory when $G$ is the symmetry group of the…

A geometrical pattern is a set of points with all pairwise distances (or, more generally, relative distances) specified. Finding matches to such patterns has applications to spatial data in seismic, astronomical, and transportation…

We prove the result in the title. We infer, that unlike cylindric algebras, there is a first order axiomatization of the class of completely representable polyadic algebras of infinite dimension, though the one we obtain is infinite; in…

We classify all the simple modules for the algebra of relations on a finite set, give their dimension, and find the dimension of the Jacobson radical of the algebra.

This paper is the first of several parts introducing a new powerful algebra: the algebra of the pseudo-observables. This is a C*-algebra whose set is formed by formal expressions involving observables. The algebra is constructed by applying…

An alternative proof of the completeness of relational algebra with respect to allowed formulas of first-order logic is presented. The proof relies on the well-known embedding of relational algebra into cylindric algebra, which makes it…

We introduce the notions of relational groupoids and relational convolution algebras. We provide various examples arising from the group algebra of a group $G$ and a given normal subgroup $H$. We also give conditions for the existence of a…

We develop an analogue of universal algebra in which generating symbols are interpreted as relations. We prove a variety theorem for these relational algebraic theories, in which we find that their categories of models are precisely the…

We introduce a new class of algebras called Poisson orders. This class includes the symplectic reflection algebras of Etingof and Ginzburg, many quantum groups at roots of unity, and enveloping algebras of restricted Lie algebras in…

This paper introduces the notions of atoms and atomicity in $C$-algebras and obtains a characterisation of atoms in the $C$-algebra of transformations. Further, this work presents some necessary conditions and sufficient conditions for the…