On zero divisors and prime elements of po-semirings

Abstract

A semiring is an algebraic structure similar to a ring, but without the requirement that each element must have an additive inverse. A po-semiring is a semiring equipped with a compatible bounded partial order. In this paper, properties of zero divisors and prime elements of a po-semiring are studied. In particular, it is proved that under some mild assumption the set $Z(A)$ of nonzero zero divisors of $A$ is $A\setminus \{0,1\}$, each prime element of $A$ is a maximal element, and the zero divisor graph $\G(A)$ of $A$ is a finite graph if and only if $A$ is finite. For a po-semiring $A$ with $Z(A)=A\setminus \{0,1\}$, it is proved that $A$ has finitely many maximal elements if ACC holds either for elements of $A$ or for principal annihilating ideals of $A$. As applications of prime elements, it is shown that the structure of a po-semiring $A$ is completely determined by the structure of integral po-semirings if either $|Z(A)|=1$ or $|Z(A)|=2$ and $Z(A{)}^2\ne 0$. Applications to the ideal structure of commutative rings are considered.

Added some minor remarks that a bounded semiring is locally semimodular as a poset, thus its chain complex is shellable

References in corpus (1)

• On realizing zero-divisor graphs of po-semirings

Cited by in corpus (2)

• On realizing zero-divisor graphs of po-semirings
• The structure of finite local principal ideal rings