Related papers: Associativity and Thompson's Group
The usual coherence theorem of MacLane for categories with multiplication assumes that a certain pentagonal diagram commutes in order to conclude that associativity isomorphisms are well defined in a certain practical sense. The practical…
We prove that Thompson's groups $F$ and $V$ are the geometry groups of associativity, and of associativity together with commutativity, respectively. We deduce new presentations of $F$ and $V$. These presentations lead to considering a…
A measurable relation algebra is a relation algebra in which the identity element is a sum of atoms that can be measured in the sense that the "size" of each such atom can be defined in an intuitive and reasonable way (within the framework…
A host algebra generalises the concept of a group algebra as follows. Let F be a unital C*-algebra, and let S_0 be a proper subset of its states within which one wants to keep the analysis (e.g. F is the group algebra of a discrete group G,…
Let $A$ be a unital operator algebra. Let us assume that every {\it bounded\/} unital homomorphism $u\colon \ A\to B(H)$ is similar to a {\it contractive\/} one. Let $\text{\rm Sim}(u) = \inf\{\|S\|\, \|S^{-1}\|\}$ where the infimum runs…
The associative operad is a certain algebraic structure on the sequence of group algebras of the symmetric groups. The weak order is a partial order on the symmetric group. There is a natural linear basis of each symmetric group algebra,…
The dual Lie bialgebra of a certain ``quasitriangular'' Lie bialgebra structure on the Heisenberg Lie algebra determines a (non-compact) Poisson--Lie group G. The compatible Poisson bracket on G is non-linear, but it can still be realized…
Disjoint union is a partial binary operation returning the union of two sets if they are disjoint and undefined otherwise. A disjoint-union partial algebra of sets is a collection of sets closed under disjoint unions, whenever they are…
In this work we state a result that relates the cohomology groups of a Lie algebra $\mathfrak{g}$ and a current Lie algebra $\mathfrak{g} \otimes \mathcal{S}$, by means of a short exact sequence -- similar to the universal coefficients…
We outline a general procedure that builds classifying spaces for generalized Thompson groups $\Gamma$. The construction depends on a small number of choices: (1) an inverse semigroup $S$ of partial transformations that ``locally determine"…
It is known that there are Lie algebras with non-semigroup gradings, i.e. such that the binary operation on the grading set is not associative. We provide a similar example in the class of associative algebras.
Let G be an arbitrary finite group and let S and T be two subsets such that |S|>1, |T|>1, and |TS|< |T|+|S|< |G|-1. We show that if |S|< |G|-4|G|^{1/2}+1 then either S is a geometric progression or there exists a non-trivial subgroup H such…
We investigate some infinite dimensional Lie algebras and their associated Poisson structures which arise from a Lie group action on a manifold. If $G$ is a Lie group, $\g$ its Lie algebra and $M$ is a manifold on which $G$ acts, then the…
In this article, we characterise the operadic variety of commutative associative algebras over a field via a (categorical) condition: the associativity of the so-called cosmash product. This condition, which is closely related to commutator…
Let $G$ be a compact connected Lie group. The question of when a weighted Fourier algebra on $G$ is completely isomorphic to an operator algebra will be investigated in this paper. We will demonstrate that the dimension of the group plays…
There exists two types of nonassociative algebras whose associator satisfies a symmetric relation associated with a 1-dimensional invariant vector space with respect to the natural action of the symmetric group on three elements. The first…
Family algebraic structures indexed by a semigroup arise naturally in renormalizations of quantum field theory. In this paper, we first define the notion of $\Omega$-associative $H$-pseudoalgebra, where the operations are indexed by pairs…
We prove that the double covers of the alternating and symmetric groups are determined by their complex group algebras. To be more precise, let $n\geq 5$ be an integer, $G$ a finite group, and let $\AAA$ and $\SSS^\pm$ denote the double…
We define and investigate a geometric object, called an associative geometry, corresponding to an associative algebra (and, more generally, to an associative pair). Associative geometries combine aspects of Lie groups and of generalized…
We define and investigate a geometric object, called an associative geometry, corresponding to an associative algebra (and, more generally, to an associative pair). Associative geometries combine aspects of Lie groups and of generalized…