Regular involution groupoids revisited.
In our main result, we establish a formal connection between Lindström quantifiers with respect to regular languages and the double semidirect product of finite monoids with a distinguished set of generators. We use this correspondence to characterize the expressive power of Lindström quantifiers associated with a class of regular languages.
In our main result, we establish a formal connection between Lindström quantifiers with respect to regular languages and the double semidirect product of finite monoids with a distinguished set of generators. We use this correspondence to characterize the expressive power of Lindström quantifiers associated with a class of regular languages.
Two suitable composition laws are defined in a regular permutation set in order to find new characterizations of some important classes of loops.
A submodule of a -primary module of bounded order is known to be regular if and have simultaneous bases. In this paper we derive necessary and sufficient conditions for regularity of a submodule.