\(n\)-tuple algebras of associative type (Q1006995)

An \(n\)-tuple semigroup \(S\) is a nonempty set with a collection of \(n\) binary multiplications \(x\circ_iy\), where \(i=1,\ldots,n\) such that \((x\circ_iy)\circ_jz=x\circ_i(y\circ_jz)\) for all \(,i,j=1,\ldots,\) and for all \(x,y,z\). If \(T\) is a finite subset in \(S\) then \(T\)-graded vector space \(A\) is an \(n\)-tuple algebra of associative type there exist binary multiplications \(x\circ_iy\) in \(A\) such that \(S_i\circ_r A_j \subseteq A_{i\circ_r j}\) provided \(i\circ_r j\in T\) and \((x\circ_iy)\circ_jz= \lambda x\circ_i(y\circ_jz)\) for homogeneous elements \(x,y,z\in A\), where \(\lambda\) depends on degrees of \(x,y,z\) and on \(i,j\). It is shown that a finite dimensional algebra \(A\) is nilpotent if and only if its homogeneous elements are nilpotent. For a finite dimensional algebra \(A\) there exists a nilpotent radical \(R(A)\). If \(R(A)=0\) then \(A\) is a direct sum of homogeneous simple ideals. This paper is a continuation of an earlier paper on the case \(n = 1\) [the author, Russ. Math. 50, No. 9, 32--39 (2006); translation from Izv. Vyssh. Uchebn. Zaved. Mat. 2006, No. 9, 34--42 (2006)].