On additively regular seminearrings.
type: Item
instance of: scholarly article
title: On additively regular seminearrings.
zbMATH Open document ID: 1314.16039
author: Sujit Kumar Sardar
author: Rajlaxmi Mukherjee
published in: Semigroup Forum
publication date: 2014-09-12T00:00:00Z
review text: Let \((S,+,\cdot)\) be a (right distributive) seminearring such that \((S,+)\) is an inverse semigroup, and denote by \(E^+(S)\) the set of all idempotent elements in \((S,+)\). For any \(a\in S\) write \(a^*\) for the unique inverse of \(a\) in \((S,+)\) and \(a^0=a+a^*\). Then \((S,+,\cdot)\) satisfies property (D) if \(ab^0=a^0b\) for all \(a,b\in S\). A seminearring \((S,+,\cdot)\) is called distributively generated if it contains a multiplicative semigroup \((D,\cdot)\) of distributive elements which generates \((S,+)\). An ideal \(I\) of \((S,+,\cdot)\) is a \(k\)-ideal if for all \(a,b\in S\) such that \(a+b\in I\) one has \(a\in I\Leftrightarrow b\in I\), and it is full if \(E^+(S)\subseteq I\). A congruence \(\varrho\) on \((S,+,\cdot)\) is called normal, if \(e\varrho f\) for all \(e,f\in E^+(S)\). Then \(S/\varrho\) is a near-ring if and only if \(\varrho\) is normal. Let \(\mathcal I\) denote the set of all normal congruences and \(\mathcal J\) the set of all full \(k\)-ideals of \(S\). The main result is: if \((S,+,\cdot)\) is a distributively generated additively inverse seminearring satisfying (D), then \(\varphi\colon\mathcal I\to\mathcal J\) with \(\varphi(\varrho)=\{a\in S\mid a\varrho e\) for some \(e\in E^+(S)\}\) defines an inclusion preserving bijection. Moreover, the least near-ring congruence on such seminearrings is characterized. Some more results are proved for the special classes of Clifford and Bandelt seminearrings.
reviewed by: Udo Hebisch
Mathematics Subject Classification ID: 16Y99
Mathematics Subject Classification ID: 16Y30
Mathematics Subject Classification ID: 20M18
Mathematics Subject Classification ID: 16Y60
zbMATH DE Number: 6343954
zbMATH Keywords: seminearrings
zbMATH Keywords: full \(k\)-ideals
zbMATH Keywords: near-ring congruences
zbMATH Keywords: normal congruences
zbMATH Keywords: idempotents
MaRDI profile type: Publication
full work available at URL: s00233-013-9538-z
OpenAlex ID: W2085920898
cites work: Seminear-rings characterized by their \({\mathcal S}\)-ideals. I
cites work: Q3562167
cites work: Q4893205
cites work: Q4126501
cites work: Q5550457
cites work: Q4126563
cites work: Q4219825
cites work: Q4779967
cites work: Q3337662
cites work: Q4119339
cites work: INVERSE SEMIGROUPS AND SEMINEAR-RINGS
cites work: Related representation theorems for rings, semi-rings, near-rings and semi-near-rings by partial transformations and partial endomorphisms
cites work: Seminearrings, seminearfields and their semigroup-theoretical background
DOI: 10.1007/S00233-013-9538-Z
description: scientific article; zbMATH DE number 6343954