In the category of C*-algebras there are many purely algebraic properties which often make life easier, such as the fact that every C*-algebra is idempotent (by Cohen-Hewitt). When speaking of closed ideals, this has a very nice consequence: the intersection of two ideals equals their product.

Motivated by the study of Leavitt path algebras, many C*-algebraic results have been extended to various purely algebraic situations, most of which involve algebras sharing some form of the above properties. It would therefore be interesting to identify a large class of algebras over a given field $K$ to be considered as the natural environment where one would look for generalizations of C*-algebraic results.

To be precise, here is a specific question:

Find a large sub-category of the category of all algebras over a field $K$, including all C*-algebras in case $K=\mathbb C$, in which every algebra is idempotent. The kernels of the morphisms in this category should moreover satisfy the above property according to which intersections and products coincide.

Some people might think of von Neumann regular rings, but not all C*-algebras have this property.

An answer based on first principles would be much more appreciated than any ad hoc description of a category.

  • $\begingroup$ Over fields of characteristic p>0 a group algebra can contain nilpotent ideals and so you might need to be fairly restrictive in what morphisms you allow. $\endgroup$ Aug 25, 2016 at 17:51
  • 1
    $\begingroup$ What is an idempotent algebra? $\endgroup$ Aug 25, 2016 at 18:02
  • 1
    $\begingroup$ @QiaochuYuan a not necessarily unital ring R is idempotent if $R^2=R$. $\endgroup$ Aug 25, 2016 at 18:06
  • $\begingroup$ Are you/we allowed to keep the involution? (Recognizing when a given Banach algebra is isomorphic to the underlying Banach algebra of a Cstar algebra is related to some notoriously tricky questions) $\endgroup$
    – Yemon Choi
    Aug 25, 2016 at 20:53
  • 1
    $\begingroup$ @Ruy, idempitent ideals need not be closed under intersectiom or product. Take the semigroup generated by two idempotents e, f with the relations ef=0. The ideals generated by e and f in the contacted semigroup ring are idempotent but their product and intersection are nilpotent. $\endgroup$ Aug 26, 2016 at 18:25


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy