COMPLEMENTEDLY DENSE IDEALS: DECOMPOSABLE ALGEBRAS

Abstract

An ideal I of a (non-associative) algebra A is dense if the multiplication algebra of A acts faithfully on I, and is complementedly dense if it is a direct summand of a dense ideal. We prove that every complementedly dense ideal of a semiprime algebra is a semiprime algebra, and determine its central closure and its extended centroid. We also prove that a semiprime algebra is an essential subdirect product of prime algebras if and only if, its extended centroid is a direct product of fields. This result is applied to discuss decomposable algebras with respect to some familiar closures for ideals.