Semiprimeness of semigroup algebras
Abundant semigroups originate from p.p. rings and are generalizations of regular semigroups. The main aim of this paper is to study the primeness and the primitivity of abundant semigroup algebras. We introduce and study D∗{{\mathcal{D}}}^{\ast }-graphs and Fountain matrices of a semigroup. Based on...
Enregistré dans:
| Auteurs principaux: | , |
|---|---|
| Format: | article |
| Langue: | EN |
| Publié: |
De Gruyter
2021
|
| Sujets: | |
| Accès en ligne: | https://doaj.org/article/65f2f54595ee4fd2b3391acee0ffd4eb |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| Résumé: | Abundant semigroups originate from p.p. rings and are generalizations of regular semigroups. The main aim of this paper is to study the primeness and the primitivity of abundant semigroup algebras. We introduce and study D∗{{\mathcal{D}}}^{\ast }-graphs and Fountain matrices of a semigroup. Based on D∗{{\mathcal{D}}}^{\ast }-graphs and Fountain matrices, we determine when a contracted semigroup algebra of a primitive abundant semigroup is prime (respectively, semiprime, semiprimitive, or primitive). It is well known that for any algebra A{\mathcal{A}} with unity, A{\mathcal{A}} is primitive (prime) if and only if so is Mn(A){M}_{n}\left({\mathcal{A}}). Our results can be viewed as some kind of generalizations of such a known result. In addition, it is proved that any contracted semigroup algebra of a locally ample semigroup whose set of idempotents is locally finite (respectively, locally pseudofinite and satisfying the regularity condition) is isomorphic to some contracted semigroup algebra of primitive abundant semigroups. Moreover, we obtain sufficient and necessary conditions for these classes of contracted semigroup algebras to be prime (respectively, semiprime, semiprimitive, or primitive). Finally, the structure of simple contracted semigroup algebras of idempotent-connected abundant semigroups is established. Our results enrich and extend the related results on regular semigroup algebras. |
|---|