Commutativity of $\Gamma$-Generalized Boolean Semirings with Derivations

In this paper the notion of derivations on $\Gamma$-generalized Boolean semiring are established, namely $\Gamma$-$(f, g)$ derivation and $\Gamma$-$(f, g)$ generalized derivation. We also investigate the commutativity of prime $\Gamma$-generalized Boolean semiring admitting $\Gamma$-$(f, g)$ derivation and $\Gamma$-$(f, g)$ generalized derivation satisfying some conditions.

Maximal k-ideals and r-ideals in semirings

Some properties of (left) k-ideals and r-ideals of a semiring are considered by the help of the congruence class semiring. It is proved that a proper k-ideal of a semiring with an identity is prime if it is a maximal left k-ideal. An equivalent condition for a proper r-ideal of a semiring being a maximal (left) r-ideal is established. It is shown that (left) r-ideals and (left) k-ideals coincide for an additively idempotent semiring, though the former is a special kind of the latter in general. It is proved that a proper k-ideal of an incline with an identity is a maximal k-ideal if and only if the corresponding congruence class semiring is the Boolean semiring.

On strong shift equivalence over a Boolean semiring

Shift equivalence is the relation between A, B that there exists S, R, n > 0 with RA = BR, AS = SB, SR = An, RS = Bn. Strong shift equivalence is the equivalence relation generated by these equations with n = 1. We prove that for many Boolean matrices strong shift equivalence is characterized by shift equivalence and a trace condition. However, we also show that if A is strongly shift equivalent to B, then there exists a homomorphism from an iterated directed edge graph of A to the graph of B preserving the traces of powers. This yields results on colourings of iterated directed edge graphs and might distinguish new strong equivalence classes.