Principal Semiring Ideal