On the Jacobson radical and semisimplicity of a semiring

Based on the minimal and simple representations, we introduce two Jacobson-type Hoehnke radicals, m-radical and s-radical, of a semiring $S$. Every minimal (simple) $S$-semimodule is a quotient of $S$ by a regular right congruence (maximal) $μ$ on $S$ such that $[0]_μ$ is a maximal $μ$-saturated right ideal in $S$. Thus the m(s)-radical becomes an intersection of some regular congruences. Finally, every semisimple semiring is characterized as a subdirect product of primitive semirings; and every s-primitive semiring is represented as a 1-fold transitive subsemiring of the semiring of all endomorphisms on a semimodule over a division semiring.