Related papers: Countable separation property for associative alge…
Let A be a unital separable C*-algebra. We observe that A is type I if and only if the CNT-entropy of every inner automorphism of A is zero.
In characteristic two, it is shown that a central simple algebra of degree equal to a power of two with anisotropic orthogonal involution is totally decomposable, if it becomes either anisotropic or metabolic over all extensions of the…
In this paper we investigate whether positive elements in the multiplier algebras of certain finite C*-algebras can be written as finite linear combinations of projections with positive coefficients (PCP). Our focus is on the category of…
We try to classify Hopf algebras with the Chevalley property according to their derived representation type. We show that a finite-dimensional indecomposable non-semisimple Hopf algebra $H$ with the Chevalley property is derived discrete if…
An anti-associative algebra is a nonassociative algebra whose multiplication satisfies the identity a(bc)+(ab)c=0. Such algebras are nilpotent. We describe the free anti-associative algebras with a finite number of generators. Other types…
Computable reducibility is a well-established notion that allows to compare the complexity of various equivalence relations over the natural numbers. We generalize computable reducibility by introducing degree spectra of reducibility and…
Free independence is an important tool for studying the structure of operator algebras. It is natural to ask from the model-theoretic standpoint whether free independence is captured well in first-order model theory via the notion of a…
A classification is given of certain separable nuclear C*-algebras not necessarily of real rank zero, namely the class of simple C*-algebras which are inductive limits of continuous-trace C*-algebras whose building blocks have their…
We investigate the splitting property of quasitriangular Hopf algebras through the lens of twisted tensor products. Specifically, we demonstrate that an infinite-dimensional quasitriangular Hopf algebra possesses the splitting property if…
Let n be a positive integer, and let R be a finitely presented (but not necessarily finite dimensional) associative algebra over a computable field. We examine algorithmic tests for deciding (1) if every n-dimensional representation of R is…
The Constraint Satisfaction Problem (CSP) has been intensively studied in many areas of computer science and mathematics. The approach to the CSP based on tools from universal algebra turned out to be the most successful one to study the…
We define spectral freeness for actions of discrete groups on C*-algebras. We relate spectral freeness to other freeness conditions; an example result is that for an action of a finite group, spectral freeness is equivalent to strong…
We continue the investigation of analytic spaces from the perspective of computable structure theory. We show that if $p \geq 1$ is a computable real, and if $\Omega$ is a nonzero, non-atomic, and separable measure space, then every…
The paper studies computability-theoretic aspects of topological $T_0$-spaces. We introduce effective versions of the notions of a countable $c$-poset and a (second-countable) topological space with base. Based on this, we prove an…
In this note we study associative dialgebras proving that the most interesting such structures arise precisely when the algebra is not semiprime. In fact the presence of some "perfection" property (simpleness, primitiveness, primeness or…
Information-processing tasks modelled by homomorphisms between relational structures can witness quantum advantage when entanglement is used as a computational resource. We prove that the occurrence of quantum advantage is determined by the…
Rigid monoidal 1-categories are ubiquitous throughout quantum algebra and low-dimensional topology. We study a generalization of this notion, namely rigid algebras in an arbitrary monoidal 2-category. Examples of rigid algebras include…
This paper characterizes the unital C*-algebra generated by a single invertible element as the unital free product of C[0,1] and C(T). To do this, I develop techniques to split and merge presentations of C*-algebras using free products in…
Let F be a field of characteristic p. We define and investigate nonassociative differential extensions of F and of a central simple division algebra over F and give a criterium for these algebras to be division. As special cases, we obtain…
We initiate the effective metric structure theory of Keisler randomizations. We show that a classical countable structure $\mathcal{M}$ has a decidable presentation if and only if its Borel randomization $\mathcal{M}^{[0,1)}$ has a…