No label defined (Q3973321)

Let \(A\) be an algebra over a field \(F\), and let \(S\) be a commutative semigroup. The author gives the full description of those semigroup algebras \(AS\) for which the Jacobson radical \(J(AS)\) is equal to \(IS\) where \(I\) is an ideal of \(A\). The author determines the rank of \(S\), a nonnegative integer whose definition involves groups of fractions of the cancellative factors of archimedean components of \(S\) (if \(S\) is a group then the rank of \(S\) is the usual rank of a commutative group). As a consequence of his main result the author proves the following remarkable theorem: if \(A\) is nonzero then \(J(AS)=0\) if and only if the following conditions hold: (i) if \(\text{char\,}F=0\) then \(S\) is separative (\(x^ 2=xy=y^ 2\hbox{ implies }x=y\)), if \(\text{char\,} F=p>0\) then \(S\) is \(p\)-separative (\(x^ p=y^ p\) implies \(x=y\)), (ii) the polynomial algebra \(A[x_ 1,\dots,x_ r]\) (\(r=\text{rank\,}S\)) is semiprimitive. For the entire collection see [Zbl 0738.20024].