Seminear-rings characterized by their S-ideals. I

DOI10.3792/PJAA.71.101MaRDI QIDQ1908709zbMATH OpenOpenAlexFDO

Authors Javed Ahsan

Publication date 25 March 1996

Published in Proceedings of the Japan Academy. Series A (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3792/pjaa.71.101

zbMATH Keywords

\(SI\)-seminearrings ideals of seminearrings strongly idempotent seminearrings

Mathematics Subject Classification ID

Ideals in associative algebras (16D25) Semirings (16Y60)

Review text

A (right) seminearring is an algebra \(R=(R,+,\cdot)\) such that \((R,+)\) and \((R,\cdot)\) are semigroups connected by \((a+b)c=ac+bc\) for all \(a, b, c \in R\). It is further assumed that \(R\) has an absorbing zero 0, defined by \(a+0=0+a=a\) and \(a0=0a=0\) for all \(a \in R\). A subsemigroup \(I\) of \((R,+)\) is called a right [left] \(\mathcal S\)-ideal of \(R\) if \(xr \in I\) [\(rx \in I]\) holds for all \(x \in I\) and \(r \in R\), and an \({\mathcal S}\)-ideal if both is the case. Suppressing the unexplained indication ``\(\mathcal S\) in the following, let \(A\) and \(B\) be ideals of \(R\). Then \(AB=\{\sum^n_{k=1} a_k b_k \mid a_k \in A,\;b_k \in B\}\) need not be an ideal of \(R\). A seminearring \(R\) is called strongly idempotent (briefly: \(SI\)) if \(I=\langle I^2\rangle\) holds for each ideal \(I\) of \(R\), where \(\langle I^2\rangle\) denotes the ideal generated by \(I^2\), a condition equivalent to \(A \cap B=\langle AB\rangle\) for all ideals of \(R\). The paper contains several statements on \(SI\)-seminearrings and examples for \(SI\)-seminearrings which are neither regular nor simple.

Recommendations

Cites work

Cited in

(23)

This page was built for publication: Seminear-rings characterized by their \({\mathcal S}\)-ideals. I

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