Let $R$ be an associative ring with identity. An element $x in R$ is called $mathbb{Z}G$-regular (resp. strongly $mathbb{Z}G$-regular) if there exist $g in G$, $n in mathbb{Z}$ and $r in R$ such that $x^{ng}=x^{ng}rx^{ng}$ (resp. $x^{ng}=x^{(n+1)g}$). A ring $R$ is called $mathbb{Z}G$-regular (resp. strongly $mathbb{Z}G$-regular) if every element of $R$ is $mathbb{Z}G$-regular (resp. strongly $...

Regular model checking is an exploration technique for infinite state systems where spaces are represented as regular languages and transition relations expressed using rational over (or finite) strings. We extend the paradigm to permit use of more powerful relations: class relations, which a strict subset. language monadic second-order logic (MSO) on strings specify such adopt streaming string...

notions of strongly regular, regular and left(right) regular $gamma$−semigroupsare introduced. equivalent conditions are obtained through fuzzy notion for a$gamma$−semigroup to be either strongly regular or regular or left regular.

‎in this paper‎, ‎the type-{rm ii} matrices on (negative) latin square graphs are considered and it is proved that‎, ‎under‎ ‎certain conditions‎, ‎the nomura algebras of such type-{rm ii} matrices are trivial‎. ‎in addition‎, ‎we construct type-{rm ii} matrices‎ ‎on doubly regular tournaments and show that the nomura algebras of such matrices are also trivial‎.

The aim of this paper is to introduce fuzzy ($e$, almost) $e^{*}$-regular spaces in $check{S}$ostak's fuzzy topological spaces. Using the $r$-fuzzy $e$-closed sets, we define $r$-($r$-$theta$-, $r$-$etheta$-) $e$-cluster points and their properties. Moreover, we investigate the relations among $r$-($r$-$theta$-, $r$-$etheta$-) $e$-cluster points, $r$-fuzzy ($e$, almost) $e^{*}$-regular spaces a...

In this paper we introduce the smallest equivalence relation ξ∗ on a finite fuzzy hypergroup S such that the quotient group S/ξ∗, the set of all equivalence classes, is a solvable group. The characterization of solvable groups via strongly regular relation is investigated and several results on the topic are presented.