Extending early work, we formulate the large N matrix mechanics of general bosonic, fermionic and supersymmetric matrix models, including Matrix theory: The Hamiltonian framework of large N matrix mechanics provides a natural setting in which to study the algebras of the large N limit, including (reduced) Lie algebras, (reduced) super-symmetry algebras and free algebras. We find in particular a...

The elementary result of Variety theory is Eilenberg’s Variety theorem which was motivated by characterizations of several families of string languages by syntactic monoids or semigroups, such as Schützenberger’s theorem connecting star-free languages and aperiodic monoids. Eilenberg’s theorem has been extended in various directions. For example, Thérien involved varieties of congruences on fre...

A necessary and sufficient condition for the simplicity of the C∗– algebra reduced free product of finite dimensional abelian algebras is found, and it is proved that the stable rank of every such free product is 1. Related results about other reduced free products of C∗–algebras are proved. Introduction The reduced free product of C∗–algebras with respect to given states was introduced indepen...

We study 2-cabled analogs of Voiculescu’s trace and free Gibbs states on Jones planar algebras. These states are traces on a tower of graded algebras associated to a Jones planar algebra. Among our results is that, with a suitable de nition, niteness of free Fisher information for planar algebra traces implies that the associated tower of von Neumann algebras consists of factors, and that the s...

The variety of MV-algebras is the equivalent algebraic semantics of the infinitely-valued Lukasiewicz logic [1], and MVn-algebras are algebraic models of the Lukasiewicz logic with n truth values (2 ≤ n < ω). Recall that an algebra A ∈ V is said to be a free algebra in a variety V, if there exists a set A0 ⊂ A such that A0 generates A and every mapping f from A0 to any algebra B ∈ V can be exte...

Typed omega algebras extend Kozen’s typed Kleene algebras by an operation for infinite iteration in a similar way as Cohen’s omega algebras extend Kleene algebras in the untyped case. Typing these algebras is motivated by non-square matrices in automata constructions and applications in program semantics. For several reasons – the theory of untyped (Kleene or omega) algebras is well developed, ...

A Leavitt labelled path algebra over a commutative unital ring is associated with space, generalizing algebras graphs and ultragraphs as well torsion-free generated by idempotents. We show that can be realized partial skew group rings, Steinberg algebras, Cuntz-Pimsner algebras. Via these realizations we obtain generalized uniqueness theorems, description of diagonal preserving isomorphisms cha...

It is shown that for any commutative unital ring R the category HopfR of R–Hopf algebras is locally presentable and a coreflective subcategory of the category BialgR of R–bialgebras, admitting cofree Hopf algebras over arbitrary R–algebras. The proofs are based on an explicit analysis of the construction of colimits of Hopf algebras, which generalizes an observation of Takeuchi. Essentially be ...