Characterization of rings with genus two prime ideal sum graphs

Abstract

Let $R$ be a commutative ring with unity. The prime ideal sum graph of the ring $R$ is a simple undirected graph whose vertex set is the set of nonzero proper ideals of $R$ and two distinct vertices $I$ and $J$ are adjacent if and only if $I+J$ is a prime ideal of $R$. In this paper, we characterize all the finite non-local commutative rings whose prime ideal sum graph is of genus $2$.

13 figures, Asian-European Journal of Mathematics, Accepted