Obviously each lattice that satisfies either (JID) or (MID) is distributive. A classic result in lattice theory is Funayama’s theorem [5] stating that there is an embedding e of L into a complete Boolean algebra B that preserves all existing joins and meets in L iff L satisfies both (JID) and (MID). Funayama’s original proof was quite involved. For complete L, Grätzer [6, Sec. II.4] gave a more...

Let K and L be lattices, and let φ be a homomorphism of K into L. Then φ induces a natural 0-preserving join-homomorphism of ConK into ConL. Extending a result of A. Huhn, the authors proved that if D and E are finite distributive lattices and ψ is a 0-preserving join-homomorphism from D into E, then D and E can be represented as the congruence lattices of the finite lattices K and L, respectiv...

where (x, g) denotes % evaluated at g. Each % thus yields a homomorphism of M(G) onto the complex numbers. Every such homomorphism of L(G) is obtained in this way. Let be a homomorphism of L{G) into M(H). After composing with <[>, every homomorphism of M(H) onto the complex numbers either is identically zero, or can be identified with a member of G. We thus have a map <£* from Ê into {G, 0 ...

In this paper, we define and study the notion of the real-valued functions on a frame $L$. We show that $F(L) $, consisting of all frame homomorphisms from the power set of $mathbb{R}$ to a frame $ L$, is an $f$-ring, as a generalization of all functions from a set $X$ into $mathbb R$. Also, we show that $F(L) $ is isomorphic to a sub-$f$-ring of $mathcal{R}(L)$, the ring of real-valued continu...

Let G and G' be multiplicative systems. A half-homomorphism of G into G' will mean a mapping a—>a' of G into C such that for all a, bEG, (ab)'=a'V or b'a'. An anti-homomorphism is a mapping such that always (ab)' = b'a'. The terms half-isomorphism, etc., are defined similarly. It will be shown that any half-homomorphism of a group G into a group G' is either a homomorphism or an anti-homomorphi...

In this paper we define $varphi$-Connes module amenability of a dual Banach algebra $mathcal{A}$ where $varphi$ is a bounded $w_{k^*}$-module homomorphism from $mathcal{A}$ to $mathcal{A}$. We are mainly concerned with the study of $varphi$-module normal virtual diagonals. We show that if $S$ is a weakly cancellative inverse semigroup with subsemigroup $E$ of idemp...

List homomorphisms generalize list colourings in the following way: Given graphs G; H , and lists L(v) V (H); v 2 V (G), a list homomorphism of G to H with respect to the lists L is a mapping f : V (G) ! V (H) such that uv 2 E (G) implies f (u)f(v) 2 E (H), and f (v) 2 L(v) for all v 2 V (G). The list homomorphism problem for a xed graph H asks whether or not an input graph G together with list...

Lemma 2.1. Let F be a field, let E = F (α) be a simple extension of F , where α is algebraic over F and f = irr(α, F, x), let ψ : F → K be a homomorphism from F to a field K, and let L be an extension of K. If β ∈ L is a root of ψ(f), then there is a unique extension of ψ to a homomorphism φ : E → L such that φ(α) = β. Hence there is a bijection from the set of homomorphisms φ : E → L such that...

a new definition of boundedness of linear order-homomorphisms (loh)in $l$-topological vector spaces is proposed. the new definition iscompared with the previous one given by fang [the continuity offuzzy linear order-homomorphism, j. fuzzy math. 5 (4) (1997)829$-$838]. in addition, the relationship between boundedness andcontinuity of lohs is discussed. finally, a new uniform boundednessprincipl...