Elementary equivalence for the lattices of subalgebras and automorphism groups of free algebras.
Dans les sciences de la nature, et en particulier dans les sciences du comportement, on rencontre fréquemment des relations caractérisées par des propriétés locales. Une famille très vaste de telles relations rassemble celles qui sont définies uniquement par des propriétés portant sur les ensembles d'éléments liés à un même élément, soit par la relation («points vus d'un même point»), soit par son inverse («points d'où l'on voit un même point»). A tout type de relation correspondent ainsi plusieurs...
Denote by PSelf Ω (resp., Self Ω) the partial (resp., full) transformation monoid over a set Ω, and by Sub V (resp., End V) the collection of all subspaces (resp., endomorphisms) of a vector space V. We prove various results that imply the following: (1) If card Ω ≥ 2, then Self Ω has a semigroup embedding into the dual of Self Γ iff . In particular, if Ω has at least two elements, then there exists no semigroup embedding from Self Ω into the dual of PSelf Ω. (2) If V is infinite-dimensional, then...
A mode (idempotent and entropic algebra) is a Lallement sum of its cancellative submodes over a normal band if it has a congruence with a normal band quotient and cancellative congruence classes. We show that such a sum embeds as a subreduct into a semimodule over a certain ring, and discuss some consequences of this fact. The result generalizes a similar earlier result of the authors proved in the case when the normal band is a semilattice.
A group has the endomorphism kernel property (EKP) if every congruence relation on is the kernel of an endomorphism on . In this note we show that all finite abelian groups have EKP and we show infinite series of finite non-abelian groups which have EKP.
MV-algebras were introduced by Chang to prove the completeness of the infinite-valued Łukasiewicz propositional calculus. Recently, algebraic theory of MV-algebras has been intensively studied. Wajsberg algebras are just a reformulation of Chang MV-algebras where implication is used instead of disjunction. Using these equivalence, in this paper we provide conditions for the existence of an epimorphism between two finite MV-algebras and . Specifically, we define the mv-functions with domain in...
We investigate functional equations where and are given real functions defined on the set of all real numbers. For these investigations, we can use methods for constructions of homomorphisms of mono-unary algebras. Our considerations will be confined to functions which are strictly increasing and continuous on . In this case, there is a simple characterization for the existence of a solution of the above equation. First, we give such a characterization. Further, we present a construction...
It is well-known that every monounary variety of total algebras has one-element equational basis (see [5]). In my paper I prove that every monounary weak variety has at most 3-element equational basis. I give an example of monounary weak variety having 3-element equational basis, which has no 2-element equational basis.