The A-D-S property for radicals of involution \(K^ *\)-algebras (Q1095230): Difference between revisions

An algebra A over a commutative ring K with 1 is an involution \(K^*\)- algebra, if both on A and K an involution * is defined such that \((ka)^*=k^*a^*\) for all \(k\in K\) and \(a\in A\). The author proves that a Kurosh-Amitsur radical class \({\mathcal R}\) of involution \(K^*\)- algebras has the A-D-S property (i.e. \(I^*\triangleleft A^*\) implies \({\mathcal R}(I^*)\triangleleft A^*\) for all involution ideals \(I^*\) of any involution \(K^*\)-algebra \(A^*)\) if and only if \(A^*\in {\mathcal R}\) and \(A^ 2=0\) imply \(A^{-*}\in {\mathcal R}\) where \(a^{-*}=-a^*\).