{"id":"arxiv/2601.02120","url":"https://arxiv.org/abs/2601.02120","tags":["math.RA"],"score":0,"title":"On the Subtractive Ideal Structure of Commutative Semirings","domain":"math.RA","source":"arxiv","authors":["Pubali Sengupta","Amartya Goswami","Pronay Biswas","Sujit Kumar Sardar"],"reviews":0,"subject":"math.RA","summary":"In the theory of commutative semirings, the lack of additive inverses creates a structural divergence between ideals and congruences that does not exist in ring theory. The aim of this article is to restore critical ideal-theoretic properties via the subtractive property. We first prove a subtractive analogue of Krull's existence theorem, guaranteeing the existence of $k$-prime ideals disjoint from multiplicative sets. We show that in arithmetic semirings, the distinction between $k$-irreducible and $k$-strongly irreducible ideals vanishes, a coherence that we show is preserved under…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-01-05","reactions":{}}