Skew -sets coincide with -posets
En un trabajo de Huq se introduce el concepto de resolubilidad en categorías [2]. En mi tesis doctoral [1 (4.2.3), p.87] se hace distinción entre resolubilidad fuerte (resolubilidad de Huq) y resolubilidad, conceptos que coinciden en el caso de grupos, anillos asociativos y álgebras de Lie, pero no en cualquier tipo de Ω-grupos, donde la resolubilidad corresponde a la introducida en [1].El objeto de esta nota es dar una caracterización de los objetos resolubles (corolario 6), la cual nos permite...
In an earlier paper, the second author generalized Eilenberg's variety theory by establishing a basic correspondence between certain classes of monoid morphisms and families of regular languages. We extend this theory in several directions. First, we prove a version of Reiterman's theorem concerning the definition of varieties by identities, and illustrate this result by describing the identities associated with languages of the form (a1a2...ak)+, where a1,...,ak are distinct letters. Next,...
In an earlier paper, the second author generalized Eilenberg’s variety theory by establishing a basic correspondence between certain classes of monoid morphisms and families of regular languages. We extend this theory in several directions. First, we prove a version of Reiterman’s theorem concerning the definition of varieties by identities, and illustrate this result by describing the identities associated with languages of the form , where are distinct letters. Next, we generalize the notions...