Digraph Algebras over Discrete Pre-ordered Groups

Abstract

This thesis consists of studies in the separate fields of operator algebras and non-associative algebras. Two natural operator algebra structures, A ⊗_max B and A ⊗_min B, exist on the tensor product of two given unital operator algebras A and B. Because of the different properties enjoyed by the two tensor products in connection to dilation theory, it is of interest to know when they coincide (completely isometrically). Motivated by earlier work due to Paulsen and Power, we provide conditions relating an operator algebra B and another family {C_i}_i of operator algebras under which, for any operator algebra A, the equality A ⊗_max B = A ⊗_min B either implies, or is implied by, the equalities A ⊗_max C_i = A ⊗_min C_i for every i. These results can be applied to the setting of a discrete group G pre-ordered by a subsemigroup G⁺, where B ⊆ C*_r(G) is the subalgebra of the reduced group C*-algebra of G generated by G⁺, and C_i = A(Q_i) are digraph algebras defined by considering certain pre-ordered subsets Q_i of G.

The 16-dimensional algebra A₄ of real sedenions is obtained by applying the Cayley-Dickson doubling process to the real division algebra of octonions. The classification of subalgebras of A₄ up to conjugacy (i.e. by the action of the automorphism group of A₄) was completed in a previous investigation, except for the collection of those subalgebras which are isomorphic to the quaternions. We present a classification of quaternion subalgebras up to conjugacy.