Modules and ideals of algebras of associative type

In this paper, we study some properties of algebras of associative type introduced in previous papers of the author. We show that a finite-dimensional algebra of associative type over a field of zero characteristic is homogeneously semisimple if and only if a certain form defined by the trace form is nonsingular. For a subclass of algebras of associative type, it is proved that any module over a semisimple algebra is completely reducible. We also prove that any left homogeneous ideal of a semisimple algebra of associative type is generated by a homogeneous idempotent.