Herstein's theorem for prime ideals of semirings with involution

This article discusses differential identities involving Jordan and Lie products that connect an MA-semiring to its prime ideals. The main objective is to investigate how these identities impose various properties on the quotient MA-semiring determined by a prime ideal. In particular, we establish Herstein’s theorem for MA-semirings, which was previously proved for rings.