If (R,M) and (S,N) are quasilocal (commutative integral) domains and f : R → S is a (unital) ring homomorphism, then f is said to be a strong local homomorphism (resp., radical local homomorphism) if f (M) = N (resp., f (M) ⊆ N and for each x ∈ N , there exists a positive integer t such that xt ∈ f (M)). It is known that if f : R→ S is a strong local homomorphism where R is a pseudovaluation do...

For a given pair of maps f, g : X → M from an arbitrary topological space to an n-manifold, the Lefschetz homomorphism is a certain graded homomorphism Λfg : H(X) → H(M) of degree (−n). We prove a Lefschetztype coincidence theorem: if the Lefschetz homomorphism is nontrivial then there is an x ∈ X such that f(x) = g(x).

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 ...

a module $m$ is said to be coretractable if there exists a nonzero homomorphism of every nonzero factor of $m$ into $m$. we prove that all right (left) modules over a ring are coretractable if and only if the ring is morita equivalent to a finite product of local right and left perfect rings.

We find the universal module w(M) for functions (that need not be invariants) of finite matroids, defined on a minor-closed class M and with values in any module L over any commutative and unitary ring, that satisfy a parametrized deletion-contraction identity, F (M) = δeF (M r e) + γeF (M/e), when e is neither a loop nor a coloop. (F is called a (parametrized) weak Tutte function.) Within the ...

We define the Homomorphism Extension (HomExt) problem: given a group G, a subgroup M ≤ G and a homomorphism φ : M → H , decide whether or not there exists a homomorphism φ̃ : G → H extending φ, i.e., φ̃|M = φ. This problem arose in the context of list-decoding homomorphism codes but is also of independent interest, both as a problem in computational group theory and as a new and natural problem i...

For digraphs D and H , a mapping f : V (D)→V (H) is a homomorphism of D to H if uv ∈ A(D) implies f(u)f(v) ∈ A(H). For a fixed directed or undirected graph H and an input graph D, the problem of verifying whether there exists a homomorphism of D to H has been studied in a large number of papers. We study an optimization version of this decision problem. Our optimization problem is motivated by ...

After giving the necessary background in simplicial homology and cohomology, we will state Stokes’s theorem and show that integration of differential forms on a smooth, triangulable manifold M provides us with a homomorphism from the De Rham cohomology of M to the simplicial cohomology of M . De Rham’s theorem, which claims that this homomorphism is in fact an isomorphism, will then be stated a...