scientific article; zbMATH DE number 16634

Jacobson radical, quasimultiplication (16N20) Ordinary and skew polynomial rings and semigroup rings (16S36) Commutative semigroups (20M14) Semigroup rings, multiplicative semigroups of rings (20M25)

Review text

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].

Recommendations

Cited in

(13)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3973321)