Related papers: Equationally defined classes of semigroups

Let $\ell$ be a length function on a group G, and let $M_{\ell}$ denote the operator of pointwise multiplication by $\ell$ on $\bell^2(G)$. Following Connes, $M_{\ell}$ can be used as a ``Dirac'' operator for $C_r^*(G)$. It defines a…

Ehresmann semigroups may be viewed as biunary semigroups equipped with domain and range operations satisfying some equational laws. Motivated by some of the main examples, we here define ordered Ehresmann semigroups, and consider their…

We propose a definition of a "$C^*$-Eberlein" algebra, which is a weak form of a $C^*$-bialgebra with a sort of "unitary generator". Our definition is motivated to ensure that commutative examples arise exactly from semigroups of…

A detailed study of the semigroup $C^\ast$-algebra is presented. This $C^\ast$-algebra appears as a "deformation" of the continuous functions algebra on a compact abelian group. Considering semigroup $C^\ast$-algebras in this framework we…

We define closed model category structures on different categories connected to the world of operad algebras over the category C(k) of (unbounded) complexes of k-modules: on the category of operads, on the category of algebras over a fixed…

Let $A$ and $H$ be two Hopf algebras. We shall classify up to an isomorphism that stabilizes $A$ all Hopf algebras $E$ that factorize through $A$ and $H$ by a cohomological type object ${\mathcal H}^{2} (A, H)$. Equivalently, we classify up…

We study the computational complexity of deciding whether a given set of term equalities and inequalities has a solution in an $\omega$-categorical algebra $\mathfrak{A}$. There are $\omega$-categorical groups where this problem is…

Working over an arbitrary field, we define compact semisimple 2-categories, and show that every compact semisimple 2-category is equivalent to the 2-category of separable module 1-categories over a finite semisimple tensor 1-category. Then,…

Some completely positive maps on reduced amalgamated free products of C*-algebras are constructed; these allow a proof that the class of exact unital C*-algebras is closed under taking reduced amalgamated free products. Consequently, the…

An $E_0$-semigroup of $B(H)$ is a one parameter strongly continuous semigroup of $*$-endomorphisms of $B(H)$ that preserve the identity. Every $E_0$-semigroup that possesses a strongly continuous intertwining semigroup of isometries is…

Let $\mathcal C$ be a class of $T_1$ topological semigroups, containing all Hausdorff zero-dimensional topological semigroups. A semigroup $X$ is $\mathcal C$-$closed$ if $X$ is closed in any topological semigroup $Y\in\mathcal C$ that…

The classification of gradings by abelian groups on finite direct sums of simple finite-dimensional nonassociative algebras over an algebraically closed field is reduced, by means of the use of loop algebras, to the corresponding problem…

Let h \subset g be an inclusion of Lie algebras with quotient h-module n. There is a natural degree filtration on the h-module U(g)/U(g)h whose associated graded h-module is isomorphic to S(n). We give a necessary and sufficient condition…

This paper proposes a new category theoretic account of equationally axiomatizable classes of algebras. Our approach is well-suited for the treatment of algebras equipped with additional computationally relevant structure, such as ordered…

We study equicontinuous actions of semisimple groups and some generalizations. We prove that any such action is universally closed, and in particular proper. We derive various applications, both old and new, including closedness of…

Let $A$, $B$ be separable C*-algebras, $B$ stable. Elements of the E-theory group $E(A,B)$ are represented by asymptotic homomorphisms from the second suspension of $A$ to $B$. Our aim is to represent these elements by (families of) maps…

Coclass theory has been a highly successful approach towards the investigation and classification of finite nilpotent groups. Here we suggest a similar approach for finite nilpotent semigroups. This differs from the group theory setting in…

We show that many important varieties and sets of varieties of semigroups may be defined by relatively simple and transparent first-order formulas in the lattice of all semigroup varieties.

A class of C*-algebras is described for which the homomorphism from $C_0(0,1]$ to the algebra may be classified by means of the Cuntz semigroup functor. Examples are given of algebras--simple and non-simple--for which this classification…

We give a new syntax independent definition of the notion of a generalized algebraic theory as an initial object in a category of categories with families (cwfs) with extra structure. To this end we define inductively how to build a valid…